# Telepathy X Verifier

## rotate
Release: https://alpha.succinct.xyz/succinctlabs/telepathyx/releases/8
Example proof: https://alpha.succinct.xyz/explorer/bee3b89f-682c-4a18-b070-4de55f0e1d4b
vkey: https://gist.github.com/ratankaliani/971904fca2d513c6adb41304e42a31e8
verifier: https://goerli.etherscan.io/address/0xcc89b54bBD347Edeca7862a55dfe48D2eA8257Fc#code

## step
Release: https://alpha.succinct.xyz/succinctlabs/telepathyx/releases/7
Example proof: https://alpha.succinct.xyz/explorer/be02868f-7685-4040-8ba3-c8a17f8ce721
vkey: https://gist.github.com/ratankaliani/67e1b03e55b57df6c96773d5892c1693
verifier: https://gist.github.com/ratankaliani/ac4b8e00d0b8e822930df7847ddeb29a

## Rust Verifier

Rust verifier can be found here:
https://github.com/ratankaliani/avail/blob/ratan/lc-works/pallets/succinct/src/verifier.rs#L283-L467

## Proof Requests
(12-5-23) Because of the number of artifacts for the trusted setup, currently requesting a proof on the UI is quite slow. However, you can request a proof with a limited set of artifacts on the API (i.e. only the zkey needed for proving) with the following request:

### Rotate

{
    "type": "req_bytes",
    "releaseId": "02eeff23-8fdb-4c5f-9944-a046622ec276",
    "data": {
        "input": "0xe882fe800bed07205bf2cbf17f30148b335d143a91811ff65280c221c9f57856"
    },
    "files": ["6.uma.zkey", "index.js", "package.json", "rotate", "rotate.dat", "rotate.r1cs", "rotate.sym"]
}

{
    "type": "req_bytes",
    "releaseId": "e30603ff-1233-48a9-b208-e390d1e52bfc",
    "data": {
        "input": "0x0ab2afdc05c8b6ae1f2ab20874fb4159e25d5c1d4faa41aee232d6ab331332df0000000000747ffe"
    },
    "files": ["6.john.zkey", "index.js", "package.json", "step", "step.dat", "step.r1cs", "step.sym"]
}