[easy] re-export crates being used in Kimchi

README.md

@@ -9,6 +9,19 @@ You can read more about this project on the [Kimchi book](https://o1-labs.github
 
 [See here for the rust documentation](https://o1-labs.github.io/proof-systems/rustdoc).
 
+# Kombucha
+
+This repository contains **kombucha**, the Kimchi circuit constructor for external users.
+
+## Guidelines
+
+When using this library, make sure to include in your Cargo.toml the following dependency:
+
+```toml
+[dependencies]
+circuit-construction = { git = "https://github.com/o1-labs/proof-systems" }
+```
+
 ## Example
 
 The following is an example to demonstrate a full cycle workflow using circuit-construction:

cairo/src/lib.rs

@@ -9,3 +9,9 @@ pub mod helper;
 pub mod memory;
 pub mod runner;
 pub mod word;
+
+pub use self::{
+    memory::CairoMemory,
+    runner::{CairoInstruction, CairoProgram, Pointers},
+    word::{FlagBits, Offsets},
+};

kimchi/README.md

@@ -53,3 +53,4 @@ To obtain a flamegraph:
     the [binary](src/bin/flamegraph.rs) will run forever, so you have to C-c to exit and produce the `flamegraph.svg` file.
 
 Note: lots of good advice on system performance in the [flamegraph repo](https://github.com/flamegraph-rs/flamegraph#systems-performance-work-guided-by-flamegraphs).
+

kimchi/src/lib.rs

@@ -3,6 +3,13 @@
 #[macro_use]
 extern crate num_derive;
 
+pub use cairo;
+pub use commitment_dlog;
+pub use groupmap;
+pub use mina_curves;
+pub use o1_utils;
+pub use oracle;
+
 pub mod alphas;
 pub mod bench;
 pub mod circuits;

kimchi/src/tests/turshi.rs

@@ -1,6 +1,6 @@
 use crate::circuits::gate::CircuitGate;
 use crate::circuits::polynomials::turshi::{testing::*, witness::*};
-use cairo::{memory::CairoMemory, runner::CairoProgram};
+use cairo::{CairoMemory, CairoProgram};
 use mina_curves::pasta::fp::Fp as F;
 
 #[test]