Support native stdlib

examples/fixture/asm/kimchi/generic_builtin_bits.asm

@@ -5,16 +5,56 @@ DoubleGeneric<1>
 DoubleGeneric<1,0,-1,0,-1>
 DoubleGeneric<0,0,-1,1>
 DoubleGeneric<1>
+DoubleGeneric<1,0,0,0,-1>
+DoubleGeneric<1,1>
+DoubleGeneric<1,1,-1>
+DoubleGeneric<0,0,-1,1>
+DoubleGeneric<1,1>
+DoubleGeneric<1,0,-1,0,1>
+DoubleGeneric<1,-1>
+DoubleGeneric<0,0,-1,1>
+DoubleGeneric<1>
 DoubleGeneric<1,0,-1>
+DoubleGeneric<1,1>
+DoubleGeneric<1,0,-1,0,1>
+DoubleGeneric<1,0,-1>
+DoubleGeneric<1,1>
+DoubleGeneric<1,0,-1,0,1>
 DoubleGeneric<1,0,-1,0,-1>
 DoubleGeneric<0,0,-1,1>
 DoubleGeneric<1>
+DoubleGeneric<1,1>
+DoubleGeneric<1,1,-1>
+DoubleGeneric<0,0,-1,1>
+DoubleGeneric<1,1>
+DoubleGeneric<1,0,-1,0,1>
+DoubleGeneric<1,-1>
+DoubleGeneric<0,0,-1,1>
+DoubleGeneric<1>
+DoubleGeneric<1,0,-1>
+DoubleGeneric<1,1>
+DoubleGeneric<1,0,-1,0,1>
 DoubleGeneric<2,0,-1>
+DoubleGeneric<1,1>
+DoubleGeneric<1,0,-1,0,1>
 DoubleGeneric<1,1,-1>
 DoubleGeneric<1,0,-1,0,-1>
 DoubleGeneric<0,0,-1,1>
 DoubleGeneric<1>
+DoubleGeneric<1,1>
+DoubleGeneric<1,1,-1>
+DoubleGeneric<0,0,-1,1>
+DoubleGeneric<1,1>
+DoubleGeneric<1,0,-1,0,1>
+DoubleGeneric<1,-1>
+DoubleGeneric<0,0,-1,1>
+DoubleGeneric<1>
+DoubleGeneric<1,0,-1>
+DoubleGeneric<1,1>
+DoubleGeneric<1,0,-1,0,1>
 DoubleGeneric<4,0,-1>
+DoubleGeneric<1,1>
+DoubleGeneric<1,0,-1,0,1>
 DoubleGeneric<1,1,-1>
 DoubleGeneric<1,-1>
 DoubleGeneric<1,1>
@@ -25,47 +65,73 @@ DoubleGeneric<1,1>
 DoubleGeneric<1,0,-1,0,1>
 DoubleGeneric<1,0,0,0,-1>
 DoubleGeneric<1,0,-1>
+DoubleGeneric<1,1>
+DoubleGeneric<1,0,-1,0,1>
 DoubleGeneric<2,0,-1>
+DoubleGeneric<1,1>
+DoubleGeneric<1,0,-1,0,1>
 DoubleGeneric<1,1,-1>
 DoubleGeneric<4,0,-1>
+DoubleGeneric<1,1>
+DoubleGeneric<1,0,-1,0,1>
 DoubleGeneric<1,1,-1>
 DoubleGeneric<1,-1>
-DoubleGeneric<1>
-DoubleGeneric<1,0,0,0,-1>
-DoubleGeneric<1,0,-1>
-DoubleGeneric<2,0,-1>
-DoubleGeneric<1,1,-1>
-DoubleGeneric<4,0,-1>
-DoubleGeneric<1,1,-1>
-DoubleGeneric<1,-1>
-(0,0) -> (15,0) -> (28,1) -> (36,1)
-(1,0) -> (2,0) -> (4,0) -> (16,0) -> (23,0)
+DoubleGeneric<1,0,0,0,-2>
+(0,0) -> (55,1) -> (74,1) -> (75,0)
+(1,0) -> (2,0) -> (5,0)
 (1,2) -> (2,1)
 (2,2) -> (3,0)
