dom (agentic/acc) 🇪🇺
@dom60808
Code vibing. Financial freedom for the lazy. Founder @build_on_bob. PhD CS @imperialcollege
参加 July 2025
477 フォロー中 570 ファン
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.
もっと見る
