Super impressive! Kudos to the Polygon Zero team for pushing the limits!

We've got more work to do on Binius perf to keep up

1/ We're excited to share the initial release of Jolt, a new approach to zkVM design. Early benchmarks indicate it outperforms RISC Zero by ~6x and SP1 by up to 2x. Major optimizations are still in the pipeline.

Concerned about Binius proof sizes? Our latest research paper shows we can use FRI to reduce proof size, while still working for all binary tower fields.

ulvetanna.io/news/fri-binius

The code is still public for anyone who wants to resurrect this

github.com/jimpo/march-ma…

Math-heads, you’re in for a treat.

Introducing Circle STARK 🔵

Over the past three months, we’ve worked in collaboration with the Polygon Labs team on a new blazingly fast STARK protocol.

Today, we are proud to announce a ground-breaking mathematical advancement:
✨
A…

Does size matter when it comes to polynomial commitment schemes?

Join us for a heated discussion of KZG, FRI, and Binius on our next STARK @ Home with Eli Ben-Sasson, Shahar Papini, and a special guest appearance from Jim Posen.

📅January 23rd
⏰16:30 UTC…

was a pleasure working through Merkle-extraction technicalities with rkm0959, who is very astute.

fixed version now live. the gap in our old proof also affects Brakedown 😅 Justin Thaler

big love to Achal for the logo...referencing the binary field tower stacking

There's a new SNARK on the block.

SNARKs based on towers of binary fields are the future of prover-efficient verifiable computing. Read here about Ulvetanna's research effort and our newly published Rust implementation, Binius.

ulvetanna.io/news/binius-ha…

How is this a 4-star review?

Two of the absolute best live bands Mo Lowda &the Humble and Hiss Golden Messenger are playing in NYC on the same night in October... whyyyyy

Pet peeve: when people say DDoS when they really mean DoS. Instant loss of credibility.

The first Poseidon hash Merkle tree hardware implementation:
ulvetanna.io/news/poseidon-…

Read up on our new proximity gap theorem which improves Brakedown performance by 2x:

ulvetanna.io/news/proximity…

Our latest blog post is a deep dive into Ulvetanna's approach to hardware design for ZKPs, starting with the NTT module used by Polygon zkEVM!

ulvetanna.io/news/fpga-arch…

Announced today what we're building Ulvetanna!

Lots of fun problems at the intersection of high performance computing and applied cryptography -- hit me up if you're interested in working together!

ulvetanna.io/news/introduci…

What's your favorite blog post/article explaining SNARKs to software devs?

You can lose all of your crypto with just one wrong click. Over $100 million has been stolen in 2022 alone.

Web3 users are left to defend themselves against scammers & hackers with limited support. It’s a broken system.

That’s why we created Blowfish

blog.blowfish.xyz/blowfish-raise…

As much progress as Ubuntu Desktop has made over the years, I've still never had a dist upgrade go smoothly, even between LTS releases

This paper is basically Github Copilot in reverse: researchers scraped open source code to build an NN model that can look at decompiled code and somewhat reliably recover the original types and variable names(!). Works with Hex-Rays now, but could be made to work with Ghidra.