Tom Howard
@_TomHoward
Post-Sovereign Chief Biomaximizer.
Zcash, not communism.
If I detect AI responses to my post I will kill myself racistly.
加入 April 2012
5.3K 正在关注 13.3K 粉丝
“the [Ironwood] circuit is being hardened with formal verification to prove the absence of soundness bugs”
RESEARCH: In early June, @Zcash caught a soundness flaw in its Orchard shielded circuit and turned the fix into public, verifiable data.
As of July 28th, the Ironwood upgrade has sealed the old pool, and formally verifies there can never be another undetectable bug in Orchard or Ironwood.
As of August 10th, ~60% of all Orchard funds have migrated to Ironwood.
显示更多
