Consider moving all logUp outer check logic to MASM
April 21, 2026 · #3033
Rust
Difficulty: Medium
Labels
air recursive verifier
Parent Repository
0xMiden/miden-vm
Rust repository
735 287
Labels
0xMiden/miden-vm
Rust repository
Sign in required
Authenticate to use favourites & bookmarks