The tiniest blockchain implementation in the world

A modern, simple, optimized lending market written in Solidity

A modular framework for building EVM consensus clients ⛵️✨

Circom interpreter to arithmetic circuit description

Throw smoke and tame lightning.

A performant, 100% open-source, contributor-friendly zkVM.

Tiny library with utility functions that can help with signing and verifying EIP-712 based messages

An active, public list of project ideas related to NFCxZK

Keep track of who owes who over Ethereum network

super cheap solidity schnorr sig verification using only ecrecover and keccak256

Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme

⚡ solidity --> zApp transpiler ⚡

NFC activations at SBC and FtC residency

PoC of Revm execution in a Nitro Enclave

PoC of Revm execution in SGX

An example of how to build an end-to-end dApp with plonky2x

The schelling point for ZK applications.

Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)

Real world Ethereum

A toolkit for polynomial IOPs (PIOPs)

World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.

🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs

Testudo: Spartan + Groth16

ZK Fixed Point Arithmetic with its Application in Machine Learning based on Halo2

Tool kit for building secure, scalable, and networked services on top of AWS Nitro Enclaves.

An onchain adaptation of the classic Drug Wars game

Zero-Knowledge Proof Systems Circuit Compiler

Nova: Recursive SNARKs without trusted setup

Iroha - A simple, enterprise-grade decentralized ledger