Light reading

Bullish

Hot take

Accurate Insights about (zk)AI. When exploring the various ZK coprocessors, we spent a lot of time thinking about the tradeoffs in the zkML space. tl;dr: carefully pick the model architecture and complexity, or else the proving costs blow up. Hopefully, the write-up helps!

Rabin-Williams signatures are faster to verify than RSA

From our CEO (Chief mEme Officer)

NP = Naysayer Proofs NP = Nice People NP = New Projects

This is one of the best technical explainers on Merkle Trees in the context of recursive STARKs. The blog expands into Hybrid-Hash Merkle Trees, and even further to Hybrid-Hash Mixed-Matrix Commitment Scheme (H2M2CS) we PR'ed to plonky3. Disclaimer: we might be a bit biased :)

Detected: high density of quality technical content. Learn all about arithmetic circuits, how they fit into SNARKs, and how one could implement them in Rust.

The progress in programmable onchain privacy has stalled. But we are here to make some waves 🌊

Anyone building provable Anti-Money Laundering?

The market opportunity is hugely underappreciated and we're going to tap into it.

Tornado Cash for Crypto Twitter That's TC4CT

Most "ZK" projects don't actually use the zero-knowledge property of cryptographic proofs. But in privacy, ZK is absolutely necessary.

Towards pragmatic privacy

Real takes, best memes

Can crypto adoption come any close to the Internet? Is dynamic fee structure a feature or a bug?