kunxian-xia Goto Github PK

6.824-spring-2018

Labs of MIT 6.824 Spring 2018

bitcoin

Bitcoin Core integration/staging tree

bn256

Implements the Barreto-Naehrig (BN) curve at the 128-bit security level, as used by Ethereum

coda

Coda is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.

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.

fri-fields-bench

goldilocks

gpu-snark

group

Elliptic curve group traits and utilities.

halo2-lib

Monorepo of halo2 crates

halo2curves

jsnark

A Java library for writing circuits/constraints for zk-SNARKs.

kunxian-xia

Config files for my GitHub profile.

ntru_attack

pairing

Pairing-friendly elliptic curve library.

paper

pasta_curves

Rust implementation for zcash/pasta

pil-stark

Generates a stark from a pil

pinocchio_test

Refactor of the Pinocchio toolchain from MSR

plonky2

plonky3

A collection of libraries related to polynomial IOPs (PIOPs)

poseidon

ring-sig

risc0

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

snarky

OCaml DSL for verifiable computation

snarky-tutorial

sp1

A performant, 100% open-source, contributor-friendly zkVM.