
1/ New post: Jolt now proves RISC-V programs with 64-bit registers (RV64IMAC), at speeds exceeding those we previously reported for 32-bit. 1.5M cycles/sec on a 32-core CPU, 500k cycles/sec on a MacBook. Here’s why this matters 🧵
Yuval Domb
2.5K posts

@yuval_domb
Interdisciplinary Engineer

1/ New post: Jolt now proves RISC-V programs with 64-bit registers (RV64IMAC), at speeds exceeding those we previously reported for 32-bit. 1.5M cycles/sec on a 32-core CPU, 500k cycles/sec on a MacBook. Here’s why this matters 🧵

כל מה שצריך לדעת על מי שהפריעו הערב בכיכר לויטקוף הוא שהם שרקו בוז לבנימין נתניהו אבל לא שרקו בוז כשהוזכר שמו של ארדואן.

Of course, anti-Israeli voices are pushing a lie that the Trump 20 point plan is the same as plans agreed to by Hamas in 2024. Not even close. The 20 point plan disarms Hamas. Erases their role in anything in the day after. Deradicalization and demilitarization of the Gaza Strip. IDF remains in security control, in the strip. @AmitSegal breaks it down in his latest "It’s Noon in Israel." "It’s Friday, October 10, and with the ceasefire taking effect, IDF soldiers are celebrating their exit from the Gaza Strip. And while the military will remain in 53 percent of the strip for now, it’s worth hammering this point home: our soldiers did not, and do not want to be in Gaza. They have shown a breathtaking willingness to defend their homeland and fight to bring the hostages home—but only because they knew they had no choice. Now, we hope, they and their families can finally return to the normalcy that they so desperately need and deserve. IDF tanks on their way out of Gaza. (Amutat Barak) As we watch footage of soldiers leaving Gaza—and celebrating doing so—I need to address a claim that’s been circulating, which goes as follows: essentially, all that happened was Donald Trump was fed up, took control, and forced the deal on Benjamin Netanyahu, and this is basically the same deal that could have been reached a year ago. While not explicitly stated, this also carries a disturbing implication, which is horrible to write: that IDF soldiers died in vain for a cause that had already been achieved. Is this true? Let’s revisit the plans that were laid out by both the current and former American administrations to see if they match up. Let’s start with the Biden plan from June, 2024, which was met with considerable enthusiasm, and was even later acknowledged as Netanyahu’s plan. In the first phase, the IDF would have pulled back to roughly its current position, with the focus then shifting to the release of humanitarian hostages—as if not all of them are “humanitarian.” After that, it transitioned to discussing the release of living hostages. In this phase, the IDF would withdraw from all of Gaza, until the last centimetre, while all the dead hostages would remain in Gaza. The bottom line: that proposal and the current deal are as different as day and night. In the current deal, all the hostages are coming home—including the dead (who can be found)—and the IDF is still in more than half of Gaza. This isn’t just about some desire to maintain an occupation or garrison force, but rather to ensure that Hamas disarms—something that wasn’t included in the Biden proposal. Now let’s move on to Steve Witkoff’s plan, which is much closer to the present and much better for Israel—but still different. Under Witkoff’s proposal, there was talk of releasing half of the dead hostages, and then a temporary ceasefire for two months of negotiations to end the war. Following that, the IDF would withdraw from more territory than it is now, and Hamas would be given a guarantee that the war would not be renewed. The problem? Once again, there was no connection between the IDF remaining in Gaza and the promise that Hamas would disarm, especially while some of the hostages are still there. That’s what’s so great about this current plan. While we’re here, I also want to touch on the issue of responsibility. Following the October 7 massacre, there was no shortage of Netanyahu supporters claiming that those to blame are the IDF chief of staff, the Shin Bet chief, the attorney general and the military advocate general—but Netanyahu has no part in it. It was a ridiculous claim then, and it’s equally ridiculous now for people to be thanking Trump, Israeli negotiator Nitzan Alon, the Qatari prime minister, and others, while claiming that Netanyahu and Ron Dermer have nothing to do with this deal. Just as Bibi played a large role in the failure on October 7, both he and Dermer deserve credit for reaching this deal. Jared Kushner, for one, recognized this, noting yesterday that both the prime minister and his confidant made great compromises and took big risks to help end the war. What should we make of Kushner’s comments? I’d like to make a suggestion. Once upon a time, when there was only one TV channel and people didn’t like the commentators, people would say: “Watch the game without the commentary.” I suggest we do the same here. Strip away the spin, the slander, the endless arguments about who deserves credit or blame. Forget the political framing for a moment. Look at what actually happened. Never before have we seen a president and prime minister like Trump and Netanyahu, and the results are visible: from the Golan Heights, to the Jerusalem embassy, to Iran, and now Gaza."







❄️ ICICLE v4 is here, and it’s our biggest release yet. ➡️ github.com/ingonyama-zk/i…

❄️ ICICLE v4 is here, and it’s our biggest release yet. ➡️ github.com/ingonyama-zk/i…

Another breakthrough in client-side ZKML!!! You can now prove large neural networks in only 2.3s on your phone! A collab with @Ingo_zk - creators of IMP1, a lightweight mobile prover - has made Bionetta, our ZKML framework, 175% faster & 10% more RAM-efficient Details 👇

🚨 Introducing IMP1 – Zero-knowledge proofs on mobile, made simple. Built with ICICLE, IMP1 is a lightweight, open-source, mobile-first proving framework for iOS and Android. ✅ Up to 3× faster than RapidSnark ✅ Powered by ICICLE-SNARK ✅ Groth16 optimized for mobile ✅ Built-in examples to get started Read the full blog: ingonyama.com/post/imp1-brin… See IMP1 in action! ⬇️⬇️⬇️




1/ Earlier this year, @yuval_domb 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.



When @zerobasezk needed faster real-time ZK proof generation at scale, they turned to ICICLE. 🥶 ZEROBASE has deployed a suite of high-performance ZK apps across mobile, edge, and web. With ICICLE, latency dropped across the board 🔥 Explore the case study here: 🔗 ingonyama.com/post/case-stud…