Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
43 commits
Select commit Hold shift + click to select a range
bf551be
fix(keccak): constrain keccak sponge initial state (#517)
felicityin Jun 24, 2026
a516c49
fix(boolean-garble): require first gate (#518)
felicityin Jun 25, 2026
74f6f65
fix(cpu): bind zero register source operand
felicityin Jun 25, 2026
4b99be8
fix(cpu): prevent delay-slot shard split
felicityin Jun 25, 2026
58b7b6b
fix(U256x2048Mul): range check output pointers
felicityin Jun 25, 2026
88ab67c
fix(alu): require HI write for hardware multiply
felicityin Jun 25, 2026
fdd37da
fix: validate shard chip ordering
felicityin Jun 25, 2026
979b299
fix(exec): guard invalid INS encoding
felicityin Jun 25, 2026
575debe
fix(exec): reject unsupported ecrecover curve ids
felicityin Jun 25, 2026
1e09de7
fix(exec): reject undefined EXT field encoding
felicityin Jun 25, 2026
5d56599
fix(alu): reject division by zero in DivRem AIR
felicityin Jun 25, 2026
449fd40
fix(memory): harden local memory constraints
felicityin Jun 25, 2026
426e9bf
fix(memory): range-check memory words in eval_memory_access
felicityin Jun 25, 2026
074091d
fix(global): enforce on-curve global accumulation digests
felicityin Jun 25, 2026
5744713
fix(boolean-garble): restore AND gate type encoding
felicityin Jun 26, 2026
8982648
fix(poseidon2): raise KoalaBear/α=3 partial rounds to 20
felicityin Jun 26, 2026
97fdcbd
fix(boolean-garble): add coverage and constrain empty circuits
felicityin Jun 26, 2026
d023418
fix(verifier): enforce wrap completeness checks
felicityin Jun 26, 2026
65ff97d
fix(keccak): constrain keccak sponge block flags
felicityin Jun 26, 2026
e4be02d
fix(exec): guard sysmmap alignment overflow
felicityin Jun 26, 2026
b97cdc5
fix(exec): replace executor todo branches
felicityin Jun 26, 2026
2435465
fix(exec): guard sysbrk heap growth
felicityin Jun 26, 2026
68e8155
style: cargo fmt
felicityin Jun 26, 2026
bf4bd13
fix(recursion): replace unsafe zeroed init
felicityin Jun 26, 2026
33ec840
fix(recursion): handle fixed arrays explicitly
felicityin Jun 26, 2026
4186cf9
fix(machine): harden zeroed field vec init
felicityin Jun 26, 2026
7aa6fc1
fix(go-runtime): bound deserialize reads
felicityin Jun 26, 2026
845cbd7
fix(go-runtime): bound reserved input reads
felicityin Jun 26, 2026
43185de
fix(go-runtime): koalabearNumInternalRounds = 13→20
felicityin Jul 3, 2026
fdcd09a
feat: new vks
felicityin Jul 4, 2026
03db8d6
fix: delay-slot instruction tests
felicityin Jul 4, 2026
e0f4236
fix: the failing Poseidon2 KoalaBear gnark test
felicityin Jul 4, 2026
0eeddf6
Revert "fix(poseidon2): raise KoalaBear/α=3 partial rounds to 20"
felicityin Jul 4, 2026
12605c8
Revert "fix(go-runtime): koalabearNumInternalRounds = 13→20"
felicityin Jul 4, 2026
cb07d19
Revert "fix: the failing Poseidon2 KoalaBear gnark test"
felicityin Jul 4, 2026
da259a8
fix: air costs
felicityin Jul 6, 2026
24cd38e
feat: new vks
felicityin Jul 7, 2026
2925bc3
docs: update control-flow constraint docs
felicityin Jul 8, 2026
671e4ce
refactor: remove boolean circuit garble precompile. (#520)
VanhGer Jul 9, 2026
3666c60
chore: remove redundant local memory addr range check
felicityin Jul 9, 2026
5eb0e9b
fix: air costs
felicityin Jul 9, 2026
9491de9
feat: new vks
felicityin Jul 13, 2026
ede2b7b
Merge pull request #519 from ProjectZKM/fix-issues
eigmax Jul 13, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
70 changes: 35 additions & 35 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
[workspace.package]
version = "1.2.6"
version = "1.2.7"
edition = "2021"
license = "MIT OR Apache-2.0"
rust-version = "1.80"
Expand Down
3 changes: 0 additions & 3 deletions crates/core/executor/src/air.rs
Original file line number Diff line number Diff line change
Expand Up @@ -115,8 +115,6 @@ pub enum MipsAirId {
SysLinux = 47,
/// The MovCondChip.
MovCond = 49,
// The BooleanCircuitGarble chip.
BooleanCircuitGarble = 50,
}

impl MipsAirId {
Expand Down Expand Up @@ -197,7 +195,6 @@ impl MipsAirId {
Self::Byte => "Byte",
Self::SysLinux => "SysLinux",
Self::MovCond => "MovCond",
Self::BooleanCircuitGarble => "BooleanCircuitGarble",
}
}
}
Expand Down
Loading