Thank you for your kind words for our team Jeremy Bruestle! It’s been a pleasure to work with the RISC Zero team.

Check out this really cool work led by my brilliant student Divyanshu Saxena on novel control and data plane abstractions for service meshes! With @isildillig

For folks interested in C-to-Rust translation, we put together a benchmark suite you can evaluate on!

The FY26 budget slashes NSF by 55%, which directly threatens basic research in the United States. Please call your reps NOW and tell them to reject these cuts and protect science funding. You can find them here : congress.gov/members

It's been a real honor and privilege to be your PhD advisor Shankara Pailoor and Ben Mariano! I am truly so proud of everything you both have accomplished.

The United States has had a tremendous advantage in science and technology because it has been the consensus gathering point: the best students worldwide want to study and work in the US because that is where the best students are studying and working. 1/

Thank you Swarat Chaudhuri! I’m very honored to receive this award

We’re excited to launch LLZK, an open-source intermediate representation (IR) for zero-knowledge circuits. Think LLVM, but for ZK. Built by Veridise and supported with a grant from the Ethereum Foundation, LLZK is now live on GitHub. Thread 🧵 1/4

Static analysis is fast but often too generic for real audits. Semantic queries change that. Benjamin Sepanski, Chief Security Officer at Veridise, will show at DSS how to make static analyzers precise and project-aware.