cycles-quartz/utils/tm-prover
2024-01-04 12:57:47 -08:00
..
src Fix proof gen and verify 2024-01-04 03:26:51 -08:00
Cargo.lock Write EpochKey to sealed file 2024-01-02 13:06:53 -08:00
Cargo.toml Update tm-prover to output complete proofs (light client + merkle) 2024-01-02 05:16:41 -08:00
light-client-proof.json Integrate/test with key-manger 2024-01-04 12:57:47 -08:00
README.md Include latest block in trace 2024-01-03 08:40:29 -08:00

The Tendermint light client prover

Enables stateless light client verification by generating a light client proof (AKA verification trace) for a given block height and trusted height/hash.

Usage

cargo run -- --chain-id osmosis-1 \
          --primary "http://127.0.0.1:26657" \
          --witnesses "http://127.0.0.1:26657" \
          --trusted-height 1 \
          --trusted-hash "798E237C6FDF39EDA8BA7AB8E8F5DC71F24BC7138BE31882338022F8F88086EE" \
          --contract-address "wasm14hj2tavq8fpesdwxxcu44rty3hh90vhujrvcmstl4zr3txmfvw9s0phg4d" \
          --storage-key "requests" \
          --trace-file light-client-proof.json