PayneJoe/lemmas-and-ciphers
Personal notes on mathematics, cryptography, and formal verification
Cryptographic research & engineering on ZKP
Repositories
PayneJoe/ArkLib
Formally Verified Arguments of Knowledge in Lean
PayneJoe/formalising-mathematics-notes
Course notes for Formalising Mathematics 2026
PayneJoe/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
PayneJoe/whir
WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification
PayneJoe/PNova
Plonkish Nova implementation along with advanced features
PayneJoe/lcpc
polynomial commitments from linear codes
PayneJoe/binius64
Binary Proofs, Blazing Fast
PayneJoe/stark101
PayneJoe/Plonky3
A toolkit for polynomial IOPs (PIOPs)
PayneJoe/crypto_research
crypto research stuffs from numerics to ZK applied protocols all written with dirty hands
PayneJoe/test_sp1
PayneJoe/sp1-helios
On-chain Ethereum light client built with SP1
PayneJoe/garuda-pari
A Rust implementation of the Garuda and Pari SNARKs
PayneJoe/starkware-stwo
PayneJoe/zk_light_client
Light client implementation powered by SP1
PayneJoe/BitVM
Smarter Bitcoin Contracts
PayneJoe/arecibo
PayneJoe/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
PayneJoe/protocol
Rift Protocol Monorepo
PayneJoe/circuits
zk circuits powering trustless swaps between bitcoin and ethereum
PayneJoe/bitcoin-circle-stark
Building blocks of a Circle STARK verifier in Bitcoin script
PayneJoe/rust-bitcoin-m31
Arithmetic over the M31 or BabyBear field in Bitcoin Script
PayneJoe/vbuterin_research
PayneJoe/algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
PayneJoe/bitcoinbook
Mastering Bitcoin 3rd Edition - Programming the Open Blockchain
PayneJoe/groth16
A Rust implementation of the Groth16 zkSNARK
PayneJoe/curves
Implementations of popular elliptic curves
PayneJoe/winterfell
A STARK prover and verifier for arbitrary computations
PayneJoe/mathlib4
The math library of Lean 4