sergerad
Staff Software Engineer @ Immutable Ethereum L2 // ZKP // Rust // Golang // Kubernetes
New Zealand
sergerad's Stars
taikoxyz/taiko-reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
taikoxyz/raiko
Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
usagi/rust-memory-container-cs
Rust Memory Container Cheat-sheet
thor314/pazk
Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group
microsoft/Nova
Nova: High-speed recursive arguments from folding schemes
microsoft/Spartan
Spartan: High-speed zkSNARKs without trusted setup
alexpusch/rust-magic-patterns
Magical Rust patterns laid out and simplified
sergerad/rustbutverify
Miscellaneous Rust
circify/circ
(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
ingonyama-zk/super-sumcheck
In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU
sergerad/nolemma
matklad/once_cell
Rust library for single assignment cells and lazy statics without macros
recmo/uint
Rust Uint crate using const-generics
facebook/winterfell
A STARK prover and verifier for arbitrary computations
succinctlabs/sp1-helios
On-chain Ethereum light client built with SP1
lambdaclass/lambdaclass_hacking_learning_path
LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!
matter-labs/vm2
High performance EraVM for zkSync.
lambdaclass/era_vm
EraVM implementation
arkworks-rs/algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
cspr-rad/kairos-trie
succinctlabs/rsp
A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
succinctlabs/op-succinct
OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.
odradev/awesome-zero-knowledge
A curated list of Zero Knowledge links, mostly focusing on blockchain.
arkworks-rs/spartan
Spartan on Arkworks
0xPolygonMiden/examples
Examples of using Polygon Miden
0xPolygonMiden/miden-base
Core components of the Polygon Miden rollup
0xPolygonMiden/crypto
Cryptographic primitives used in Polygon Miden rollup
0xPolygonMiden/compiler
Compiler from MidenIR to Miden Assembly
0xPolygonMiden/miden-node
Reference implementation of the node for the Polygon Miden rollup
0xPolygonMiden/air-script
A domain-specific language for writing AIR constraints for STARKs