mfaulk's repositories
mobilecoin
Private payments for mobile devices.
algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
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.
cheetah
A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
developer
with 100k context windows on the way, it's now feasible for every dev to have their own smol developer
ENT
Elementary Number Theory for Integers in Rust
flint2
FLINT (Fast Library for Number Theory)
halo2-fri-gadget
A FRI verifier circuit for the Halo2 proof system
icicle
a GPU Library for Zero-Knowledge Acceleration
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
plonk
Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.
Plonky3
A toolkit for polynomial IOPs (PIOPs)
proptest
Hypothesis-like property testing for Rust
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.
smart-contract-downloader
Download smart contract from blockchain explorers
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