Undercurrent CapitalbetaSign in

Popular

1206 stories
Friday, October 2, 20261206 stories
News

Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration

better.

Ethereum Blog · Aug 200 upvotes · 0 comments
More news
NewsIt's time to pass the CLARITY Acta16z crypto · Jul 22News3 charts on the tokenized stocks booma16z crypto · Jul 20NewsThe time for Clarity is here: The next-generation Telecoms Acta16z crypto · Jul 17NewsTradFi doesn’t want DeFi. It wants blockchains.a16z crypto · Jul 14NewsDevcon 8 Tickets Are Live: Find Your Path to MumbaiEthereum Blog · Jul 14NewsWhy markets fail — and how to fix them (ft. Nobel economist Alvin Roth)a16z crypto · Jul 9NewsThe triage is the product: running AI agents against Ethereum's protocol codeEthereum Blog · Jul 9NewsEthereum for Governments and Institutions: Why neutral infrastructure matters nowEthereum Blog · Jul 1NewsSome books we’re reading this summer 2026a16z crypto · Jun 26NewsIf you yell about everything, you're heard about nothinga16z crypto · Jun 26NewsLeslie Lamport on the Science of Distributed Systemsa16z crypto · Jun 25NewsInside Asia's Institutional Blockchain Race: The South Korea Editiona16z crypto · Jun 25NewsCharts: Prediction markets just posted their third straight record-setting weeka16z crypto · Jun 25NewsInvesting in Ornn: A Market for Computea16z crypto · Jun 24NewsThe EF’s new structureEthereum Blog · Jun 23NewsCharts: Prediction markets just hit $10B in their biggest week evera16z crypto · Jun 19NewsBefore Blockchains, There Was State Machine Replication (ft. Barbara Liskov and Tim Roughgarden)a16z crypto · Jun 19NewsHow Bitcoin Rewired a Classic Computer Science Problem (ft. Tim Roughgarden and Ittai Abraham)a16z crypto · Jun 19