mfaulk's repositories
mobilecoin
Private payments for mobile devices.
barter-rs
Open-source Rust framework for building event-driven live-trading & backtesting systems
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.
halo2-fri-gadget
A FRI verifier circuit for the Halo2 proof system
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
mixin
🚀 The Mixin TEE-BFT-DAG network reference implementation.
mixin-android-app
📱 Android private messenger, crypto wallet and light node to Mixin Network
move
Home of the Move programming language
neptune-core
anonymous peer-to-peer cash
neptune-twenty-first
Collection of mathematics routines and cryptography for the twenty-first century
parity-substrate
Substrate: The platform for blockchain innovators
Peroxide
Rust numeric library with R, MATLAB & Python syntax
risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
riscv-opcodes
RISC-V Opcodes
schnorr-sig
A custom Schnorr signature scheme using Rescue-Prime hash internally for fast verification in zk-STARK statements.
sp1
A performant, 100% open-source, contributor-friendly zkVM.
toposware-hash
A collection of algebraic hash functions written in Rust.
winterfell
A STARK prover and verifier for arbitrary computations
zeebra
Zeebra is ZEro-knowledge algEBRA