Pinned Repositories
BYOF
BYOF is the open social graph standard of web3
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
Zeko
Zero Knowledge-based NFT Private Airdrop. 🏆 finalist EthDenver 22
zk-fhe
Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme
ZK-SBT
Library to issue zero knowledge soul bound tokens (ZK SBTs)
ZK-SBT-FrontEnd
This repo contains the frontend implementation related to the ZK-SBT protocol
ZKverse
Introduction to Zero Knowledge Proof
greco
summa-solvency
Monorepo for Summa Proof of Solvency Protocol
enricobottazzi's Repositories
enricobottazzi/ZK-SBT
Library to issue zero knowledge soul bound tokens (ZK SBTs)
enricobottazzi/zk-fhe
Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme
enricobottazzi/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)
enricobottazzi/halo2-intro
enricobottazzi/ZK-SBT-FrontEnd
This repo contains the frontend implementation related to the ZK-SBT protocol
enricobottazzi/halo2-fibonacci-ex
enricobottazzi/rust-book
me learning RUST
enricobottazzi/voting_example
Voting Example in circom
enricobottazzi/pilexample
Fibonacci series using PIL
enricobottazzi/enricobottazzi
Personal Readme Repository
enricobottazzi/kzg-py
enricobottazzi/lwe-rlwe
python implementation of Learning With Errors Problem
enricobottazzi/scaffold-halo2
enricobottazzi/sumcheck-py
Sumcheck protocol implemented in Python
enricobottazzi/aggregate-snark
enricobottazzi/axiom-eth
enricobottazzi/ba-pns
Experiments on Barabasi-Albert algorithm
enricobottazzi/circomlib
Library of basic circuits for circom
enricobottazzi/crt-py
Chinese Remainder Theorem in python
enricobottazzi/fft-py
Experiements on FFT
enricobottazzi/grabled-circuits-hello-world
Based on Vitalik's Quick Garbled Circuits Primer
enricobottazzi/halo2
enricobottazzi/inversed-random-sparsification
enricobottazzi/leku
Personal Blog
enricobottazzi/math-practice
enricobottazzi/minimal-bootstrap-hugo-theme
A minimal hugo theme made with bootstrap
enricobottazzi/MP-SPDZ
Versatile framework for multi-party computation
enricobottazzi/nand2tetris
nand2tetris course
enricobottazzi/networkx
Network Analysis in Python
enricobottazzi/tomaquet-ecc
Primitives for Elliptic Curve Cryptography