Pinned Repositories
6.824-spring-2018
Labs of MIT 6.824 Spring 2018
bitcoin
Bitcoin Core integration/staging tree
coda
Coda is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
ntru_attack
pinocchio_test
Refactor of the Pinocchio toolchain from MSR
sudoku-zk-snarks
A libsnark's tutorial on sudoku
zkp
General zero knowledge proof systems
halo2
zkevm-circuits
kunxian-xia's Repositories
kunxian-xia/coda
Coda is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
kunxian-xia/coda-automation
Tools for managing coda testnets
kunxian-xia/cuda-fixnum
Extended-precision modular arithmetic library that targets CUDA.
kunxian-xia/ethers-rs
Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
kunxian-xia/ff
Traits and utilities for working with finite fields.
kunxian-xia/FRI-fields-bench
kunxian-xia/goldilocks
kunxian-xia/group
Elliptic curve group traits and utilities.
kunxian-xia/halo2-lib
Monorepo of halo2 crates
kunxian-xia/halo2curves
kunxian-xia/jolt
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
kunxian-xia/kunxian-xia
Config files for my GitHub profile.
kunxian-xia/pairing
Pairing-friendly elliptic curve library.
kunxian-xia/pasta_curves
Rust implementation for zcash/pasta
kunxian-xia/pil-stark
Generates a stark from a pil
kunxian-xia/plonky2
kunxian-xia/plonky2-ecdsa
ECDSA gadgets for plonky2
kunxian-xia/plonky2-u32
u32 arithmetic gadgets for plonky2
kunxian-xia/Plonky3
A collection of libraries related to polynomial IOPs (PIOPs)
kunxian-xia/poseidon
kunxian-xia/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
kunxian-xia/snarky
OCaml DSL for verifiable computation
kunxian-xia/snarky-tutorial
kunxian-xia/sp1
A performant, 100% open-source, contributor-friendly zkVM.
kunxian-xia/sp1-reth
A performant, type-1 zkEVM written in Rust & SP1.
kunxian-xia/winterfell
A STARK prover and verifier for arbitrary computations
kunxian-xia/zkevm-circuits
kunxian-xia/zkevm-prover
zkEVM prover in C++
kunxian-xia/zkevm-proverjs
zkEVM proof generator reference written in Javascript
kunxian-xia/zkp-bench
Benchmarks, Surveys, Experiments