enrico

ZKverse. Introduction to Zero Knowledge Proof

ZK-SBT. Library to issue zero knowledge soul bound tokens (ZK SBTs)

zk-fhe. Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme

Zeko. Zero Knowledge-based NFT Private Airdrop. 🏆 finalist EthDenver 22

designated-verifier-proof. Reusable component to add a designated verifier to your zk circom circuit. It means that the zk proof generated from your circuit cannot be verified by someonewho is not the designated verifier (identified by its ethereum public address)

halo2-intro. Rust

ZK-SBT-FrontEnd. This repo contains the frontend implementation related to the ZK-SBT protocol

BYOF. BYOF is the open social graph standard of web3

halo2-fibonacci-ex. Rust

ipfs-eth-encryption. Store encrypted data on IPFS and control it with your Ethereum key pair

mtcsPy. Experiments related to "Multilateral Trade Credit Set-off in MPC via Graph Anonymization and Network Simplex" paper

rust-book. me learning RUST

voting_example. Voting Example in circom

twitter-ens-api. You input a twitter handle and you get all the ENS names (such as vitalik.eth) followed by that person on Twitter inside an array. Simple AF.

Web3-Identity-Landscape. A curated list of projects that will change the way people express and interact on web3

pilexample. Fibonacci series using PIL

Zero-Knowledge-Proof-MerkleTree. This repository set up a basic circuit to compute a ZKP of a merkle root starting from a set of leaves using circom.

scaffold-halo2. Rust

sumcheck-py. Sumcheck protocol implemented in Python

enricobottazzi. Personal Readme Repository

kzg-py. Python

lwe-rlwe. python implementation of Learning With Errors Problem

openfhe-rs. OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/