CEO at @VeridiseInc and PhD student at UT Austin. I specialize in building practical tools to discover security vulnerabilities in code using formal methods.
Joined April 2022
- Tweets81
- Following39
- Followers420
- Likes230
Jon Stephens retweeted
Good news!
OpenAI just published a paper that proves some new hardness properties of CVP (used in lattice cryptography). This reduces the number of potential attacks on lattice problems
Great news for Nightstream: our lattice-based zkVM!
Jon Stephens retweeted
We are hiring: Head of Business Development
If you are living and breathing blockchain, have killer instincts for partnerships and can close any deal, we'd love to hear from you!
Full details and application here: veridise.com/careers-head-of…
Jon Stephens retweeted
Just out: our guest essay for @politico on the AI Executive Order. We argue that its singling out of the risks of large foundation models is inadequate, unnecessary, and benefits a few at the cost of broader innovation. We also justify formal methods!
politico.com/newsletters/dig…
Jon Stephens retweeted
Recently, Wilson Nguyen @mercysjest, Dan Boneh @danboneh (both from Stanford University) and Srinath Setty @srinathtv (Microsoft Research) published a paper named “Revisiting the Nova Proof System on a Cycle of Curves”. 🧵 👇
Jon Stephens retweeted
Secureum RACEs are smart contract security quizzes. Participation is free & requires one-time registering at forms.gle/iL2uQvGZrDq5Uus46.
RACE-16 is designed by Secureum mentor @FormallyJon & @VeridiseInc. Top-16 performers will be invited to Veridise Workshop. Details on Discord.
Jon Stephens retweeted
(1/3) After spending a lot of time explaining common problems in zkSnarks at ETHDenver recently, we decided to write a blog post series explaining ZK circuit development in Circom:
medium.com/veridise/gentle-i…
Jon Stephens retweeted
Our CTO @FormallyJon speaking about Veridise tools for finding ZK bugs at the Delendum Future Computing Workshop! @DelendumV
Jon Stephens retweeted
(1/5) We are delighted to share that our recent research on finding underconstrained ZK circuits will appear at PLDI 2023! This was a joint effort by researchers from @VeridiseInc and @0xPARC. 🧵
Jon Stephens retweeted
Come join us in Denver! Our co-founders @IsilDillig, @FormallyJon, and @captain8299 will be giving talks at several events and participating in panels!
Jon Stephens retweeted
Old Friends Reunion #OFR meetup - Security Day is coming to #Denver! Come meet us with amazing guest speakers in OFR during @EthereumDenver
🏄♀️STAY SAFU!🏄♀️
🏫Location: Kimpton Hotel Born
📅 Mar 1, 2023
> Meetup 2 - 6pm
> Happy Hour 6 - 9pm
Register 📌lu.ma/IOSG_Old_Friends_Reuni…
Info🧵
Jon Stephens retweeted
(1/5) As promised in a previous thread about our Semaphore audit, here is a hot-off-the-press blog post about how OrCa (one of @VeridiseInc tools) could have been used to prevent two recent exploits!
veridise.medium.com/25adee67…
@PrivacyScaling @RektHQ @Cointelegraph
Jon Stephens retweeted
We would like to thank @PennBlockchain for inviting us to the ZKP panel and @MinaProtocol, @MantaNetwork, @Scroll_ZKP and @aztecnetwork on facilitating a fascinating discussion on ZK's potential and future!
Jon Stephens retweeted
Semaphore v3 is out!!! Check the blogpost to learn what's new :)
Announcing Semaphore v3 🚀
Semaphore is a ZK protocol that lets #Ethereum users prove membership of a group and send signals without revealing their original identity. Version 3.0.0 has lots of improvements to the protocol and dev experience...
mirror.xyz/privacy-scaling-e…
Jon Stephens retweeted
Are you curious to know how audits can go beyond patterns and checklists? Check out our recent blog post about violating invariants in Semaphore: medium.com/veridise/breaking… @PrivacyScaling
Jon Stephens retweeted
📢Semaphore just completed its security audit and formal verification!
We wanted to thank our friends at @VeridiseInc for the amazing work.
Expect a blog post next week with the release of v3.
You can read the full report he
github.com/semaphore-protoco…
Jon Stephens retweeted
Read my latest: “Veridise Inc Quarterly Newsletter ” getrevue.co/profile/veridise…
Jon Stephens retweeted
(1/5) A paper (Learning Contract Invariants Using Reinforcement Learning) authored by @VeridiseInc folks get accepted by @ASE_conf (top SE venue). Preprint: tinyurl.com/ajrmu7ep
Jon Stephens retweeted
Want to learn about the Cairo language for ZKPs and how to find bugs in them? Check out our new blog post: medium.com/veridise/medjai-p…
