quartz-tm-prover

Crates.ioquartz-tm-prover
lib.rsquartz-tm-prover
version0.1.0
sourcesrc
created_at2024-10-16 21:38:05.470796
updated_at2024-10-16 21:38:05.470796
descriptionCLI for generating a Merkle proof of CosmWasm state and accompanying tendermint light client proof (i.e. verification trace) for a given block height and trusted height/hash. Resulting proofs can be verified by quartz-tm-stateless-verifier.
homepagehttps://cycles.money
repositoryhttps://github.com/informalsystems/cycles-quartz
max_upload_size
id1412377
size79,313
Shoaib Ahmed (hu55a1n1)

documentation

README

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 testing \
          --primary "http://127.0.0.1:26657" \
          --witnesses "http://127.0.0.1:26657" \
          --trusted-height 1 \
          --trusted-hash "2EF0E6F9BDDF5DEAA6FCD6492C3DB26D7C62BFFC01B538A958D04376E0B67185" \
          --contract-address "wasm14hj2tavq8fpesdwxxcu44rty3hh90vhujrvcmstl4zr3txmfvw9s0phg4d" \
          --storage-key "quartz_session" \
          --trace-file light-client-proof.json
Commit count: 274

cargo fmt