feat: add ecdsa/bn254 cert verifiers

.gitignore

@@ -14,3 +14,5 @@ node_modules/
 
 
 *.DS_Store
+
+pkg/bindings/

.gitmodules

@@ -11,3 +11,6 @@
 [submodule "lib/openzeppelin-contracts-upgradeable"]
 	path = lib/openzeppelin-contracts-upgradeable
 	url = https://github.com/Openzeppelin/openzeppelin-contracts-upgradeable
+[submodule "lib/murky"]
+	path = lib/murky
+	url = https://github.com/dmfxyz/murky

Makefile

@@ -1,2 +1,8 @@
 storage-report:
-	bash ".github/bin/storage-report.sh" "docs/storage-report/"
+	bash ".github/bin/storage-report.sh" "docs/storage-report/"
+
+compile:
+	forge build
+
+bindings: compile
+	./bin/generate-bindings.sh

bin/generate-bindings.sh

@@ -0,0 +1,40 @@
+#!/bin/bash
+
+BINDING_DIR=./pkg/bindings
+JSON_DIR=./out
+
+function create_binding {
+    contract_name=$1
+
+    mkdir -p $BINDING_DIR/${contract_name}
+
+    contract_json_path="${JSON_DIR}/${contract_name}.sol/${contract_name}.json"
+
+    binding_out_dir="${BINDING_DIR}/${contract_name}"
+    mkdir -p $binding_out_dir || true
+
+    cat $contract_json_path | jq -r '.abi' > $binding_out_dir/tmp.abi
+    cat $contract_json_path | jq -r '.bytecode.object' > $binding_out_dir/tmp.bin
+
+    abigen \
+        --bin=$binding_out_dir/tmp.bin \
+        --abi=$binding_out_dir/tmp.abi \
+        --pkg="${contract_name}" \
+        --out=$BINDING_DIR/$contract_name/binding.go \
+        > /dev/null 2>&1
+
+    if [[ $? == "1" ]];
+    then
+        echo "Failed to generate binding for $contract_json_path"
+    fi
+    rm $binding_out_dir/tmp.abi
+    rm $binding_out_dir/tmp.bin
+}
+
+contracts=$(find src -type f -name "*.sol" )
+IFS=$'\n'
+
+for contract_name in $contracts; do
+	contract_name=$(basename $contract_name .sol)
+	create_binding $contract_name
+done

foundry.toml

@@ -21,8 +21,9 @@
         "@openzeppelin/=lib/openzeppelin-contracts/",
         "@openzeppelin-upgrades/=lib/openzeppelin-contracts-upgradeable/",
         "eigenlayer-contracts/=lib/eigenlayer-contracts/",
-
+        "murky/=lib/murky/src/"
     ]
+
     # Specifies the exact version of Solidity to use, overriding auto-detection.
     solc_version = '0.8.27'
     # If enabled, treats Solidity compiler warnings as errors, preventing artifact generation if warnings are present.