Bain Capital Crypto

1/ Had a great time on the ZK podcast chatting about local-first and emerging use cases for programmable cryptography (ZK, HE, MPC) with @goblinoats.com @arro.bsky.social @nicomnbl.bsky.social . I'm excited for more exploration here & I'd love to hear ideas from both local-first & prog crypto worlds

1/ Earlier this year, Yuval Domb of @ingonyama.com discovered Logjumps — a more efficient way to do large-prime field multiplication than Montgomery multiplication. So much modern crypto relies on modular multiplication — all the way from TLS sessions to elliptic-curve based ZK proofs.

Video of my talk in zksummit about Ligerito has been published!

It’s about the work by Andrija and @lmao.bsky.social introducing a small and concretely fast polynomial commitment scheme

Since then, a fun thing has happened —



1/3

🧵 I've been experimenting with combining local-first software and the AT Protocol (atproto) to play with the design space of apps that live at both ends of the privacy spectrum - maximally private AND maximally public, without some of the downsides of the modern web. 

Why? 👇

ZODA and The Accidental Computer This week Anna catches up with Nico, Guillermo and Alex from Bain Capital Crypto to discuss two of their recent works; ZODA: Zero-Overhead Data Availability by the trio and The Accidental Computer by…

This week's ZK Podcast episode was on ZODA & The Accidental Computer from @baincapitalcrypto.com research team, with the trio @alexhevans.bsky.social @guilleangeris.bsky.social @nicomnbl.bsky.social chatting with @arro.bsky.social about these innovations.
Ep: https://zeroknowledge.fm/podcast/349/

What I learned working at a high-growth crypto startup On personal learnings, building products, and company scaling

🚢~New Essay ~🚢

As markets heat up, I thought I'd publicly share a few reflections from the hypergrowth days of OpenSea

And going from 25 to 300+ employees and $20B+ GMV in <2 years

🧵🧵🧵
parthchopra.substack.com/p/what-i-lea...

ZODA: Zero-Overhead Data Availability We introduce ZODA, short for ‘zero-overhead data availability,’ which is a protocol for proving that symbols received from an encoding (for tensor codes) were correctly constructed.

ZODA

Joint work with @nicomnbl.bsky.social and @lmao.bsky.social (with help from our friends Nash, Sanaz, and John at @celestiaorg.bsky.social)

A minor tweak to the encoding procedure makes data squares like Celestia's provably correct

Paper: bit.ly/zoda2
Blog: bit.ly/zoda1

hello world !