The prover

outis-wallet/prover proves a Starknet transaction where its private inputs are: on a phone, a desktop or in a browser. It is open source, under Apache 2.0.

It builds the transaction's OS input from RPC reads, runs the Starknet OS, and proves the run. Its proof is byte-identical to the one StarkWare's transaction prover makes for the same transaction.

Built from

• outis-wallet/proving: StarkWare's prover, with changes that cut its memory so that it fits on a phone.
• outis-wallet/sequencer: StarkWare's sequencer, for the Starknet OS.

Try it

The repository has four recorded Sepolia transactions (register, deposit, pay, withdraw), each with its reference proof. This proves the payment and compares the result with the reference:

scripts/build-native.sh
target/release/os_native_probe replay captures/pay

outis.xyz/prover does the same in the browser.