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
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.
r55
leonardoalt's Repositories
leonardoalt/ethereum_formal_verification_overview
Overview of the formal verification projects in the Ethereum ecosystem.
leonardoalt/fusion
An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.
leonardoalt/powdr-brainfuck
ZK proofs for Brainfuck execution using powdr
leonardoalt/evm
Simple EVM implementation in [no_std] Rust to be used in Powdr.
leonardoalt/text
Papers, talks, presentations
leonardoalt/baby_its_me
leonardoalt/Nova
Nova: Recursive SNARKs without trusted setup
leonardoalt/merkle-tree-powdr
leonardoalt/any-zkvm
A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use
leonardoalt/InfiniTime
Firmware for Pinetime smartwatch written in C++ and based on FreeRTOS
leonardoalt/powdr-recursion-test
leonardoalt/babyjubjub-rs
BabyJubJub elliptic curve implementation in Rust
leonardoalt/bls12_381
Implementation of the BLS12-381 pairing-friendly elliptic curve group
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/InfiniSim
Simulator for InfiniTime user interface without needing a PineTime
leonardoalt/Plonky3
A toolkit for polynomial IOPs (PIOPs)
leonardoalt/polyexen
Polynomial Expression Engine
leonardoalt/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
leonardoalt/scryer-prolog
A modern Prolog implementation written mostly in Rust.
leonardoalt/snark-verifier
leonardoalt/stateless-block-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/zkvm-prover
Guest programs and prover SDK for Scroll's zero-knowledge rollup proof generation architecture
leonardoalt/ZoKrates
A toolbox for zkSNARKs on Ethereum