Series

ZK-Proof Deep Dives: Math to Code

A rigorous journey through Zero-Knowledge cryptography, translating complex mathematical proof systems into production-ready Rust and Solidity circuits. Covering UPE, ZK-RAG, and exploit breakdowns.

Building a Hardware-Accelerated ZK Prover Core in Rust
TL;DR — Zero-knowledge proofs are bottlenecked by two operations — Multi-Scalar Multiplication (MSM) and Number Theoretic Transform (NTT) — that together consume ~90% of proving time. We are building
Apr 25, 20266 min read5

Command Palette