CertiK Completes Formal Verification of zkWasm, Mathematically Proving the zkVM Sound

Researchers who catalogued 141 security flaws in zero-knowledge proof systems between 2018 and 2024 found 99 of them in the circuits, the sets of mathematical constraints that decide whether a proof is accepted. Almost nine in ten of the 141 broke soundness, the guarantee that a prover cannot convince a verifier of something false, according … Read more

Using Jev in Production

At work I have been playing with Jev by TypeSafe AI a lot, and the reason it got popular is pretty straightforward: it opened up a class of possibilities where you get an intelligent, LLM-like model that doesn’t take forever, so you can use it as a quick classifier for actions — typed choices, scores, or yes/no probabilities that … Read more

Investors Fire. Owners Hire.

By Chris Gale The conversation around artificial intelligence has been dominated by a familiar image, a boardroom, a new AI initiative and a round of layoffs. Month after month brings another headline about workforce reductions at a large technology company or consultancy. The conclusion is usually presented as self-evident. AI is here, people are being … Read more