leonardoalt Goto Github PK

adt_transform

Tries to remove tuples from smtlib2 instances by flattening them.

baby_its_me

babyjubjub-rs

BabyJubJub elliptic curve implementation in Rust

bellperson

zk-SNARK library

blstrs

cav_2022_artifact

chc_benchmarks_solidity

dl_symb_exec_sol

Symbolic execution engine written in Solidity, based on Difference Logic.

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

ethereum_formal_verification_overview

Overview of the formal verification projects in the Ethereum ecosystem.

ethers-rs

Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers

evm

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

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.

fusion

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

glome

Non-euclidian spherical space visualizer (and tentative shooter game).

grumpkin

Implementation of the Grumpkin curve in Rust.

halo2

halo2curves

hevm_paper

logikon

merkle-tree-powdr

neptune

Rust Poseidon implementation.

nova

Nova: Recursive SNARKs without trusted setup

pinballctf

polyexen

Polynomial Expression Engine

poseidon-rs

Poseidon hash function

poseidon_bn128