Add OpenVmHalo2Verifier (#1)

* feat: add OpenVmHalo2Verifier that will wrap a snark-verifier outputted verifier contract to expose a more user-friendly interface

* refactor: flip args

* refactor: separate the proof construction into its own function

* refactor: simplify pvs copying

* chore: update docs and cleanup

* chore: address comments

* perf: optimize pvs injection

* chore: address comments

* chore: uncomment verifier

* feat: update Halo2Verifier to use the vm config from kitchen sink benchmark

* docs: update docs

* chore: flip comment

* chore: address renamings

* chore: remove lcov.info

* chore: rename all instances of partial proof and guest pvs

Author: HrikB

.gitignore

@@ -12,3 +12,5 @@ docs/
 
 # Dotenv file
 .env
+
+.vscode

foundry.toml

@@ -2,5 +2,28 @@
 src = "src"
 out = "out"
 libs = ["lib"]
+verbosity = 2
+solc = "0.8.19"
+optimizer = true
+optimizer_runs = 100000
+evm_version = "cancun"
+show_progress = true
 
-# See more config options https://github.com/foundry-rs/foundry/blob/master/crates/config/README.md#all-options
+[profile.default.optimizer_details]
+  constantOptimizer = false
+  yul = false
+
+[fuzz]
+  runs = 1000
+
+[fmt]
+  bracket_spacing = true
+  int_types = "long"
+  line_length = 120
+  multiline_func_header = "attributes_first"
+  number_underscore = "thousands"
+  quote_style = "double"
+  single_line_statement_blocks = "single"
+  tab_width = 4
+  wrap_comments = false
+