Paul's repositories
agglayer
Rust implementation of the Agglayer.
arnaucube-math-notes
Notes, code and documents done while reading books and papers.
axum
Ergonomic and modular web framework built with Tokio, Tower, and Hyper
binius
A SNARK protocol over towers of binary fields, implemented in Rust (mirror of https://gitlab.com/IrreducibleOSS/binius)
BitVM
BitVM: Smarter Bitcoin Contracts
Expander-rs
Expander, an open-source GKR prover designed for scaling large-scale parallel computing.
groth16
A Rust implementation of the Groth16 zkSNARK
jolt
The simplest and most extensible ZK VM. Fast and fully open source from a16z crypto and friends. ⚡
mpz
Multi-party computation libraries written in Rust 🦀
olavm
A pure Rust Olavm implementation.
ord
👁🗨 Rare and exotic sats
Plonky3
A collection of libraries related to polynomial IOPs (PIOPs)
rust-bitcoin
Rust Bitcoin library
rust-bitcoin-script
Inline Bitcoin scripts in Rust
rusty-kaspa
Kaspa full-node and related libraries in the Rust programming language. This is an Alpha version at the initial testing phase.
sirius
A folding framework for Incrementally Verifiable Computation (IVC).
sonobe
Experimental folding schemes library
sp1
A performant, 100% open-source, contributor-friendly zkVM.
tfhe-rs
TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.
zksync-era
zkSync era
zksync-era-block-explorer
zkSync Era Block Explorer