#
Starred repositories
A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.
Source code for "Building Cryptographic Proofs from Hash Functions"
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
recursive benchmark for different proof systems
A curated list of zero-knowledge folding schemes
A curated list of awesome ZK resources, libraries, tools and more.
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
A template for University of Maryland dissertations
Stock options, RSUs, taxes — read the latest edition: www.holloway.com/ec
Rust library for efficient, succinct and modular set membership and non-membership proofs
Privacy-focused, free, open-source cryptocurrency tax calculator for multiple countries: it handles multiple coins/exchanges and computes long/short-term capital gains, cost bases, in/out lot relat…
Get up to speed on Maximum Extractable Value
A curated list of awesome TikZ documentations, libraries and resources