feat: honk verifier

Maddiaa0 · Apr 1, 2024 · beb59da · beb59da
1 parent 4c08a9f
commit beb59da
Show file tree

Hide file tree

Showing 17 changed files with 2,223 additions and 38 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,9 @@
 [submodule "lib/forge-std"]
 	path = lib/forge-std
 	url = https://github.com/foundry-rs/forge-std
+[submodule "barretenberg/sol/lib/openzeppelin-contracts"]
+	path = lib/openzeppelin-contracts
+	url = https://github.com/OpenZeppelin/openzeppelin-contracts
+[submodule "lib/openzeppelin-contracts"]
+	path = lib/openzeppelin-contracts
+	url = https://github.com/OpenZeppelin/openzeppelin-contracts
diff --git a/lib/openzeppelin-contracts b/lib/openzeppelin-contracts
diff --git a/lib/solidity-stringutils b/lib/solidity-stringutils
diff --git a/remappings.txt b/remappings.txt
@@ -0,0 +1 @@
+@openzeppelin/=lib/openzeppelin-contracts/
diff --git a/src/Counter.sol b/src/Counter.sol
diff --git a/src/interfaces/IVerifier.sol b/src/interfaces/IVerifier.sol
@@ -0,0 +1,5 @@
+pragma solidity >=0.8.21;
+
+interface IVerifier {
+    function verify(bytes calldata _proof, bytes32[] calldata _publicInputs) external view returns (bool);
+}