-(4,2) -> (9,0)
-(5,0) -> (6,0) -> (8,0) -> (19,0) -> (24,0)
-(5,2) -> (6,1)
-(6,2) -> (7,0)
-(8,2) -> (9,1)
-(9,2) -> (14,0)
-(10,0) -> (11,0) -> (13,0) -> (20,0) -> (26,0)
-(10,2) -> (11,1)
+(4,0) -> (6,0) -> (23,0) -> (41,0)
+(5,1) -> (6,1)
+(6,2) -> (7,1) -> (11,1)
+(7,2) -> (10,0)
+(8,0) -> (11,0) -> (13,0) -> (14,0)
+(8,1) -> (9,0)
+(9,2) -> (10,1)
 (11,2) -> (12,0)
-(13,2) -> (14,1)
-(14,2) -> (15,1)
-(16,1) -> (17,0)
-(17,2) -> (18,0)
-(20,1) -> (21,0)
-(21,2) -> (22,0)
-(23,2) -> (25,0)
-(24,2) -> (25,1)
-(25,2) -> (27,0)
+(13,2) -> (16,0) -> (17,0) -> (56,0) -> (63,0) -> (64,0)
+(14,1) -> (15,0)
+(16,2) -> (36,0)
+(17,1) -> (18,0)
+(19,0) -> (20,0) -> (22,0)
+(19,2) -> (20,1)
+(20,2) -> (21,0)
+(22,1) -> (23,1)
+(23,2) -> (24,1) -> (28,1)
+(24,2) -> (27,0)
+(25,0) -> (28,0) -> (30,0) -> (31,0)
+(25,1) -> (26,0)
 (26,2) -> (27,1)
-(27,2) -> (28,0)
-(29,0) -> (31,0) -> (34,0)
-(30,0) -> (32,0)
-(31,2) -> (33,0)
-(32,2) -> (33,1)
-(33,2) -> (35,0)
-(34,2) -> (35,1)
-(35,2) -> (36,0)
+(28,2) -> (29,0)
+(30,2) -> (33,0) -> (34,0) -> (59,0) -> (66,0) -> (67,0)
+(31,1) -> (32,0)
+(33,2) -> (36,1)
+(34,1) -> (35,0)
+(36,2) -> (54,0)
+(37,0) -> (38,0) -> (40,0)
+(37,2) -> (38,1)
+(38,2) -> (39,0)
+(40,1) -> (41,1)
+(41,2) -> (42,1) -> (46,1)
+(42,2) -> (45,0)
+(43,0) -> (46,0) -> (48,0) -> (49,0)
+(43,1) -> (44,0)
+(44,2) -> (45,1)
+(46,2) -> (47,0)
+(48,2) -> (51,0) -> (52,0) -> (60,0) -> (70,0) -> (71,0)
+(49,1) -> (50,0)
+(51,2) -> (54,1)
+(52,1) -> (53,0)
+(54,2) -> (55,0)
+(56,1) -> (57,0)
+(57,2) -> (58,0)
+(60,1) -> (61,0)
+(61,2) -> (62,0)
+(63,2) -> (69,0)
+(64,1) -> (65,0)
+(66,2) -> (69,1)
+(67,1) -> (68,0)
+(69,2) -> (73,0)
+(70,2) -> (73,1)
+(71,1) -> (72,0)
+(73,2) -> (74,0)

examples/fixture/asm/r1cs/generic_builtin_bits.asm

@@ -3,16 +3,28 @@
 
 v_3 == (v_2) * (v_2 + -1)
 0 == (v_3) * (1)
-v_5 == (v_4) * (v_4 + -1)
-0 == (v_5) * (1)
-v_7 == (v_6) * (v_6 + -1)
-0 == (v_7) * (1)
-v_2 + 2 * v_4 + 4 * v_6 == (v_1) * (1)
-1 == (-1 * v_2 + 1) * (1)
 1 == (v_4) * (1)
