Irreducible's time has come to an end.
Long story short, @radi_cojbasic and I ultimately came to the realization that we couldn't sustainably build the kind of deep tech business in ZK that motivated us.
Jim Posen
379 posts
Jim Posen
@jimpo_potamus
Berlin
Joined January 2013
- Breakdown of different types of Bitcoin clients
- By the end of grad school in 2020, I was convinced ZK was way too slow and difficult to be useful. Plonky2 and ZK hardware changed my mind. Now with Binius, we'll show how wrong I was then.
- Very excited to open-source PetraVM and build in public! Petra is how we will unlock real-time proving for arbitrary computation and limitless blockchain scaling. WebAssembly -> Petra -> Binius -> Irreducible's HWCan't keep up with all the new zkVM announcements? Here's one you don't wont to miss. Today we are introducing a preview of PetraVM, a Binius-based verifiable VM built in collaboration with @0xPolygon!
- I'm super proud of the whole Irreducible team for pulling this together! We finally have a live production service and an amazing and fast developer platform for ZK. binius.xyz We're about to take Binius to new heights, now's the time to get involved!🚀Big news! Irreducible launches alpha-ready Binius library and its first application, an Ethereum state proving service. Here’s what it means: 🧵
- Feels great to finally announce what we've been working on at Irreducible the last few months! Binius64 is in many ways what Binius V0 should have been, but we didn't know that at the time.1/ Today marks the beginning of a new chapter for Irreducible. We started as a custom-hardware company, and now we are fully focused on high-performance software. Read below about our pivot and our new proof system, Binius64 👇
- Pet peeve: when people say DDoS when they really mean DoS. Instant loss of credibility.
- A summary of some ideas on Bitcoin commitments.
- Key insights for blockchain design: 1) Optimize common-case settlement. 2) Make common-case settlement of different contract types indistinguishable. 3) Use primitives secure under well-understood assumptions. 4) Schnorr does all of the above!Video from @pwuille's talk on Taproot, Schnorr and SIGHASH_NOINPUT is now available youtu.be/YSUVRj8iznU
- Replying to @jimpo_potamusThe Binius64 codebase has been relicensed to MIT + Apache 2.0, and I plan to spend some effort maintaining and improving Binius64... at least for now.
- Thrilled to be working with @BruestleJeremy and the amazing RISC Zero team on this! RISC-V is a perfect use case for Binius arithmetization using tiny, power-of-two-sized data types with no embedding overhead.Excited to announce our partnership with @RiscZero to integrate Binius, bringing ultra-fast performance to the original RISC-V zkVM. Together, we're setting new standards for ZK performance and accessibility. irreducible.com/posts/irreduci…
- Replying to @jimpo_potamusI'm proud of Irreducible's innovations with Binius, and I hope this work has an impact. I still believe firmly in the core Binius techniques for ZKPs: transparent hash-based, multilinear IOPS over tiny binary fields.
- With BIP 157, unless you are eclipsed or the longest chain is invalid, then you are 100% safe. If eclipsed by a low hash-rate adversary, worst case is you miss some txs or download a little extra data. If you think all light clients are inherently evil, I doubt I'll convince you.
- Calling all reviewers who would like to see Core support for Neutrino-style light clients.Step 2/3 for getting neutrino into Bitcoin Core by the amazing @jimpo_potamus github.com/bitcoin/bitcoi…
