enricobottazzi

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

halo2-fibonacci-ex

enricobottazzi

Personal Readme Repository

kzg-py

lwe-rlwe

python implementation of Learning With Errors Problem

scaffold-halo2

sumcheck-py

Sumcheck protocol implemented in Python

zk-bug-tracker

A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.

zk-fhe-playground

Playground for zk-fhe circuit components

zkevm-circuits

aggregate-snark

ark-mpc

A framework for SPDZ-style maliciously-secure MPC.

axiom-eth

bfv

bfv-py

BFV implementation in Python

fft-py

Experiements on FFT

grabled-circuits-hello-world

Based on Vitalik's Quick Garbled Circuits Primer

greco

halo2

halo2-merkle-tree

halo2wrong

leku

Personal Blog

minimal-bootstrap-hugo-theme

A minimal hugo theme made with bootstrap

MP-SPDZ

Versatile framework for multi-party computation

nand2tetris

nand2tetris course

rust-kzg

Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)

snark-verifier

tomaquet-ecc

Primitives for Elliptic Curve Cryptography

zkprover-circuits