Audit write-up on Ironwood's formal verification, where Lean proofs meet Rust and the usual “proved” still needs checking.
trending6
01 02 Enterprise landing page for a ZK identity platform, with tiers, use cases, and integrations, plus the usual privacy pitch.03 Monthly ZK/privacy/crypto roundup, covering commitments, Fiat-Shamir, signatures, apps, and ecosystem news, because why not.04 What gets proven in zkML is mostly inference bookkeeping, with sumcheck/GKR, quantization, KV caches, and prover hacks.05 Programmer-first intro to Clean for circuit devs, with formal verification basics and workflow tips, because debugging is so 2024.06 Nethermind tweet on TCC 2026 outstanding paper award for “A Simplified Round-by-round Soundness Proof of FRI” x.comNethermind's tweet congratulates a FRI soundness paper for a TCC 2026 award, because STARKs need proofs about proofs.