Pinned Repositories
algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
algo-sensetime
algorithms developed in sensetime
ansj_lda
bitcoin-binius
Binius gadgets implemented with bitcoin script
bitcoin-circle-stark
Building blocks of a Circle STARK verifier in Bitcoin script
BitVM
Smarter Bitcoin Contracts
crypto_research
crypto research stuffs from numerics to ZK applied protocols all written with dirty hands
hypercube
LightDNF
DNF based on inversed index, more details please refer http://www.cnki.com.cn/Article/CJFDTotal-HDZJ201408050.htm
PNova
Plonkish Nova implementation along with advanced features
PayneJoe's Repositories
PayneJoe/PNova
Plonkish Nova implementation along with advanced features
PayneJoe/crypto_research
crypto research stuffs from numerics to ZK applied protocols all written with dirty hands
PayneJoe/algo-sensetime
algorithms developed in sensetime
PayneJoe/bitcoin-binius
Binius gadgets implemented with bitcoin script
PayneJoe/bitcoin-circle-stark
Building blocks of a Circle STARK verifier in Bitcoin script
PayneJoe/zk_light_client
Light client implementation powered by SP1
PayneJoe/algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
PayneJoe/arecibo
PayneJoe/bellperson
zk-SNARK library
PayneJoe/BitVM
Smarter Bitcoin Contracts
PayneJoe/DeFiHackLabs
Reproduce DeFi hacked incidents using Foundry.
PayneJoe/ecc_research
Early-stage research related to the Anoma protocols.
PayneJoe/generative-ai-for-beginners
12 Lessons, Get Started Building with Generative AI 🔗 https://microsoft.github.io/generative-ai-for-beginners/
PayneJoe/hypercube
PayneJoe/jellyfish
A Rust Implementation of the PLONK ZKP System and Extensions
PayneJoe/plonkathon
educational python plonk implementation, based on vitalik's py_plonk
PayneJoe/bitcoinbook
Mastering Bitcoin 3rd Edition - Programming the Open Blockchain
PayneJoe/circuits
zk circuits powering trustless swaps between bitcoin and ethereum
PayneJoe/curves
Implementations of popular elliptic curves
PayneJoe/groth16
A Rust implementation of the Groth16 zkSNARK
PayneJoe/hash-based-snargs-book-zh
Source code for "Building Cryptographic Proofs from Hash Functions"
PayneJoe/mathlib4
The math library of Lean 4
PayneJoe/protocol
Rift Protocol Monorepo
PayneJoe/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
PayneJoe/rust-bitcoin-m31
Arithmetic over the M31 or BabyBear field in Bitcoin Script
PayneJoe/sp1
The fastest, most feature-complete zkVM for developers.
PayneJoe/starkware-stwo
PayneJoe/vbuterin_research
PayneJoe/winterfell
A STARK prover and verifier for arbitrary computations
PayneJoe/zkp-co-learning.github.io