chore: make aggregated proof types the same as Sovereign SDK (#128)

* chore: make zk proof protos the same as Sovereign types * chore: update basecoin rev * fix: add missing From conversions * chore: update basecoin rev * docs: add a note why using identical aggregated proof type definitions
informalsystems · Apr 8, 2024 · 97d81ce · 97d81ce
1 parent 1b005f6
commit 97d81ce
Show file tree

Hide file tree

Showing 18 changed files with 392 additions and 310 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/clients/sov-celestia/src/client_state/misbehaviour.rs b/clients/sov-celestia/src/client_state/misbehaviour.rs
@@ -71,7 +71,7 @@ where
     )?;
 
     // TODO: Determine what sort of checks we need to carry out for detecting
-    // `AggregatedProofData` misbehaviour.
+    // `AggregatedProof` misbehaviour.
 
     Ok(())
 }
diff --git a/clients/sov-celestia/src/client_state/update_client.rs b/clients/sov-celestia/src/client_state/update_client.rs
@@ -39,8 +39,8 @@ where
         verifier,
     )?;
 
-    // TODO: Implement the verification of the `AggregatedProofData`.
-    // aggregated_proof_date.verify()?;
+    // TODO: Implement the verification of the `AggregatedProof`.
+    // aggregated_proof.verify()?;
 
     Ok(())
 }

diff --git a/clients/sov-celestia/types/Cargo.toml b/clients/sov-celestia/types/Cargo.toml
@@ -41,6 +41,9 @@ tendermint                       = { workspace = true }
 tendermint-proto                 = { workspace = true }
 tendermint-light-client-verifier = { workspace = true }
 
+# sovereign dependencies
+sov-rollup-interface = { workspace = true }
+
 [features]
 default = ["std"]
 std = [