Pinned Repositories
angular-websocket
Angular and Socket.io
angular-websocket-kafka
angular, socket.io and Kafka
flask-angular-d3
hbase-object-mapper
A Java-annotation based object mapper that helps convert your bean-like objects to HBase row data (and vice-versa). For use in Map/Reduce jobs involving HBase tables (and their unit tests). Helps define Data Access Objects for HBase entities.
heroku-flask-skeleton
A minimal flask project for heroku
kafka-python-producer-template
one-tesla-midi-interrupter
quad-driver
DRSSTC Tesla Coil Driver
socketio-kafka
Uses Socket.io to push Kafka messages to clients.
mobilecoin
Private payments for mobile devices.
mfaulk's Repositories
mfaulk/mobilecoin
Private payments for mobile devices.
mfaulk/algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
mfaulk/barter-rs
Open-source Rust framework for building event-driven live-trading & backtesting systems
mfaulk/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.
mfaulk/cheetah
A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
mfaulk/developer
with 100k context windows on the way, it's now feasible for every dev to have their own smol developer
mfaulk/ENT
Elementary Number Theory for Integers in Rust
mfaulk/flint2
FLINT (Fast Library for Number Theory)
mfaulk/halo2-fri-gadget
A FRI verifier circuit for the Halo2 proof system
mfaulk/icicle
a GPU Library for Zero-Knowledge Acceleration
mfaulk/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
mfaulk/mfaulk.github.io
mfaulk/miden
STARK-based virtual machine
mfaulk/mixin
🚀 The Mixin TEE-BFT-DAG network reference implementation.
mfaulk/mixin-android-app
📱 Android private messenger, crypto wallet and light node to Mixin Network
mfaulk/move
Home of the Move programming language
mfaulk/neptune-core
anonymous peer-to-peer cash
mfaulk/neptune-twenty-first
Collection of mathematics routines and cryptography for the twenty-first century
mfaulk/parity-substrate
Substrate: The platform for blockchain innovators
mfaulk/Peroxide
Rust numeric library with R, MATLAB & Python syntax
mfaulk/plonk
Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.
mfaulk/Plonky3
A toolkit for polynomial IOPs (PIOPs)
mfaulk/proptest
Hypothesis-like property testing for Rust
mfaulk/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
mfaulk/riscv-opcodes
RISC-V Opcodes
mfaulk/schnorr-sig
A custom Schnorr signature scheme using Rescue-Prime hash internally for fast verification in zk-STARK statements.
mfaulk/sp1
A performant, 100% open-source, contributor-friendly zkVM.
mfaulk/toposware-hash
A collection of algebraic hash functions written in Rust.
mfaulk/winterfell
A STARK prover and verifier for arbitrary computations
mfaulk/zeebra
Zeebra is ZEro-knowledge algEBRA