Move Foil to its own crate.

Cargo.toml

@@ -91,7 +91,7 @@ test-log = "0.2.12"
 [workspace]
 resolver = "2"
 members = ["clutch",
- "fcomm", "lurk-macros"
+ "fcomm", "lurk-macros", "foil"
 ]
 
 # Dependencies that should be kept in sync through the whole workspace

foil/Cargo.toml

@@ -0,0 +1,26 @@
+[package]
+name = "foil"
+version = "0.1.0"
+edition = "2021"
+authors = ["porcuquine <porcuquine@gmail.com>"]
+description = "Flat Optimization Intermediate Language"
+repository = "https://github.com/lurk-lab/lurk-rs"
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+
+[dependencies]
+anyhow = { workspace = true }
+bellperson = { workspace = true }
+ff = { workspace = true }
+indexmap = { version = "1.9.3", features = ["rayon"] }
+generic-array = "0.14.7"
+lurk = { path = "../" }
+lurk-macros = { path = "../lurk-macros" }
+log = { workspace = true }
+neptune = { workspace = true, features = ["arity2","arity4","arity8","arity16","pasta","bls"] }
+once_cell = { workspace = true }
+pasta_curves = { workspace = true, features = ["repr-c", "serde"] }
+pretty_env_logger = "0.4"
+
+[dev-dependencies]
+env_logger = "*"
+test-log = "0.2.12"

src/foil/circuit.rs → foil/src/circuit.rs

@@ -5,8 +5,8 @@ use std::fmt::Debug;
 
 use bellperson::{gadgets::num::AllocatedNum, Circuit, ConstraintSystem, SynthesisError};
 
-use crate::field::LurkField;
-use crate::foil::{Id, MappedFoil, MetaData, MetaMapper};
+use crate::{Id, MappedFoil, MetaData, MetaMapper};
+use lurk::field::LurkField;
 
 pub trait Relation<F: LurkField>: Debug {
     fn synthesize<CS: ConstraintSystem<F>>(