CS @LehighU Engineering @TachyonZcash @penumbrazone
Joined November 2021
- Tweets867
- Following1.4K
- Followers927
- Likes5.7K
Margulus retweeted
We're proud to announce the release of zkao version 3, the most powerful zkao update we've released so far. If you have a codebase that implements cryptography, now is the time to let zkao find bugs in it. Go to zkao.io to request access today.
Margulus retweeted
We condensed Tachyon’s design into a video that walks anyone familiar with Zcash’s protocol through each change.
Margulus retweeted
We’ve been sharing different parts of the Tachyon design for months.
Finally, we present to you a holistic deep dive!
- Birds-eye view of the “shielded core <> payment protocol” decoupling
- concrete design of evolving nullifiers, and new double-spending validation in consensus
- how syncing service obliviously sync non-membership of past nullifies without any privacy leakage (ie spend unlinkability)
Two subprotocols we explained in detail:
1. Quadratic-residue filters used to route/regroup pseudorandom values (tachygrams) into capped-sized buckets with distinct “QR profile” for cheap nonmembership test against a whole epoch without linear scan
2. a subsequence argument without using vector commitment: relax to a multiset argument about a set of indexed value, further relying on PCD to enforce contiguous indexes.
Benefit: no fixed range in advance, no RSA/Pairing for subvector proof, deadly simple IOP.
Margulus retweeted
Who verifies the formal verification?
Read about how we audited @TachyonZcash's Ironwood formalization and about common pitfalls for formal verification in general.
blog.zksecurity.xyz/posts/au…
Margulus retweeted
It is difficult to explain just how impressive this is. The Tachyon Project (@TachyonZcash) and @zksecurityXYZ have raised the bar for high-assurance software.
zakura.com/engineering/adver…
Margulus retweeted
Zcash extends its lead in pursuing perfection using formal verification. In the future you won't audit code, you'll formally verify it and then audit the much smaller theorems.
(The future is now.)
We hired @zksecurityXYZ to audit Ironwood's formal verification. Rather than looking for security bugs, they tried to *add* bugs to see if the formal verification could catch them!
Here's our summary, along with the report:
zakura.com/engineering/adver…
Margulus retweeted
We had @zksecurityXYZ do mutation testing and fuzzing, except for our formal verification.
They tried to deliberately add counterfeiting bugs (using their massive corpus of ZK bugs) and watched as the formal proofs rejected them each time.
We hired @zksecurityXYZ to audit Ironwood's formal verification. Rather than looking for security bugs, they tried to *add* bugs to see if the formal verification could catch them!
Here's our summary, along with the report:
zakura.com/engineering/adver…
Margulus retweeted
We hired @zksecurityXYZ to audit Ironwood's formal verification. Rather than looking for security bugs, they tried to *add* bugs to see if the formal verification could catch them!
Here's our summary, along with the report:
zakura.com/engineering/adver…
Margulus retweeted
Sean Bowe (@ebfull) will be presenting about Tachyon at this year's Zcash Zummit, hosted by the Network State Conference on October 9th.
We're excited to share new details about our shielded pool, its efficiency, and the roadmap going forward!
It’s important for your future that you understand Zcash. You can’t have zero knowledge about zero knowledge.
Thus, this year's Network State Conference will include a Zcash Zummit, featuring Zcash leaders Zooko Wilcox (Shielded Labs), Sean Bowe (Tachyon), Eli Ben-Sasson (StarkWare), Josh Swihart (Zodl), Josh Lee (Vizor), Dev Ojha (Zakura), Evan Forbes (Valar Group), Maxime Desalle (Winklevoss Capital), and Tom Howard (Zcash Labs).
In-person attendees will even receive some free ZEC. So: come to Singapore on October 9.
ns.com/conference
Margulus retweeted
Tachyon uses really simple accumulators: multisets of nullifiers and note commitments are roots of univariate polynomials, and we accumulate polynomial commitments into a hash chain.
These are both very cheap and simple, and ride along with the recursive SNARK nearly for free!
Tachyon grafts a Zcash wallet's state machine over a tree of recursive SNARKs.
The most important artifacts of that process are accumulators, and we've specifically designed ours for transaction aggregation and non-membership proofs:
tachyon.z.cash/blog/building…
Margulus retweeted
Tachyon grafts a Zcash wallet's state machine over a tree of recursive SNARKs.
The most important artifacts of that process are accumulators, and we've specifically designed ours for transaction aggregation and non-membership proofs:
tachyon.z.cash/blog/building…
Margulus retweeted
Starting today, the Tachyon team is releasing a stream of announcements:
* code releases
* specs & ZIPs
* guides & technical posts
* audit reports
and then in a couple weeks we'll be doing a presentation at an unannounced event, stay tuned for more on that!
We're beginning to integrate Tachyon's cryptography with Zakura Common.
tachyon.z.cash/blog/integrat…
Margulus retweeted
We're beginning to integrate Tachyon's cryptography with Zakura Common.
tachyon.z.cash/blog/integrat…
Margulus retweeted
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…
Margulus retweeted
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…
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…
Margulus retweeted
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…