-1 == (-1 * v_6 + 1) * (1)
-v_1 == (v_2 + 2 * v_4 + 4 * v_6) * (1)
+v_6 == (v_5) * (-1 * v_2 + v_4)
+-1 * v_7 + 1 == (v_6) * (1)
+v_8 == (v_7) * (-1 * v_2 + v_4)
 0 == (v_8) * (1)
-1 == (v_9) * (1)
+v_10 == (v_9) * (v_9 + -1)
 0 == (v_10) * (1)
-v_1 == (v_8 + 2 * v_9 + 4 * v_10) * (1)
+1 == (v_11) * (1)
+v_13 == (v_12) * (-1 * v_9 + v_11)
+-1 * v_14 + 1 == (v_13) * (1)
+v_15 == (v_14) * (-1 * v_9 + v_11)
+0 == (v_15) * (1)
+v_17 == (v_16) * (v_16 + -1)
+0 == (v_17) * (1)
+1 == (v_18) * (1)
+v_20 == (v_19) * (-1 * v_16 + v_18)
+-1 * v_21 + 1 == (v_20) * (1)
+v_22 == (v_21) * (-1 * v_16 + v_18)
+0 == (v_22) * (1)
+v_1 == (v_7 + 2 * v_14 + 4 * v_21) * (1)
+1 == (-1 * v_7 + 1) * (1)
+1 == (v_14) * (1)
+1 == (-1 * v_21 + 1) * (1)
+v_1 == (v_7 + 2 * v_14 + 4 * v_21) * (1)
+2 == (v_1) * (1)

examples/generic_builtin_bits.no

@@ -1,8 +1,7 @@
 use std::bits;
 
