Introducing Lasso and Jolt, two new works that I hope will change how SNARKs are designed and built. You can read about them here: a16zcrypto.com/posts/article/… (1/6)

Our #cryptography research team’s newest paper is live 🔥 They analyze notions of security for Interactive Oracle Proofs (IOP), namely Special Soundness, and Round-by-round (RBR) (knowledge) soundness. TLDR👇🧵 eprint.iacr.org/2023/1256 By Nethermind's Albert Garreta | Hiring | Nethermind & Michał Zając | Nethermind

Touched grass

Nethermind client crossed 30% Great work by the Nethermind core team on decentralising the execution layer

This feels like the 21st century equivalent of Doug Engelbart's Mother of All Demos Utterly astonishing

— Konstantin Lomashuk cyber/acc & Vasiliy Shapovalov are two of the best operators in the industry.

More people in US startup land should be talking about this

The textile industry had an unreasonably large effect on civilization. amazon.com/Fabric-Civiliz…

"On amortization techniques for FRI-based SNARKs" 🔥 Newly published research paper by Nethermind Research & Yerevan State University- YSU describes two new techniques for optimizing STARK proofs: 🔹Packing: Generates a single proof for multiple constraints by reusing Merkle leafs and batching

A few months ago, we announced that crypto payments are coming back to Stripe. We're now delighted to announce this partnership with @Coinbase, bringing Base to millions of businesses.

Introducing BuilderNet. BuilderNet is a decentralized block building network for Ethereum that runs on TEEs and shares MEV & gas fees with users. An early version of BuilderNet is live today — operated by Flashbots, Beaverbuild, and Nethermind.

Overheard in Silicon Valley: "My biggest lesson from the last year is just, it’s all going to happen. All my childhood dreams of space colonies and brain interfaces and AI and robots. Everything is just… going to happen."

My name is Roman Storm, and I am one of the founders of Tornado Cash, a non-custodial privacy protocol. I am being prosecuted for writing open-source code that enables private crypto transactions in a completely non-custodial manner. This prosecution represents a terrifying

Was amazing working with RISC Zero, particularly Tim Carstens Ⓥ✨ is hacking zk and Jeremy Bruestle! Great work from my team: Ilia Vlasov and others. Looking forward to applying these techniques to Zirgen! 😁

QFEX (QFEX (YC X25)) is building the 24/7 exchange for US equities, commodities, and FX. Trade with leverage without a middleman or broker fees. ycombinator.com/launches/NUj-q… Congrats on the launch, Annanay Kapila and Joshua!

Designers Tessa Rose Vardy and Olivia Englehardt draw inspiration from the urban landscape of Paris and the laidback warmth of the Balearics wallpaper.com/design-interio…

Our Formal Verification team has formalized computable multivariate polynomials in Lean. cc Lean This is a foundation for stronger, machine-checked reasoning in zk proofs and protocol design. 🔗 github.com/NethermindEth/… 1/

LFG cleaned graffiti off the tube. TfL smeared us as criminals. They claimed they had evidence. But we discovered the secret emails that prove they never had evidence. Lying is bad. Say sorry, Andy.

Oops, was off by about a decade