Skip to content
Axiom Proof-of-Headers on Snarkify Cloud

Axiom Proof-of-Headers on Snarkify Cloud

Show-case of deploying a ZK prover service on a serverless cloud with one-click

Built at ZK Hack Istanbul

Created on 12th November 2023

•

Axiom Proof-of-Headers on Snarkify Cloud

Axiom Proof-of-Headers on Snarkify Cloud

Show-case of deploying a ZK prover service on a serverless cloud with one-click

Project image 1
Project image 2
Project image 3
Project image 4
Project image 5
Project image 6

The problem Axiom Proof-of-Headers on Snarkify Cloud solves

  • Production ZK Prover deployment can be complex and time-consuming
  • Developers need to consider performance, reliability, scalablity, cost, and devops
  • Snarkify Cloud is engineered to shoulder the challenges, shifting developers’ focus to innovation

This project is a showcase of how we could deploy prover services for ANY ZK circuits directly from Github to a serverless cloud.

Deck
https://www.dropbox.com/scl/fi/99z22non6b4cmxhtp90l1/snarkify-cloud-and-axiom-eth-zk-hack-Istanbul.pdf?rlkey=0rxfqjg6ejscwhs7iy74uhk50&dl=0

Challenges we ran into

  • Dependencies conflicts between axiom-eth and snarkify-sdk
  • Nested tokio runtime between axiom-eth and snarkify-sdk

Tracks Applied (2)

O(1)Labs - Open Track

Snarkify Cloud allows computing delegation from o1js with zk proofs. Developers can delegate proof generation and proof ...Read More

O(1)Labs

Chewing Glass

We enabled a beta production-level demo by integrating existing open-source zk circuits with a new cloud platform soft-l...Read More

Technologies used

Cloud

serverless

axiom

Halo2

snarkify

Discussion

Builders also viewed

See more projects on Devfolio