-// 010 = xx, where xx = 2
 fn main(pub xx: Field) {
-    // var
+    // calculate on a cell var
     let bits = bits::to_bits(3, xx);
     assert(!bits[0]);
     assert(bits[1]);
@@ -11,7 +10,7 @@ fn main(pub xx: Field) {
     let val = bits::from_bits(bits);
     assert_eq(val, xx);
 
-    // constant
+    // calculate on a constant
     let cst_bits = bits::to_bits(3, 2);
     assert(!cst_bits[0]);
     assert(cst_bits[1]);

src/circuit_writer/writer.rs

@@ -379,6 +379,7 @@ impl<B: Backend> CircuitWriter<B> {
                 module,
                 fn_name,
                 args,
+                ..
             } => {
                 // sanity check
                 if fn_name.value == "main" {

src/cli/cmd_build_and_check.rs

@@ -11,14 +11,16 @@ use crate::{
         r1cs::{snarkjs::SnarkjsExporter, R1CS},
         Backend, BackendField, BackendKind,
     },
-    cli::packages::path_to_package,
+    cli::packages::{path_to_package, path_to_stdlib},
     compiler::{compile, generate_witness, typecheck_next_file, Sources},
     inputs::{parse_inputs, JsonInputs},
+    stdlib::init_stdlib_dep,
     type_checker::TypeChecker,
 };
 
 use super::packages::{
-    get_deps_of_package, is_lib, validate_package_and_get_manifest, DependencyGraph, UserRepo,
+    download_stdlib, get_deps_of_package, is_lib, validate_package_and_get_manifest,
+    DependencyGraph, UserRepo,
 };
 
 const COMPILED_DIR: &str = "compiled";
@@ -137,6 +139,26 @@ pub fn cmd_check(args: CmdCheck) -> miette::Result<()> {
     Ok(())
 }
 
+fn add_stdlib<B: Backend>(
+    sources: &mut Sources,
+    tast: &mut TypeChecker<B>,
+    node_id: usize,
+) -> miette::Result<usize> {
+    let mut node_id = node_id;
+
+    // check if the release folder exists, otherwise download the latest release
+    // todo: check the latest version and compare it with the current version, to decide if download is needed
+    let stdlib_dir = path_to_stdlib();
+
+    if !stdlib_dir.exists() {
+        download_stdlib()?;
+    }
+
+    node_id = init_stdlib_dep(sources, tast, node_id, stdlib_dir.as_ref());
+
+    Ok(node_id)
+}
+
 fn produce_all_asts<B: Backend>(path: &PathBuf) -> miette::Result<(Sources, TypeChecker<B>)> {
     // find manifest
     let manifest = validate_package_and_get_manifest(&path, false)?;
@@ -161,6 +183,9 @@ fn produce_all_asts<B: Backend>(path: &PathBuf) -> miette::Result<(Sources, Type
 
     let mut tast = TypeChecker::new();
 
+    // adding stdlib
+    add_stdlib(&mut sources, &mut tast, node_id)?;
+
     for dep in dep_graph.from_leaves_to_roots() {
         let path = path_to_package(&dep);
 

src/cli/mod.rs

@@ -15,3 +15,6 @@ pub const NONAME_DIRECTORY: &str = ".noname";
 
 /// The directory under [NONAME_DIRECTORY] containing all package-related files.
 pub const PACKAGE_DIRECTORY: &str = "packages";
+
+/// The directory under [NONAME_DIRECTORY] containing all the latest noname release.
+pub const RELEASE_DIRECTORY: &str = "release";

src/cli/packages.rs

@@ -9,7 +9,7 @@ use serde::{Deserialize, Serialize};
 
 use super::{
     manifest::{read_manifest, Manifest},
-    NONAME_DIRECTORY, PACKAGE_DIRECTORY,
+    NONAME_DIRECTORY, PACKAGE_DIRECTORY, RELEASE_DIRECTORY,
 };
 
 /// A dependency is a Github `user/repo` pair.
@@ -241,6 +241,16 @@ pub(crate) fn path_to_package(dep: &UserRepo) -> PathBuf {
     package_dir.join(&dep.user).join(&dep.repo)
 }
 
+pub(crate) fn path_to_stdlib() -> PathBuf {
+    let home_dir: PathBuf = dirs::home_dir()
+        .expect("could not find home directory of current user")
+        .try_into()
+        .expect("invalid UTF8 path");
+    let noname_dir = home_dir.join(NONAME_DIRECTORY);
+
+    noname_dir.join(RELEASE_DIRECTORY).join("src/stdlib/native")
+}
+
 /// download package from github
 pub fn download_from_github(dep: &UserRepo) -> Result<()> {
     let url = format!(
@@ -264,6 +274,44 @@ pub fn download_from_github(dep: &UserRepo) -> Result<()> {
     Ok(())
 }
 
+pub fn download_stdlib() -> Result<()> {
+    // Hardcoded repository details and target branch
+    let repo_owner = "katat";
+    let repo_name = "noname";
+    let target_branch = "release";
+    let repo_url = format!(
+        "https://github.com/{owner}/{repo}.git",
+        owner = repo_owner,
+        repo = repo_name
+    );
+
+    let home_dir: PathBuf = dirs::home_dir()
+        .expect("could not find home directory of current user")
+        .try_into()
+        .expect("invalid UTF8 path");
+    let noname_dir = home_dir.join(NONAME_DIRECTORY);
+    let release_dir = noname_dir.join("release");
+
+    // Clone the repository and checkout the specified branch to the temporary directory
+    let output = process::Command::new("git")
+        .arg("clone")
+        .arg("--branch")
+        .arg(target_branch)
+        .arg("--single-branch")
+        .arg(repo_url)
+        .arg(release_dir)
+        .output()
+        .expect("failed to execute git clone command");
+
+    if !output.status.success() {
+        miette::bail!(format!(
+            "Could not clone branch `{target_branch}` of repository `{repo_owner}/{repo_name}`."
+        ));
+    }
+
+    Ok(())
+}
+
 pub fn is_lib(path: &PathBuf) -> bool {
     path.join("src").join("lib.no").exists()
 }