🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

JOLT is like a bomb (devastatingly fast). 🤯 Folding is like a power plant (adjustable output via step size). 🔌 Will there be a singularity?🤔 Yes.

What is the edge of ZK? I will talk about ZK, how it gives an extra degree of freedom for blockchains, intro into folding scheme, and give demos that ANYONE can try w/ Proof Party App: zkp.fun

A zkVM that only runs on massive, custom rigs? Centralizing. JOLT + folding gives you a fast zkVM that runs anywhere— from beefy servers to edge devices. That’s decentralization. +Privacy w/ HyperNova folding. Necessary and sufficient.

Recently summarized how NeutronNova improves on prior work—thought it’d be useful to share it. Whether you're working on recursive proofs, zkVMs, or just want a modern folding scheme—NeutronNova is worth watching. It achieves the best of prior work—without their downsides.🧵👇

"Succinct Verification, The Key to AI" — a 2025 riff on Rich Sutton’s legendary post, reimagined through the lens of ZKPs, zkVMs, and blockchains. 👇 blog.icme.io/succinct-verif… “An AI system can only truly create and maintain knowledge to the extent that it can verify that

🪄✨ And for our next trick, choose a code, any code! Introducing WARP 🌀, the first linear-time accumulation scheme. Brought to you by Benedikt Bünz ☕️, Alessandro Chiesa, William and myself. 📚: ia.cr/2025/753 🧑‍💻: (soon)

Excited to announce FICS and FACS! * FICS is an IOPP/PC scheme achieving the best of all-known worlds: linear-time prover (like Brakedown, Blaze), and λ loglog N proof size (like WHIR) * FACS is the first linear-time hash-based accumulation scheme paper: ia.cr/2025/737

All of these hash based accumulation schemes have high recursion overhead(1 million constraints+). It gets worse if you get rid of RS codes. Not sure what to do there…

ZK land is a bit like the current wars: direct current (DC) vs alternating current (AC). FRI is our DC - backed by early supporters and initially dominant. Folding schemes are our AC - elegant and efficient at scale. DC was Edison's baby and had early success, but Tesla's AC

Homomorphism is a mathematical super power that EC and lattice play with. Great listen on lattice 🐦‍🔥

Are you AI-snarky? You should be. AI agents will verify knowledge from each other, succinctly, using ZK. They'll be trained on private data—and not leak it. 🤐 ZKPs will bridge local + remote models with proofs, not trust. 🔐🤝🤖 Can't say too much… but the team’s cooking up

zkTLS = Web proofs zkMPC — (Model Context Protocol).. = how AI talk to each other in high-trust settings (e.g., finance, defense, research). MPC is also another thing so.. wording is tough.

Zero-Knowledge Machine Learning is Sus, But It Won’t Be for Long. In this post I explore the costs of ML for ZKP proving — how GKR, sumcheck protocol and 'sparsity' can help! Particularly in the the elliptic curve or lattice setting. Moreover some insight from our work with

First #zkSummit for me was ❤️‍🔥. Some take aways : 1. What is SoTa for zkML? Daniel Kang deep dives into the issues of verifiable ML and how to handle them. They use a folding variant Mira from Josh Beal & Ben Fisch ☕️ with lookups. Soon to be open sourced. I look forward to

Folding scheme allow for the democratizing & decentralizing of real time ETH proving. Very small memory footprint 🤏 There has been a lot of talk about specific stacks or companies winning and monopolizing the real time proving marketplace. Out of 40 companies or stacks there