#cosmwasm #quartz #cycle

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.

7 releases (4 breaking)

0.5.1 Oct 14, 2025
0.5.0 Oct 8, 2025
0.4.0 Oct 2, 2025
0.3.1 Sep 11, 2025
0.1.0 Oct 16, 2024

#5 in #quartz

Download history 3/week @ 2025-07-20 17/week @ 2025-07-27 65/week @ 2025-08-03 93/week @ 2025-08-10 25/week @ 2025-08-17 52/week @ 2025-08-24 63/week @ 2025-08-31 361/week @ 2025-09-07 140/week @ 2025-09-14 104/week @ 2025-09-21 301/week @ 2025-09-28 282/week @ 2025-10-05 417/week @ 2025-10-12 141/week @ 2025-10-19 39/week @ 2025-10-26 28/week @ 2025-11-02

637 downloads per month
Used in 3 crates (2 directly)

Apache-2.0

42KB
749 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

~34–52MB
~832K SLoC