Accelerating the
Zero-Knowledge Revolution

Accelerating the Zero-Knowledge Revolution

Ulvetanna provides fast and cost-effective computation of zero-knowledge succinct proofs. We operate FPGA clusters tailor-made for ZKP computation at scale, purpose-built to support Layer-1 and Layer-2 blockchain protocols.

Backed by:

Private Cloud
Infrastructure

Ulvetanna’s server clusters operate in a private cloud, hosted by our datacenter partner Crusoe Energy and powered by climate-friendly energy sources. This allows us to create customized network topologies and adopt the latest and greatest in high-performance hardware. Operating outside of public cloud infrastructure providers like AWS and GCP brings necessary redundancy to the decentralized networks we support.

Powering Every Protocol

Ulvetanna’s proving stack supports the most common proof systems in use today, from SNARKs and STARKs to PlonK and Nova. The proofs are fully compatible with existing, secure verification contracts, and our hardware-accelerated proving backend is designed to plug in with the frontend library or zkDSL your application logic is written in, such as halo2, Circom, and more.

Who we are

We are a small, focused group of applied cryptographers, software and hardware engineers, data center and cloud architects, and operators from all around the world.

Meet the Team

BLOG POSTS & ANNOUNCEMENTS

Ulvetanna Team

|

May 24, 2023

Ulvetanna Team
May 24, 2023

Poseidon Merkle Trees in Hardware

We report the first fully-pipelined FPGA architecture for ZKP-friendly Merkle trees using the Poseidon hash

READ ARTICLE

Ben Diamond and Jim Posen

|

May 4, 2023

Ben Diamond and Jim Posen
May 4, 2023

Proximity Testing with Logarithmic Randomness

Our new result in error-correcting codes yields a 2x zk-SNARK speedup

READ ARTICLE

ULVETANNA TEAM

|

March 8, 2023

ULVETANNA TEAM
March 22, 2023

A Throughput-Optimized FPGA Architecture for Goldilocks NTT

In this post we present a modular, scalable, and fully-pipelined FPGA architecture for large NTT computations over the 64-bit Goldilocks finite field

READ ARTICLE

Get in touch

Need large-scale zero-knowledge proof generation?

Contact us