Recursion is here! (risc0#984)

aifa · Oct 16, 2023 · 0619c87 · 0619c87
1 parent d557b32
commit 0619c87
Show file tree

Hide file tree

Showing 81 changed files with 154,248 additions and 805 deletions.
diff --git a/.gitattributes b/.gitattributes
@@ -0,0 +1 @@
+*.zip filter=lfs diff=lfs merge=lfs -text
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -68,6 +68,7 @@ jobs:
       - run: "git checkout -f $(git -c user.name=x -c user.email=x@x commit-tree $(git hash-object -t tree /dev/null) < /dev/null) || :"
       - uses: actions/checkout@v3
         with:
+          lfs: true
           # Recursive checkout required to build Solidity contracts and bindings.
           submodules: recursive
       - uses: ./.github/actions/rustup

diff --git a/Cargo.toml b/Cargo.toml
@@ -6,6 +6,8 @@ members = [
   "risc0/build",
   "risc0/build_kernel",
   "risc0/cargo-risczero",
+  "risc0/circuit/recursion",
+  "risc0/circuit/recursion-sys",
   "risc0/circuit/rv32im",
   "risc0/circuit/rv32im-sys",
   "risc0/core",
@@ -38,6 +40,8 @@ bonsai-sdk = { version = "0.5.0-alpha.1", default-features = false, path = "bons
 risc0-binfmt = { version = "0.19.0-alpha.1", default-features = false, path = "risc0/binfmt" }
 risc0-build = { version = "0.19.0-alpha.1", default-features = false, path = "risc0/build" }
 risc0-build-kernel = { version = "0.19.0-alpha.1", default-features = false, path = "risc0/build_kernel" }
+risc0-circuit-recursion = { version = "0.19.0-alpha.1", default-features = false, path = "risc0/circuit/recursion" }
+risc0-circuit-recursion-sys = { version = "0.19.0-alpha.1", default-features = false, path = "risc0/circuit/recursion-sys" }
 risc0-circuit-rv32im = { version = "0.19.0-alpha.1", default-features = false, path = "risc0/circuit/rv32im" }
 risc0-circuit-rv32im-sys = { version = "0.19.0-alpha.1", default-features = false, path = "risc0/circuit/rv32im-sys" }
 risc0-core = { version = "0.19.0-alpha.1", default-features = false, path = "risc0/core" }

diff --git a/bonsai/Cargo.lock b/bonsai/Cargo.lock
diff --git a/bonsai/examples/governance/Cargo.lock b/bonsai/examples/governance/Cargo.lock
diff --git a/bonsai/examples/governance/methods/guest/Cargo.lock b/bonsai/examples/governance/methods/guest/Cargo.lock
diff --git a/examples/Cargo.lock b/examples/Cargo.lock
diff --git a/examples/bevy/methods/guest/Cargo.lock b/examples/bevy/methods/guest/Cargo.lock
diff --git a/examples/chess/methods/guest/Cargo.lock b/examples/chess/methods/guest/Cargo.lock
diff --git a/examples/digital-signature/methods/guest/Cargo.lock b/examples/digital-signature/methods/guest/Cargo.lock