Pinned Repositories
dl_symb_exec_sol
Symbolic execution engine written in Solidity, based on Difference Logic.
ethereum_formal_verification_overview
Overview of the formal verification projects in the Ethereum ecosystem.
fusion
An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.
powdr-brainfuck
ZK proofs for Brainfuck execution using powdr
r55
sol-macros
sol_generic_vector
Generic Vector library for Solidity
tinyzkevm
yools
Tools for Yul.
powdr
A modular stack for zkVMs, with a focus on productivity, security and performance.
leonardoalt's Repositories
leonardoalt/ethereum_formal_verification_overview
Overview of the formal verification projects in the Ethereum ecosystem.
leonardoalt/yools
Tools for Yul.
leonardoalt/fusion
An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.
leonardoalt/r55
leonardoalt/evm
Simple EVM implementation in [no_std] Rust to be used in Powdr.
leonardoalt/powdr-brainfuck
ZK proofs for Brainfuck execution using powdr
leonardoalt/text
Papers, talks, presentations
leonardoalt/zokrates_nova
Examples of Nova recursive proofs for ZoKrates programs.
leonardoalt/baby_its_me
leonardoalt/yultsur
Yultsur is a Rust implementation of Yul.
leonardoalt/Nova
Nova: Recursive SNARKs without trusted setup
leonardoalt/merkle-tree-powdr
leonardoalt/bellperson
zk-SNARK library
leonardoalt/babyjubjub-rs
BabyJubJub elliptic curve implementation in Rust
leonardoalt/ec-gpu
OpenCL code generator for finite-field arithmetic over arbitrary prime fields
leonardoalt/ecdsa-powdr
leonardoalt/eigen-zkvm
A private zkVM basing on layered proof system
leonardoalt/foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
leonardoalt/grumpkin
Implementation of the Grumpkin curve in Rust.
leonardoalt/halo2
leonardoalt/halo2curves
leonardoalt/neptune
Rust Poseidon implementation.
leonardoalt/Plonky3
A toolkit for polynomial IOPs (PIOPs)
leonardoalt/polyexen
Polynomial Expression Engine
leonardoalt/poseidon-rs
Poseidon hash function
leonardoalt/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
leonardoalt/snark-verifier
leonardoalt/zeth
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
leonardoalt/zkevm-prover
zkEVM prover in C++
leonardoalt/ZoKrates
A toolbox for zkSNARKs on Ethereum