Pinned
Just in time for @aztecnetwork's mainnet launch, we've published a spec-like explainer of Ultrahonk!
Our first article of 2026 🥳
hashcloak.com/blog/understan…
- I thought it would be cool to just grab a cryptography book and write some of the lemma's and proofs in Lean. So that's what I put in a tutorial, for beginners learning Formal Verification in Lean!
- How Ethereum plans to replace BLS with Post-Quantum signatures by @hashcloak hashcloak.com/blog/how-ether…
- Have you been wanting to understand the @ethereumfndn's lean Ethereum initiative but were to afraid to ask? 👇
