mfaulk's repositories
zeebra
Zeebra is ZEro-knowledge algEBRA
Peroxide
Rust numeric library with R, MATLAB & Python syntax
Plonky3
A toolkit for polynomial IOPs (PIOPs)
sp1
A performant, 100% open-source, contributor-friendly zkVM.
cairo-vm
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
proptest
Hypothesis-like property testing for Rust
icicle
a GPU Library for Zero-Knowledge Acceleration
neptune-core
anonymous peer-to-peer cash
neptune-twenty-first
Collection of mathematics routines and cryptography for the twenty-first century
move
Home of the Move programming language
barter-rs
Open-source Rust framework for building event-driven live-trading & backtesting systems
mixin-android-app
📱 Android private messenger, crypto wallet and light node to Mixin Network
mixin
🚀 The Mixin TEE-BFT-DAG network reference implementation.
ENT
Elementary Number Theory for Integers in Rust
parity-substrate
Substrate: The platform for blockchain innovators
risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
winterfell
A STARK prover and verifier for arbitrary computations
flint2
FLINT (Fast Library for Number Theory)
developer
with 100k context windows on the way, it's now feasible for every dev to have their own smol developer
riscv-opcodes
RISC-V Opcodes
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
plonk
Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.
miden
STARK-based virtual machine
mobilecoin
Private payments for mobile devices.
halo2-fri-gadget
A FRI verifier circuit for the Halo2 proof system
toposware-hash
A collection of algebraic hash functions written in Rust.
schnorr-sig
A custom Schnorr signature scheme using Rescue-Prime hash internally for fast verification in zk-STARK statements.
cheetah
A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.