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.