xkx's repositories
coda-automation
Tools for managing coda testnets
cuda-fixnum
Extended-precision modular arithmetic library that targets CUDA.
ethers-rs
Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
ff
Traits and utilities for working with finite fields.
group
Elliptic curve group traits and utilities.
kunxian-xia
Config files for my GitHub profile.
pairing
Pairing-friendly elliptic curve library.
pasta_curves
Rust implementation for zcash/pasta
pil-stark
Generates a stark from a pil
Plonky3
A collection of libraries related to polynomial IOPs (PIOPs)
risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
sp1
A performant, 100% open-source, contributor-friendly zkVM.
sp1-reth
A performant, type-1 zkEVM written in Rust & SP1.
white-city
Network layer for MPC (Secure Multi-Party Computation) protocols [WIP]
winterfell
A STARK prover and verifier for arbitrary computations
zkevm-prover
zkEVM prover in C++
zkevm-proverjs
zkEVM proof generator reference written in Javascript
zkp-bench
Benchmarks, Surveys, Experiments