Pinned Repositories
2022-entries
ZPrize 2022 - All qualified entries
brakedown_linearcode
polynomial commitments from linear codes
btcd
An alternative full node bitcoin implementation written in Go (golang)
Compressed_sigma-protocol
Rust implementation for Compressed Σ-Protocol Theory and Practical Application to Plug & Play Secure Algorithmics
FHE_notes
Fully Homomorphic Encryption (FHE) related notes
hyperledger-fabric-linux-amd64-1.2.0-rc1
hyperledger-fabric-ca-linux-amd64-1.2.0-rc1.tar.gz and hyperledger-fabric-linux-amd64-1.2.0-rc1.tar.gz from http://nexus.hyperledger.org
learning-ZKP-from-zero-to-one
Some tips for new learners of ZKP
libsigma
Crytographic library of Sigma an implementation of One-out-of-Many Proofs
PairingForBeginners-Magma-scripts
Magma scripts in Pairings For Beginners.
RISC0_notes
RISC Zero related notes
3for's Repositories
3for/RISC0_notes
RISC Zero related notes
3for/brakedown_linearcode
polynomial commitments from linear codes
3for/java-tron
Java implementation of the Tron whitepaper
3for/sigmabus-poc
Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406
3for/tfhe-rs
TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.
3for/ttfhe
Toy TFHE implementation
3for/FHE_notes
Fully Homomorphic Encryption (FHE) related notes
3for/2023-10-zksync
3for/awesome-bitvm
A curated list of resources around BitVM
3for/BitVM
3for/clabot-config
CLA configuration repository
3for/DATA
Differential Address Trace Analysis
3for/ffiasm
This package is a script that generates a Finite field Library in Intel64 and ARM Assembly
3for/fhe_risc0_zkvm
FHE in the Risc0 zkVM
3for/hash-based-snargs-book
Source code for "Building Cryptographic Proofs from Hash Functions"
3for/libiop
C++ library for IOP-based zkSNARKs
3for/miden-base
Core components of the Polygon Miden rollup
3for/miden-client
Client library that facilitates interaction with the Miden rollup
3for/mina
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
3for/pil2-proofman-js
Proof Generation Manager for PIL2
3for/poseidon2-webgpu-demo
A demonstration of hashing a Poseidon2 merkle tree in parallel using a WebGPU compute shader
3for/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
3for/smallfield-super-sumcheck
Proof of concept implementation of sumcheck over fields of small characteristics.
3for/stwo
3for/sumcheck
linear-time sumcheck protocol for multilinear polynomials and related addends
3for/trie
Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
3for/tron-docker
Docker automation for Tron nodes
3for/zk-bug-tracker
A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.
3for/zk-security-reviews
Collection of security reviews of ZK Protocols
3for/zkevm-techdocs
Technical documentation of the zkEVM