emilianobonassi
Follow
zk
Arkworks circuits for verifiable time-lock encryption
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Demo of ML for MNIST classification in a zero knowledge proof
ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.
zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, facilitating efficient communication and collaboration betwe…
Concrete: TFHE Compiler that converts python programs into FHE equivalent
Nova: High-speed recursive arguments from folding schemes
Quick start. Starter kit with Foundry to deploy your own smart contract that verifies unique-humanness with World ID.
A zero-knowledge protocol for anonymous interactions.
a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness
Trustlessly prove a past storage value in a contract to other contracts
Some very rough benchmarks between sha256 circuits in different proving systems
.ptau deserializer for gnark groth16 bn254 trusted setup
Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.
Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
zeth fork to prove validity of OP Stack blocks using RISC Zero's zkVM
The V0 rust IMAP + SMTP server that reads email via imap, generates a zk proofs either locally or on an on-demand AWS machine with modal, then replies and sends on-chain. **DEPRECATED** in favor of…