Stars
Formal Analysis of the PQXDH Protocol
Rust library for ZKBoogie, ZKBoo-based ZKP scheme optimized for client-side proving and its recursion.
educational python plonk implementation, based on vitalik's py_plonk
First open source implementation of ORAM in secure computation.
Circom interpreter to arithmetic circuit description
The reference implementation of Tiptoe, accompanying the paper "Private web search with Tiptoe" (SOSP 2023).
Prove knowledge of smart contract bugs using zkEVM
RISCU emulator and zk circuit simulator as a reference for a Jolt implementation
Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
A Framework for Verifiable State Transition Functions
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
This is a read-only mirror of the Fossil repository, made available via Git for your convenience.
You like pytorch? You like micrograd? You love tinygrad! ❤️
Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)