Atlantic Steps
L1 Proof Verification
STARK proofs can be verified on L1 (Ethereum), so that other contracts deployed on Ethereum can use FactRegistry contract to check whether given proof was verified.
Proof Verification can be only performed with Proof Generation.
How to use?
Follow instructions for Proof Generation, but select PROOF_VERIFICATION_ON_L1 as result.
After proof is verified, you can call bool isValid(bytes32 fact) function on Fact Registry contract.
You can also set mockFactHash to omit actual proof verification on-chain, reducing the cost for testing purposes.
Calculating fact hash
TODO: Add instruction for calculating fact hash given program hash and output array.
This method only works if your PIE has no
additional_params.json set.