Proto commits in cosmos/ics23

These 31 commits are when the Protocol Buffers files have changed:

Commit:7000936
Author:Carlos Rodriguez
Committer:GitHub

fix: guarantee that max prefix length is < min prefix length + child size (#369) * fix: guarantee that max prefix length is < min prefix length + child size * same fix for rust implementation * add test for rust * lint * Update rust/src/verify.rs * chore: rust formatting * proto: add inner op max prefix length restriction comment * test: add test for forging non existence proof * fix: test * lint * test: add unit test for new restriction * chore: update changelog --------- Co-authored-by: colin axnér <25233464+colin-axner@users.noreply.github.com>

The documentation is generated from this commit.

Commit:1363533
Author:colin axnér
Committer:GitHub

fix: apply default restrictions to max depth (#352) * fix: apply fix, uncomment test * test: add test case * fix: tests * Update testdata/TestCheckAgainstSpecData.json Co-authored-by: Carlos Rodriguez <carlos@interchain.io> * chore: regen proto with comment * chore: add changelog * Update CHANGELOG.md * rm: rust proto_descriptor bin * add back rust bin --------- Co-authored-by: Carlos Rodriguez <carlos@interchain.io>

Commit:c7c7288
Author:Farhad Shabani
Committer:GitHub

fix: clarify `HashOp::Keccak` variant to refer to Keccak-256 (#217) Co-authored-by: Carlos Rodriguez <carlos@interchain.io>

Commit:d583e12
Author:Larry
Committer:GitHub

feat: Add support for Blake2b/2s/3 hash functions (#212) * update proto files * update rust files * update go files (blake3 unimplemented) * fix a typo in readme * update js files * add tests * remove test case for keccak due to a confusion (#211) * add missing implementations for a few `LengthOp`s * implement a few missing `LengthOp`s in Go * fix Go linter warnings * fix Rust dev dependencies * add tests for new length ops implementations * chore: bump golang.org/x/crypto from 0.13.0 to 0.14.0 in /go (#206) Bumps [golang.org/x/crypto](https://github.com/golang/crypto) from 0.13.0 to 0.14.0. - [Commits](https://github.com/golang/crypto/compare/v0.13.0...v0.14.0) --- updated-dependencies: - dependency-name: golang.org/x/crypto dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> Co-authored-by: Carlos Rodriguez <carlos@interchain.io> * chore: bump bufbuild/buf-setup-action from 1.26.1 to 1.27.1 (#215) Bumps [bufbuild/buf-setup-action](https://github.com/bufbuild/buf-setup-action) from 1.26.1 to 1.27.1. - [Release notes](https://github.com/bufbuild/buf-setup-action/releases) - [Commits](https://github.com/bufbuild/buf-setup-action/compare/v1.26.1...v1.27.1) --- updated-dependencies: - dependency-name: bufbuild/buf-setup-action dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> Co-authored-by: Carlos Rodriguez <carlos@interchain.io> * chore: bump eslint from 8.50.0 to 8.52.0 in /js (#214) Bumps [eslint](https://github.com/eslint/eslint) from 8.50.0 to 8.52.0. - [Release notes](https://github.com/eslint/eslint/releases) - [Changelog](https://github.com/eslint/eslint/blob/main/CHANGELOG.md) - [Commits](https://github.com/eslint/eslint/compare/v8.50.0...v8.52.0) --- updated-dependencies: - dependency-name: eslint dependency-type: direct:development update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> Co-authored-by: Carlos Rodriguez <carlos@interchain.io> * go mod tidy * remove print statement * review comment: rename blake2b -> blake2b_512 and blake2s -> blake2s_256 * go mod tidy --------- Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: Carlos Rodriguez <carlos@interchain.io> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Commit:b5dd62e
Author:Carlos Rodriguez

review comment: rename blake2b -> blake2b_512 and blake2s -> blake2s_256

Commit:e46a354
Author:larry

update proto files

Commit:a532519
Author:Carlos Rodriguez
Committer:GitHub

cherrypick #136 (#199)

Commit:bccef22
Author:harry

Address comments

Commit:28ec1e8
Author:harry

Fix indicies in protobufs

Commit:6489ea7
Author:Harry Law

Add support for ExclusionProofs

Commit:cea74ba
Author:plaidfinch
Committer:GitHub

feat: Add `prehash_compare_key` to allow proving nonexistence in sparse trees (#136) * add prehash_compare_key prehash_compare_key indicates whether to compare the keys lexicographically according to their _hashed_ values (implied by the hash function given by prehash_key). This is required for nonexistence proofs in proof specs that use prehashing. * use keyForComparison in getNonExistProofForKey * apply keyForComparison in typescript verifyNonExistence * update smt spec to use prehash_sha256 * rename prehash_compare_key -> prehash_key_before_comparison * fix: Make it compile in no_std by removing naming of Vec * doc: Add comment describing keyForComparison/key_for_comparison * doc: Elaborate more on why prehashing before comparison * use updated smt test vectors * Avoid cloning `leaf_spec` when prehashing keys for comparison co-authored-by: @romac Co-authored-by: Romain Ruetschi <romain.ruetschi@gmail.com> * Fix missing `Eq` derive on prost build (reverting) * Revert "Fix missing `Eq` derive on prost build (reverting)" This reverts commit 69a38e8ef2c64ffd448c344cfde96b8041fb4493. * Fix fmt issue in CI, fix generated code to contain `Eq` impl * add testing for SMT proofs in js --------- Co-authored-by: Ava Howell <ava@penumbra.zone> Co-authored-by: Ava Howell <ava@avahowell.me> Co-authored-by: Romain Ruetschi <romain.ruetschi@gmail.com>

Commit:9919ce9
Author:Damian Nolan
Committer:GitHub

fix: protobuf formatting using clang-format (#129) * fix: use /go suffix in go package option * adding .clang-format for protobuf formatting Co-authored-by: Colin Axnér <25233464+colin-axner@users.noreply.github.com>

Commit:b1abd86
Author:colin axnér
Committer:GitHub

fix: use /go suffix in go package option (#127)

Commit:a21f341
Author:Marko
Committer:GitHub

add buf support to repo (#126)

Commit:61321db
Author:Jernej Kos
Committer:Jernej Kos

Add SHA-512/256 hash operation

Commit:99a321f
Author:Ethan Frey
Committer:Ethan Frey

Fix hashing algorithm and min/max depth in protobuf file

Commit:0f066a6
Author:Ethan Frey

Clean up proto format

Commit:d44bfd6
Author:Ethan Frey

Keep Key in compressed non-existence, so no data lost

Commit:624fbf0
Author:Ethan Frey
Committer:Ethan Frey

Fixed up proto package, CompressedBatch

Commit:c9d5a7c
Author:Ethan Frey

Refine Batch and CompressedBatch protobuf definitions

Commit:0d15ea3
Author:Ethan Frey

Enfoce Leftmost and Rightmost from spec

Commit:20e4bfd
Author:Ethan Frey

Start implementing Verify(Non)Memebership

Commit:5e3e450
Author:Ethan Frey

Add rough InnerSpec definition

Commit:fd4407c
Author:Ethan Frey

Add NonMemebership, Batch, CommitmentProof

Commit:48932ef
Author:Ethan Frey
Committer:Ethan Frey

Remove ProofOp and require Leaf or Inner explicitly

Commit:b44946e
Author:Ethan Frey
Committer:Ethan Frey

Add proof spec verification code

Commit:9d8aad4
Author:Ethan Frey
Committer:Ethan Frey

Define ProofSpec

Commit:fa0eaee
Author:Ethan Frey

Add ripemd160 and ripemd160(sha256(x)) hashop codes

Commit:c03ae4c
Author:Ethan Frey

Add tests for existence proof

Commit:7bb77af
Author:Ethan Frey
Committer:Ethan Frey

Compile protobuf definitions for golang

Commit:e08cff2
Author:Ethan Frey
Committer:Ethan Frey

Add initial protobuf defintion of proof operations