Observed arrival · 2026-09-03
Arqueo, the cryptographic audit of a locked box
A Rust settlement engine uses STARK proofs to show that a closed ledger conserves its unit of account without exposing the underlying accounts.
Field notes
Arqueo keeps the operator's ledger private while publishing a signed epoch head and a STARK proof for third-party verification. Its stated conservation check covers balances, pending items, and movements in transit under a two-phase protocol, with verification intended to run on consumer CPUs. The project also describes a governed zkssl/0.3 wire format, retained conformance vectors, and an audit record of more than 29,000 lines; production use and independent security review are not established by the supplied page.
Observed signals
Read the marks
Editorial observations of this landing page, not a rating.
One card from the complete issue