🌶️ alert Our CTO Francois Garillot will be talking about front-running aggregation at the @AggLayer Aggregation Summit. The alpha is in the details.

Being simple means Lurk is faster. 🚀 Not just faster faster. But faster to port to other backends (<5 mo. from SuperNova to Plonky3) And faster to formally verify (which we will complete when we take a break from backend innovation) youtube.com/watch?v=mQN0wT…

Why does portability matter? Simply put. Lurk will be the first polyglot zkVM In fact, we are working on the next language now. 🤫 youtube.com/watch?v=c_cz9b…

Join us at Proof Summit with François Garillot (Francois Garillot), CTO at Argument! From Libra to verifiable computing, François has driven cryptographic engineering across Aptos, Sui, Flow, and more

Andy Guzman from @PrivacyScaling will moderate the panel 'From Code to ZKP: Exploring zkDSLs' at NoirCon. Join panelists Maxim Vezenov, Albert Rubio, Florian Kluge, and Francois Garillot as they discuss: • The evolution of ZK languages and their impact on development • Core

Some insights from on the “Future of Accelerated Proving Systems" panel with Sylve (Hyli), Jens Groth (@NexusLabsHQ) and Francois Garillot (Argument): “Proof verification needs to be faster and more parallelized” “Verification of ZK proofs is an incredibly important

The NoirCon 0 lineup was unimaginable I dared not to even dream of: - andyguzman.eth 🦇🔊 from PSE - Maxim Vezenov from Noir - Francois Garillot from Lurk - ALBERT RUBIO from Circom - Florian🪶 (httpz) from o1js Noir got them doing the best zkDSL design nerd out together in the same room 🧑‍💻