Standard Circom Gadget with Keccak example (#997)

* chore: ignore Jetbrain config folder

* feat(circom): CLI import with author/name

Circom circuit are now imported under a reference composed by author/name. As this format is the one used to point to Github repository, it will allow us to have a seemless workflow for local and distant Gadgets.

* feat(circom): adapt current circom implem

Adapted the current CircomCoprocessor implementation to properly handle reference instead of name only. Also adapted the circom.rs example to use them.

* feat(circom): default local and fallback remote

- With the new implementation, we first try to fetc hthe gadget locally and fallback on remote when needed.
- Introduced a version over Circom Gadgets. Useful to point to a particular remote release.
- Better error propagation
- Precise error message based on where the flow is failing

* docs(circom): README to explain behavior of Circom Coproc & Gadget

* docs(circom): added link to template gadget

* docs(circom): wip example keccak

This is WIP as there is a need to fix circom-scotia before being able to make the Keccak example work.

- Update framework -> stack in the README
- Create an example skeleton for a remote Keccak example
- Fix the circom example to use an imported Circom Gadget from the CLI

* fix(circom): fixed CI test

- Removed deleted keccak mod
- Fixed clippy warning

* fix(circom): fixed clippy in examples

* feat(circom): wip review

- Adapted circom-scotia to use main instead of dev
- Created a structure, CircomReference to qualify an identifier for CircomGadget
- Better check on CircomReference initialization

* feat(circom): wip argument from lurk

Arity is now inherited directly from the gadget, making it declarative by the gadget developer.

* feat(circom): trying out AllocatedPtr and Var

* feat(circom): wip working on evaluation values

* refactor(circom): wip making list work

* feature(circom): working keccak example

* feature(circom): only keeping one example

* refactor(circom): fix xclippy

* refactor(circom): fix wasm build

* refactor(circom): integrate review & adapt chain_car_cdr

* refactor(circom): remove unecessary todos

* refactor(circom): to bits le on alloc num

* Update src/coprocessor/circom/mod.rs

Co-authored-by: François Garillot <[email protected]>

* refactor(circom): using bellpepper utils

* fix(circom): using proper commit for lurk lib

---------

Co-authored-by: François Garillot <[email protected]>

.gitignore

@@ -7,3 +7,6 @@ Cargo.lock
 
 # Configurations for VSCode
 .vscode/
+
+# Configuration for Jetbrains
+.idea/

Cargo.toml

@@ -56,7 +56,7 @@ thiserror = { workspace = true }
 abomonation = { workspace = true }
 abomonation_derive = { version = "0.1.0", package = "abomonation_derive_ng" }
 byteorder = "1.4.3"
-circom-scotia = { git = "https://github.com/lurk-lab/circom-scotia", branch = "dev" }
+circom-scotia = { git = "https://github.com/lurk-lab/circom-scotia", branch = "main" }
 sha2 = { version = "0.10.2" }
 reqwest = { version = "0.11.18", features = ["stream", "blocking"] }
 ansi_term = "0.12.1"
@@ -95,6 +95,7 @@ criterion = "0.5"
 expect-test = "1.4.1"
 hex = "0.4.3"
 statrs = "0.16.0"
+tiny-keccak = { version = "2.0.2", features = ["keccak"] }
 tap = "1.0.1"
 tempfile = { workspace = true }