pascholl's repositories
vole-zk-prover
Very fast and memory-efficient (but not succinct) ZK through VOLE in the Head. Contains adapter for load Circom-formatted circuits and witnesses.
db
CryptoBib Database for Developers
Language:TeX000
Language:Assembly000
security-estimates
Security Estimation Scripts for Kyber and Dilithium
Language:Sage000