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.
๋ ๋ณด๊ธฐ
