Merge branch 'multilinear_v6' into tobias/cargo-prove-relase-aarch64-linux

Author: bergkvist

.github/workflows/pr_lint.yml

@@ -12,7 +12,13 @@ permissions:
 jobs:
   main:
     name: Title
-    runs-on: ubuntu-latest
+    runs-on:
+      [
+        runs-on,
+        runner=16cpu-linux-x64,
+        spot=false,
+        "run-id=${{ github.run_id }}",
+      ]
     steps:
       - uses: amannn/action-semantic-pull-request@v5
         env:

crates/core/compiler/Cargo.toml

@@ -1,6 +1,7 @@
 [package]
 name = "sp1-constraint-compiler"
-description = "TODO"
+description = "Constraint compiler for SP1 core machines"
+readme = "README.md"
 version.workspace = true
 edition.workspace = true
 license.workspace = true

crates/core/compiler/README.md

@@ -0,0 +1,9 @@
+# sp1-core-compiler
+
+Constraint compiler for SP1 core machines.
+
+Compiles the SP1 constraint system into an efficient representation for formal verification backends.
+
+---
+
+Part of [SP1](https://github.com/succinctlabs/sp1), a performant zkVM.

crates/core/executor/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "sp1-core-executor"
-description = "SP1 is a performant, 100% open-source, contributor-friendly zkVM."
+description = "RISC-V executor for SP1"
 readme = "../../../README.md"
 version = { workspace = true }
 edition = { workspace = true }

crates/core/executor/README.md

@@ -0,0 +1,9 @@
+# sp1-core-executor
+
+RISC-V executor for SP1.
+
+Executes RISC-V programs and generates execution traces for the SP1 prover, handling system calls, memory, and program state.
+
+---
+
+Part of [SP1](https://github.com/succinctlabs/sp1), a performant zkVM.

crates/core/executor/src/minimal/arch/x86_64/mod.rs

@@ -38,7 +38,7 @@ impl MinimalExecutor {
     }
 
     /// Transpile the program, saving the JIT function.
-    #[tracing::instrument(name = "MinimalExecutor::transpile", skip(program))]
+    #[tracing::instrument(name = "MinimalExecutor::transpile", level = "debug", skip(program))]
     fn transpile(program: &Program, is_debug: bool, max_trace_size: Option<u64>) -> JitFunction {
         let trace_buf_size = max_trace_size.unwrap_or(0);
 

crates/core/executor/src/splicing.rs

@@ -165,7 +165,6 @@ impl SplicingVM<'_> {
 
 impl<'a> SplicingVM<'a> {
     /// Create a new full-tracing VM from a minimal trace.
-    #[tracing::instrument(name = "SplicingVM::new", skip_all)]
     pub fn new<T: MinimalTrace>(
         trace: &'a T,
         program: Arc<Program>,

crates/core/jit/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "sp1-jit"
-description = "TODO"
+description = "JIT compilation for SP1 trace generation"
 version.workspace = true
 edition.workspace = true
 license.workspace = true

crates/core/jit/README.md

@@ -0,0 +1,9 @@
+# sp1-core-jit
+
+JIT compilation for SP1 trace generation.
+
+Provides just-in-time compilation for efficient trace generation during SP1 proving.
+
+---
+
+Part of [SP1](https://github.com/succinctlabs/sp1), a performant zkVM.

crates/core/machine/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "sp1-core-machine"
-description = "SP1 is a performant, 100% open-source, contributor-friendly zkVM."
+description = "SP1 core machine definitions"
 readme = "../../../README.md"
 version = { workspace = true }
 edition = { workspace = true }