Zero-knowledge proving and privacy-chain diagnostics — in Rust, on Apple Silicon. I build the tooling that proves what a system is actually doing: GPU-accelerated provers, runtime fingerprinting for privacy networks, and reproducible evidence bundles you can re-run yourself.
📣 Contact: [email protected] — open to fixed-scope engagements (prover acceleration, ZK/Rust tooling, network diagnostics).
risc0-metal-hybrid — Stock RISC Zero proves entirely on the CPU on Apple Silicon; its Metal GPU backend ships complete but unreachable. I wired it back in as a hybrid segment prover — generic STARK ops (NTT / FRI / Merkle / Poseidon2) on the GPU, circuit kernels on the CPU, zero-copy over unified memory. 1.63–1.70× median on an M4 Max, receipts still verify with the stock verifier. A 677-line vendored patch with CI-proven pristine-plus-patch parity and a one-command evidence bundle.
r0-metal-doctor — Tells you whether RISC Zero is actually using Metal on your Mac. Reports only the prover lane it observes — no guessing.
midnight-probe (npm) — Diagnostics CLI for Midnight Network: runtime fingerprinting, transaction-validation tracing, and SDK compatibility matrices against live networks.
ziros — A zero-knowledge operating system: agent-operated proving on Apple Silicon, formally verified Metal GPU kernels, 9 proving backends, fail-closed attestation.
Rust · ZK proving (Plonky3 · Groth16 · Halo2 · Nova · RISC Zero) · Apple Silicon / Metal GPU · post-quantum cryptography · privacy chains (Midnight · Zcash)
Fingerprint what the system is really doing, classify what's broken, never guess — and ship the evidence to check it.