leonardoalt

ethereum_formal_verification_overview

Overview of the formal verification projects in the Ethereum ecosystem.

yools

Tools for Yul.

fusion

An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.

evm

Simple EVM implementation in [no_std] Rust to be used in Powdr.

powdr-brainfuck

ZK proofs for Brainfuck execution using powdr

text

Papers, talks, presentations

zokrates_nova

Examples of Nova recursive proofs for ZoKrates programs.

baby_its_me

yultsur

Yultsur is a Rust implementation of Yul.

Nova

Nova: Recursive SNARKs without trusted setup

merkle-tree-powdr

bellperson

zk-SNARK library

babyjubjub-rs

BabyJubJub elliptic curve implementation in Rust

blstrs

ec-gpu

OpenCL code generator for finite-field arithmetic over arbitrary prime fields

ecdsa-powdr

eigen-zkvm

A private zkVM basing on layered proof system

fil_pasta_curves

Rust implementation for zcash/pasta

foundry

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

grumpkin

Implementation of the Grumpkin curve in Rust.

halo2

halo2curves

neptune

Rust Poseidon implementation.

polyexen

Polynomial Expression Engine

poseidon-rs

Poseidon hash function

Poseidon_BN128

snark-verifier

zeth

A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM

zkevm-prover

zkEVM prover in C++

ZoKrates

A toolbox for zkSNARKs on Ethereum