7 líbí se · 2 příspěvky · 0 odpovědi · 40 zobrazení
IronWood Migration Real Time nitter.net/i/broadcasts/1ypJdZqyD… Link ZK Radio IRONWOOD MIGRATION https://nitter.net/i/broadcasts/1ypJdZqyDggKW
IronWood Migration Real Time nitter.net/i/broadcasts/1ypJdZqyD… Link ZK Radio IRONWOOD MIGRATION https://nitter.net/i/broadcasts/1ypJdZqyDggKW
Life moves quickly. $ZEC
Life moves quickly. $ZEC
Congrats! 🛡️♥️ $ZEC Zcash 🛡️ (@Zcash) Who's going to mine the first Ironwood block? 👀 $ZEC — https://nitter.net/Zcash/status/2081911127773175985#m
Congrats! 🛡️♥️ $ZEC Zcash 🛡️ (@Zcash) Who's going to mine the first Ironwood block? 👀 $ZEC — https://nitter.net/Zcash/status/2081911127773175985#m
13 líbí se · 6 příspěvky · 3 odpovědi · 104 zobrazení
53 líbí se · 22 příspěvky · 6 odpovědi · 598 zobrazení
Ironwood migration is live in Vizor. Update your app, then read this before you migrate.
Here we go! Ironwood era has begun! $ZEC
Ironwood. 🥳 $ZEC
Ironwood. 🥳 $ZEC
Article Ironwood is live on Zcash Today, at block height 3,428,143, Ironwood NU6.3 activated on Zcash mainnet. The Ironwood NU6.3 network upgrade introduces a new shielded pool designed to strengthen Zcash's security and make the
Article Ironwood is live on Zcash Today, at block height 3,428,143, Ironwood NU6.3 activated on Zcash mainnet. The Ironwood NU6.3 network upgrade introduces a new shielded pool designed to strengthen Zcash's security and make the
Soundness of our zk-SNARK would have been great on its own. But a cross-team collaboration has just changed Zcash's history forever, eliminating all sources of undetectable counterfeiting bugs from the new Ironwood protocol. Project Tachyon (@TachyonZcash) We're excited to announce a machine-checked proof, written in Lean, that Zcash's new Ironwood pool cannot contain undetectable counterfeiting bugs. tachyon.z.cash/blog/ironwood… Link Formal Verification of Zcash Ironwood Completed — Project Tachyon Ironwood's supply soundness now rests on machine-checked proofs, not just carefully reviewed and audited code. tachyon.z.cash — https://nitter.net/TachyonZcash/status/2082102669297295840#m
Gregor Mitscha-Baude (@mitschabaude) created a massive soundness proof for the Ironwood zk-SNARK circuit using the Clean framework, lifting the low-level witness to the high-level relation the knowledge soundness proof extracts. We are grateful for @zksecurityXYZ’s assistance, and with the added help from Giorgio Dell'Immagine.
#3,428,143 Ironwood is here. Learn why it's GROUNDBREAKING: 00:00 Ironwood Upgrade Intro 00:07 Spaceflight Guarantees 02:07 @zkDragon Explainer 03:19 The Quantum Race 05:06 @Zcash FUD 08:00 Ironwood Credit 08:36 @Mert “Why Zcash?” Video
Daira-Emma Hopwood (@feministPLT) established the cryptographic assumptions and security properties of the higher-level relation and surrounding protocol. Balance integrity rests on far more than the SNARK alone. @zodl_co's collaboration was essential for our effort's success.
0 líbí se · 3 příspěvky · 1 odpovědi · 61 zobrazení