Senior software engineer currently learning about zero-knowledge proofs, smart contract security, and privacy-preserving protocols.
- TLSNotary β cryptographic proof for web data
- ZK applications with Noir, Semaphore, and custom circuits
- Move language for secure DeFi protocols on Aptos
- AI agents for Web3 automation
Languages: Rust, TypeScript, Solidity, Move, Noir, Python Interests: ZK-SNARKs, Smart Contract Security, Multi-Party Computation Tools: Foundry, Hardhat, ZK toolchains, TLS protocol implementations
Privacy-preserving web data verification using MPC and ZK proofs.
Anonymous voting using Ethereum's Semaphore protocol for ZK group membership proofs.
Cryptographic verification of Twitter data without revealing private information.
DeFi options trading protocol built in Move for the Aptos ecosystem.
Agent-native infinite canvas built with Tauri + Leptos (Rust/WASM).
Experiments with the Noir zero-knowledge proof language.
- Twitter: @lupo0x
- Website: lucianolupo.com




