I’m excited to share a project I’ve been building called power_house — a Rust crate focused on deterministic interactive proofs, multilinear sum-check, and a transcript-anchored quorum ledger. The goal is to provide a clean, reproducible playground for verifiable computation and deterministic audit trails.
It’s written fully in Rust, with no unsafe blocks, and aims to be both a learning tool and a foundation for more advanced proof-construction or consensus applications.