Research
-

Existence & Mass Gap in Quantum Yang Mills Theory
It all begins with an idea. Maybe you want to launch a business. Maybe you want to turn a hobby into something more. Or maybe you have a creative project to share with the world. Whatever it is, the way you tell your story online can make all the difference.
-

Squeezing Space Into Time
It all begins with an idea. Maybe you want to launch a business. Maybe you want to turn a hobby into something more. Or maybe you have a creative project to share with the world. Whatever it is, the way you tell your story online can make all the difference.
-

Verifiable Truth at Scale: Efficient Zero-Knowledge Proofs
Zero Knowledge Proofs (ZKPs) represent the future of digital privacy and security. Generating a ZKP for a computation requires the prover to build a massive data structure representing the entire "trace" of that computation—every single step. If your computation has N steps, you need memory proportional to N (O(N) memory).
This high memory requirement centralizes the role of "provers" to entities with powerful data centers - think tech giants like Google or Meta. But what happens if computational integrity is made more accessible?
It allows us to separate the result of a computation from the need to trust the computer that performed it. We no longer need to place our trust in giant institutions. This freedom would unleash a wave of innovation in privacy, security, and system design, creating a more transparent, accountable, and user-empowered digital society.
That time is now.
-

Verifiably Correct Neural Networks
It all begins with an idea. Maybe you want to launch a business. Maybe you want to turn a hobby into something more. Or maybe you have a creative project to share with the world. Whatever it is, the way you tell your story online can make all the difference.