StarkWare & Kakarot Bring ZK Proofs to Everyday Devices
StarkWare unveils Kakarot x S-two, a collaboration to bring zero-knowledge proofs to everyday devices.
starkware.co/blog
🔗
Kakarot x S-two: Bringing ZK to everyday devices
Our current proving workflow follows this process: We start with an Ethereum block number, which feeds into our ZK Prover Inputs Generator (ZK-PIG) to create the necessary proving inputs. Separately, our Keth source code gets compiled by the Cairo Zero compiler into Cairo Assembly using Stark Field f252. The computational work happens on cloud machines, where we generate execution traces of the program to prove using the block’s inputs. Finally, S-two takes the Cairo execution trace and outputs a cryptographic proof of the block execution.