LightClient for Tendermint consensus based chains in Plonky2

Introduction

This repository contains plonky2 circuits aiming to create a single proof for the transition from some trusted block height and block hash to some future height and hash.
The proof can be created for any tendermint based chain providing a config file for it. See tendermint-lc-plonky2/src/chain_config/* for example config files different chains.

Tendermint Circuit

The circuit code is splitted into various "sub-circuits" in multiple files located here tendermint-lc-plonky2/src/circuits.
The entry point of the circuit is the tendermint.rs file.

Recursion Circuit

We create a recursive proof on top of the tendermint circuit. The recursion circuit does the proof verifiation in plonky2.
This facilitates us to aggregate multiple chains into a single proof.

Run

First, set the following fields in the circuit_builder.rs:
- chain_name, untrusted_height, trusted_height
Build the tendermint circuit: X=1 cargo run --release
Next, build its recursion circuit X=2 cargo run --release
Finally, generate both the proofs: X=3 cargo run --release
The generate build and proof files can be found in the storage directory.

Developer chat

In case you wish to contribute or collaborate, you can join our ZK builder chat at - https://t.me/+leHcoDWYoaFiZDM1