Bolton Bailey - Pi Squared Blog

Bolton Bailey

Bolton Bailey is a Proof engineer at Pi Squared Inc. Prior to joining, he was a Ph.D. student in computer science at the University of Illinois at Urbana-Champaign.

zkVM Benchmarking Featured

Benchmarking zkVMs on Metamath Proof Checking

We evaluate the performance of zkVMs to validate mathematical proofs of on-chain transactions

Introduction to zkVMs

zkVM Benchmarking

Introduction to zkVMs

zkVMs make it easier for developers to build on-chain apps. What are they, and how do they work?