dom (agentic/acc) 🇪🇺
@dom60808
Code vibing. Financial freedom for the lazy. Founder @build_on_bob. PhD CS @imperialcollege
Joined July 2025
477 Following 570 Followers
Going to try adding this to Pakt for some fast proofs for the agent guardrails
Introducing Magnetar from Microsoft Research, the first zkVM that is: (1) general-purpose (RV64), (2) post-quantum from standard hashes alone (no curves, no lattices, no Poseidon), and (3) built for recursion.
Despite its conservative security, it is the fastest zkVM: 7.2–8.7 MHz on a laptop, 10–39× faster than existing zkVMs across 15 workloads! An optimized version reaches 9.5–12.8 MHz.
Links in the thread below.
Show more
