ProjectZKM · eigmax · Jun 7, 2026 · Mar 22, 2026 · Mar 22, 2026 · Mar 30, 2026
diff --git a/.gitignore b/.gitignore
@@ -8,6 +8,7 @@ bins
 *.s
 *.txt
 *.codex
+picus_out
 
 # Proofs
 **/proof-with-pis.bin

diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,5 +1,5 @@
 [workspace.package]
-version = "1.2.5"
+version = "1.2.6"
 edition = "2021"
 license = "MIT OR Apache-2.0"
 rust-version = "1.80"

diff --git a/crates/core/executor/src/artifacts/mips_costs.json b/crates/core/executor/src/artifacts/mips_costs.json
@@ -4,23 +4,23 @@
   "CloClz": 41,
   "Bls12831Fp2AddSubAssign": 2070,
   "SyscallInstrs": 97,
-  "DivRem": 162,
+  "DivRem": 170,
   "ShiftRight": 131,
   "Secp256r1Decompress": 2686,
   "Secp256k1Decompress": 2686,
-  "KeccakSponge": 102216,
+  "KeccakSponge": 112104,
   "Bn254AddAssign": 4013,
   "Bitwise": 42,
   "ShiftLeft": 68,
   "MemoryLocal": 100,
   "Program": 31,
   "Global": 115,
   "Secp256k1AddAssign": 4013,
-  "BooleanCircuitGarble": 588,
+  "BooleanCircuitGarble": 456,
   "AddSub": 47,
   "Jump": 82,
   "Bn254FpOpAssign": 704,
-  "Poseidon2Permute": 1117,
+  "Poseidon2Permute": 1245,
   "Mul": 110,
   "ShaExtend": 15936,
   "Bls12381AddAssign": 6045,

diff --git a/crates/core/machine/Cargo.toml b/crates/core/machine/Cargo.toml
@@ -81,6 +81,7 @@ glob = { version = "0.3.1", optional = true }
 
 [features]
 default = []
+picus = ["zkm-stark/picus"]
 debug = []
 bigint-rug = ["zkm-curves/bigint-rug", "zkm-core-executor/bigint-rug"]
 pre-alloc = ["zkm-core-executor/pre-alloc"]
-Original file line number
+Diff line change
@@ Expand Up / @@ -8,6 +8,7 @@ bins @@
     *.s
     *.txt
     *.codex
+    picus_out
     # Proofs
     **/proof-with-pis.bin
@@ Expand Down @@