Researching hardware acceleration for zero knowledge proofs. github.com/TalDerei/Masters-… CS @LehighU Engineering @TachyonZcash @penumbrazone
- Tweets 851
- Following 1,416
- Followers 908
- Likes 5,535
NU7 is coming! All of the Zcash development orgs have come to unanimous agreement about the contents and timeline of our next network upgrade, following the sentiment collection results earlier this week.
Activation approximately November 5.
Learn more:
forum.zcashcommunity.com/t/n…
19
66
265
26,322
We can now describe an idea for Zcash's protocol and get a formally verified proof it is secure nearly as fast as we can get the implementation of it.
@ZakuraZcash now has the first and only formally verified zk-SNARK prover, augmenting the soundness proofs we published in July.
Thanks to Tachyon's @MariusMargulus, the new zk-SNARK prover in Zakura (and also in @vizorwallet) is the first Zcash prover with a machine-checked Lean proof of statistical honest-verifier zero-knowledge.
Read more:
zakura.com/engineering/ironw…
7
39
212
18,552
Margulus retweeted
Thanks to Tachyon's @MariusMargulus, the new zk-SNARK prover in Zakura (and also in @vizorwallet) is the first Zcash prover with a machine-checked Lean proof of statistical honest-verifier zero-knowledge.
Read more:
zakura.com/engineering/ironw…
11
35
191
52,225
Once again, a bunch of improvements for Zcash's network health and, as a bonus, optimizations that make shielded wallets faster.
Excited to see which major mining pools switch to Zakura soon. Be on the lookout for 🌸 on @cipherscan_app!
New Zakura Release: 1.4.0
Latency reductions across the board. Faster block propagation. Fast proving for block templates that use shielded coinbase (for mining pools).
And on an iPhone 17, proving is now 21x faster overall since Zakura started!
zakura.com/announcements/zak…
8
24
164
18,154
Let's disable v4 transactions and add a recovery protocol for Sprout coins. Everybody wins?
New blog:
seanbowe.com/blog/disabling-…
10
35
167
21,211
Margulus retweeted
Introducing Zakura Common.
We just shipped 14x faster proving, 21x faster hashing, 1.5x faster trial decryption, and 4-8x faster verification.
New releases of Zakura and wallets that use Zakura Common (such as @vizorwallet) will benefit immediately.
zakura.com/announcements/zak…
35
82
457
181,167
I've published some graphics and better explanations of my Eisenstein recoding approach. (still WIP)
I believe this could be the cheapest variable-base point multiplication algorithm for j=0 curves like Zcash’s and secp256k1 in Bitcoin too.
zakura.com/engineering/key-a…
1
16
80
3,504
Margulus retweeted
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…
41
106
364
66,270
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.
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…
14
38
207
85,527
Ironwood goes live in ten days.
The possibility of counterfeiting bugs in our project has kept me awake at night. No more. Mathematical proof that undetectable counterfeiting bugs don't exist in Ironwood changes how even *I* feel about Zcash, as a protocol dev of ~10 years.
Ironwood goes live in 10 days.
The Great Ironwood Migration achieves three goals:
- Provide a credibly sound shielded pool
- Give evidence no counterfeiting occurred in Orchard
- Re-establish the circulating supply of ZEC.
Here's what you need to know... 🧵
31
69
441
273,720
Margulus retweeted
Ironwood goes live in 10 days.
The Great Ironwood Migration achieves three goals:
- Provide a credibly sound shielded pool
- Give evidence no counterfeiting occurred in Orchard
- Re-establish the circulating supply of ZEC.
Here's what you need to know... 🧵
13
32
168
140,321
Excited to announce Zakura! A new Zcash full node, built around scale!
We've teamed up with @TachyonZcash to make this a reality.
Our first release solves many painpoints for the ecosystem:
- Much faster sync
- Pruned nodes
- Snapshots
- Support for Zcashd wallets
🧵
42
65
460
127,299
We're proud to announce Zakura: a new Zcash full node.
Scaling Zcash means our upcoming protocol upgrades (like Tachyon) will need significant full-stack performance improvements. Today's 1.0.0 release puts us on that path.
21
58
387
40,180
Margulus retweeted
We're teaming up with @ValarGroup to develop a new consensus node for Zcash.
The major improvements needed to ship Tachyon will primarily be developed and tested in Zakura. Today marks its initial release, already with several impressive advantages!
5
16
95
7,109
Margulus retweeted
A comparison of Bitcoin and Zcash on counterfeit detection.
The greatest risk in private money is hidden inflation. Ironwood rules out specification bugs and puts Zcash essentially on par with Bitcoin in supply verifiability.
A historic feat for private money.
Zcash's new Ironwood pool is being formally verified to rule out all undetectable counterfeiting bugs, up to the underlying cryptographic assumptions.
tachyon.z.cash/blog/detectin…
13
32
208
13,538
RT @zooko: Tachyon's Formal Verification project is on the verge of producing a mathematical proof that there are no undetectable counterfe…
52
2