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.