update venus to work with new cross prover interface

open-ibc · Dec 18, 2024 · 4a0a91a · 4a0a91a
1 parent b79142d
commit 4a0a91a
Show file tree

Hide file tree

Showing 26 changed files with 1,176 additions and 465 deletions.
diff --git a/bindings/go/crossl2prover/CrossL2Prover.go b/bindings/go/crossl2prover/CrossL2Prover.go
diff --git a/bindings/go/icrossl2prover/ICrossL2Prover.go b/bindings/go/icrossl2prover/ICrossL2Prover.go