Tweak an AI model's weights and the proof of what it computed starts over from zero. @chbpap shows how dynamic zk-SNARKs update the proof when the model does.

No meeting ever got faster when more people joined. Add one person and you add every conversation they are now in: six people make 15, fifty make 1200. Episode 9: why a swarm scales when every drone knows less.

A model gets retrained on a Tuesday and every proof about it has to start over. @chbpap, our chief scientist, walks through the Eurocrypt 2026 paper on proofs that update instead.

If you're at AUSA this week, here are six questions that will tell you more about any autonomy vendor than the booth demo. 1. Your convoy runs one manned leader and up to ten followers. What do the ten do when the leader is gone? 2. When one vehicle drops out, who picks up its task, and how long does that take? 3. What happens when the column gets split by an obstacle? And when it closes back up? 4. How do you know every vehicle is working from the same picture right now? 5. How does your system tell "destroyed" from "masked by terrain" on a degraded net? 6. What stops something joining the column that shouldn't be there? Ask them in order. Fifteen minutes of answers beats any demo loop. Send it to whoever is walking the floor. And ask us the same six: [email protected]

Your car says self-driving in the ads and still wants your hands on the wheel. The safety regulator says it out loud: the highest level you can buy needs your full attention. Episode 8: what autonomous actually means, and the one test that settles it.

Every trust mechanism in software comes down to one question. Who made the record. A log is made by the system, afterwards, and it says what the system decided to write. An audit is made by a person, later, out of those logs. A proof is made by the computation, while it runs. Nobody writes it. Nobody can edit it. That is the whole difference.