Mastering o1js on Mina: Four key strategies for secure development
Published:
For the original (and properly formatted) publication, see Veridise’s post on medium.
Blog posts
2025
Highlights from the Veridise o1js v1 audit: Three zero-knowledge security bugs explained
Published:
For the original (and properly formatted) publication, see Veridise’s post on medium.
2021
Deploying and Debugging Remotely with Intellij
Published:
In this blog post I will show you how to sync an Intellij IDEA project with a remote server (called deploying the project to a server), and how to debug remote runs of that project.
Denali: A Goal-directed Superoptimizer
Published:
This blog post was written for Dr. James Bornholt’s CS 395T: Systems Verification and Synthesis, Spring 2021. It summarizes the context and contributions of the paper Denali: A Goal-directed Superoptimizer, written by Dr. Rajeev Joshi, Dr. Greg Nelson, and Dr. Keith Randall.