Hey everyone,

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.

1 post - 1 participant

Read full topic