Formally Verifying a Shielded Pool in Lean 4
The worst shielded pool bugs are soundness bugs: quietly creating value out of nothing. Zcash's counterfeiting bug survived multiple audits for years; with Ironwood, Zcash turned to machine-checked Lean proofs that counterfeiting is impossible at the spec level. Ethereum's shielded pools have nothing comparable yet.…
Read it in your languageMachine translation by Google of the publisher's page
From the blog
Ethereum Set for Larger Role in Global Finance by 2029
Ethereum is poised for a larger role in global finance by 2029 as major firms adopt tokenized assets, stablecoins grow,…
Yuki Yamamoto3 min read
Ripple Unlocks $1.25B in Tokens, Putting XRP Supply in Focus
Ripple unlocked one billion XRP tokens valued at $1.25 billion from escrow in its scheduled November release, drawing market attention…
Yuki Yamamoto3 min read
Utexo Uses Privacy Tech to Bring USDT Back to Bitcoin
Dubai-based startup Utexo plans to relaunch Tether's USDT on Bitcoin using the privacy-focused RGB protocol, with a public launch scheduled…
Yuki Yamamoto2 min read