feat: patch ruint U256 (#18)

* feat: patch ruint with u256 intrinsics

* chore: patch

* undo local

* chore: cargo update

---------

Co-authored-by: Ubuntu <ubuntu@ip-172-31-88-141.ec2.internal>

Author: jonathanpwang

Cargo.lock

@@ -132,6 +132,8 @@ axvm-keccak256-circuit = { git = "ssh://git@github.com/axiom-crypto/afs-prototyp
 axvm-keccak256-transpiler = { git = "ssh://git@github.com/axiom-crypto/afs-prototype.git", default-features = false }
 axvm-rv32im-circuit = { git = "ssh://git@github.com/axiom-crypto/afs-prototype.git", default-features = false }
 axvm-rv32im-transpiler = { git = "ssh://git@github.com/axiom-crypto/afs-prototype.git", default-features = false }
+axvm-bigint-circuit = { git = "ssh://git@github.com/axiom-crypto/afs-prototype.git", default-features = false }
+axvm-bigint-transpiler = { git = "ssh://git@github.com/axiom-crypto/afs-prototype.git", default-features = false }
 axvm-algebra-circuit = { git = "ssh://git@github.com/axiom-crypto/afs-prototype.git", default-features = false }
 axvm-algebra-transpiler = { git = "ssh://git@github.com/axiom-crypto/afs-prototype.git", default-features = false }
 axvm-ecc-circuit = { git = "ssh://git@github.com/axiom-crypto/afs-prototype.git", default-features = false }

Cargo.toml

@@ -15,6 +15,7 @@ axvm = { git = "ssh://git@github.com/axiom-crypto/afs-prototype.git", features =
     "std",
 ] }
 axvm-keccak256-guest = { git = "ssh://git@github.com/axiom-crypto/afs-prototype.git" }
+axvm-bigint-guest = { git = "ssh://git@github.com/axiom-crypto/afs-prototype.git", features = ["export-intrinsics"] }
 axvm-algebra-guest = { git = "ssh://git@github.com/axiom-crypto/afs-prototype.git" }
 axvm-ecc-guest = { git = "ssh://git@github.com/axiom-crypto/afs-prototype.git" }
 axvm-platform = { git = "ssh://git@github.com/axiom-crypto/afs-prototype.git" }
@@ -41,6 +42,7 @@ revm = { git = "ssh://git@github.com/axiom-crypto/revm", branch = "v43-patched"
 revm-primitives = { git = "ssh://git@github.com/axiom-crypto/revm", branch = "v43-patched" }
 revm-interpreter = { git = "ssh://git@github.com/axiom-crypto/revm", branch = "v43-patched" }
 revm-precompile = { git = "ssh://git@github.com/axiom-crypto/revm", branch = "v43-patched" }
+ruint = { git = "ssh://git@github.com/axiom-crypto/uint", branch = "v1.12.3-patched" }
 
 [profile.release]
 panic = "abort"

bin/client-eth/Cargo.lock

@@ -1,6 +1,8 @@
 use core::mem::transmute;
 
 use axvm::io::{println, read, reveal};
+#[allow(unused_imports)]
+use axvm_bigint_guest; // trigger extern u256 (this may be unneeded)
 use axvm_ecc_guest::k256::Secp256k1Coord;
 #[allow(unused_imports)]
 use axvm_keccak256_guest; // trigger extern native-keccak256

bin/client-eth/Cargo.toml

@@ -27,7 +27,9 @@ reth-primitives.workspace = true
 # axvm
 axvm-build = { workspace = true }
 axvm-transpiler = { workspace = true }
+axvm-rv32im-circuit = { workspace = true }
 axvm-algebra-circuit = { workspace = true }
+axvm-bigint-circuit = { workspace = true }
 axvm-ecc-circuit = { workspace = true }
 axvm-circuit = { workspace = true }
 axvm-native-recursion = { workspace = true, features = ["static-verifier"] }

bin/client-eth/src/main.rs

@@ -4,10 +4,12 @@ use ax_stark_sdk::{
 };
 use axvm_algebra_circuit::ModularExtension;
 use axvm_benchmarks::utils::BenchmarkCli;
+use axvm_bigint_circuit::Int256;
 use axvm_circuit::arch::{instructions::exe::AxVmExe, SystemConfig, VmConfig, VmExecutor};
 use axvm_ecc_circuit::{WeierstrassExtension, SECP256K1_CONFIG};
 use axvm_native_compiler::conversion::CompilerOptions;
 use axvm_native_recursion::halo2::utils::CacheHalo2ParamsReader;
+use axvm_rv32im_circuit::Rv32M;
 use axvm_sdk::{
     commit::commit_app_exe,
     config::{AggConfig, AggStarkConfig, AppConfig, Halo2Config, SdkVmConfig},
@@ -83,12 +85,16 @@ fn reth_vm_config(
     if collect_metrics {
         system_config.collect_metrics = true;
     }
+    let int256 = Int256::default();
+    // The builder will do this automatically, but we set it just in case.
+    let rv32m = Rv32M { range_tuple_checker_sizes: int256.range_tuple_checker_sizes };
     SdkVmConfig::builder()
         .system(system_config.into())
         .rv32i(Default::default())
-        .rv32m(Default::default())
+        .rv32m(rv32m)
         .io(Default::default())
         .keccak(Default::default())
+        .bigint(int256)
         .modular(ModularExtension::new(vec![
             SECP256K1_CONFIG.modulus.clone(),
             SECP256K1_CONFIG.scalar.clone(),

bin/host/Cargo.toml

@@ -14,5 +14,5 @@ cd ../..
 
 mkdir -p rpc-cache
 source .env
-MODE=prove # can be execute, prove, or prove-e2e
+MODE=execute # can be execute, prove, or prove-e2e
 RUSTFLAGS="-Ctarget-cpu=native" RUST_BACKTRACE=1 OUTPUT_PATH="metrics.json" cargo run --bin rsp --release -- --$MODE --block-number 18884864 --rpc-url $RPC_1 --cache-dir rpc-cache