Step 1: The public ledger computes over galactically large numbers. Such integers are the raw materials of cryptography. Our secrets are hidden among them. Use Y and T to obtain a challenge from the verifier contract using challengeProver(Y, T). Click the button below to call the contract and set the challenge. The challenge will appear below along with a new button called "Step 2: Prove Knowledge." (Try not to refresh the website during this process, or you'll have to start the challenge over again.)

Public key Y:

Commitment T:

Send Commitment retrieving challenge...

Step 2: Prove Knowledge

Step 2: You are now ready to commit the proof on chain. Please click the button below to call the contract's verifyStore(Y,T,s) function to prove knowledge. The function expects three parameters: Y, T, and s. The visual encoding should then update on chain. When the transaction is confirmed, a link to OnChainChecker will appear that will show the updated piece and an analysis of its on-chain status.

Public key Y:

Commitment T:

Response s:

Challenge c:

Write Proof on Chain sending proof... Proof complete. click here to view the updated piece.

State of onchain visual encoding: