Remove Middleware from Core (#260)

* remove middleware from core * remove go files from ffi * use stub * delete Prover rules for `BLSRegistryCoordinatorWithIndices` (#261) these are getting migrated to a separate repo * add weird fix * move stub to mocks * remove additional interfaces from imports * port over alexs interface change * add back whitelister * add back script per PR comment --------- Co-authored-by: steven <[email protected]> Co-authored-by: ChaoticWalrus <[email protected]>
Layr-Labs · Oct 24, 2023 · 62ba4b5 · 62ba4b5
1 parent df04234
commit 62ba4b5
Show file tree

Hide file tree

Showing 52 changed files with 1,452 additions and 9,674 deletions.
diff --git a/certora/harnesses/BLSRegistryCoordinatorWithIndicesHarness.sol b/certora/harnesses/BLSRegistryCoordinatorWithIndicesHarness.sol
diff --git a/certora/scripts/middleware/verifyBLSRegistryCoordinatorWithIndices.sh b/certora/scripts/middleware/verifyBLSRegistryCoordinatorWithIndices.sh
diff --git a/certora/specs/middleware/BLSRegistryCoordinatorWithIndices.spec b/certora/specs/middleware/BLSRegistryCoordinatorWithIndices.spec
diff --git a/go.mod b/go.mod
diff --git a/go.sum b/go.sum