Dual mux for 32 byte hashes. A piece of a sha256 merkle proof verifier. Inspired by this circuit
- Signature aggregation for tendermint headers, to speed up and streamline Celestia Light node sync, so it can more-easily fit into a web browser or smart phone someday.
- Witness compression for Cosmos-SDK IAVL tree state proofs, for usage in Rollkit.