#cosmwasm #sgx #cycle #cosmos #quartz #block-height #merkle-proof

bin+lib quartz-tm-prover

CLI 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.

1 unstable release

0.1.0 Oct 16, 2024

#10 in #block-height


Used in quartz-rs

Apache-2.0

37KB
737 lines

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

Dependencies

~32–47MB
~795K SLoC