Axiom Proof-of-Headers on Snarkify Cloud
Show-case of deploying a ZK prover service on a serverless cloud with one-click
About
The problem it 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
How it's made
Challenges we ran into * Dependencies conflicts between axiom-eth and snarkify-sdk * Nested tokio runtime between axiom-eth and snarkify-sdk