Issues

Upgrade traps 'cannot upgrade from an actor using enhanced migration' on canisters that migrated from classical persistence

#6363

· skilesare opened

on Sep 9, 2026

RFC: Target syntax for Motoko v3 — the brace discipline (north star)

#6352

· Kamirus opened

on Sep 9, 2026

RFC: Retiring the currying illusion (moc v3)

#6349

· Kamirus opened

on Sep 8, 2026

RFC: Syntax ergonomics for moc v2

#6344

· Kamirus opened

on Sep 8, 2026

from_candid: "byte read out of buffer" trap when skipping many record fields (to_candid round-trip)

#6331

· ggreif opened

on Aug 28, 2026

Interpreter/codegen divergence in Nat/Int exponentiation: exponents >= 2^32 trap on-chain (bigint_to_word32_trap) while moc -r computes them up to 2^62-1

#6309

· haoxucu opened

on Aug 16, 2026

Interpreter internal error instead of a trap: out-of-bounds Blob indexing (b[999999]) raises an uncaught OCaml exception and dumps the environment, diverging from the compiled Wasm which traps cleanly

#6308

· haoxucu opened

on Aug 16, 2026

Missing overflow check in StableMemory.grow: an attacker-supplied Nat of the form 2^64 - size + K passes the max-pages guard and silently shrinks the logical stable memory (canister brick)

#6307

· haoxucu opened

on Aug 16, 2026

Arbitrary local file read embedded into compiled Wasm via blob:file: imports or relative .. imports (no containment)

#6306

· haoxucu opened

on Aug 16, 2026

Cubic blowup in parser error recovery: 400 syntax errors take ~9.4 s, 1000+ errors stall native moc for minutes and hang the JavaScript build

#6305

· haoxucu opened

on Aug 16, 2026

Quadratic time in type checking of unbracketed sum chains (re-inference of the whole left subtree per operator), reaching ~15 s for 32k operands and crashing the JS build at ~5k operands

#6304

· haoxucu opened

on Aug 16, 2026

Quadratic time blowup in Candid .did type checking (Map.union fold over type declarations) enables DoS of compile services with a ~1 MB file

#6303

· haoxucu opened

on Aug 16, 2026

Navigation Menu

All issues

Upgrade traps 'cannot upgrade from an actor using enhanced migration' on canisters that migrated from classical persistence

RFC: Target syntax for Motoko v3 — the brace discipline (north star)

RFC: Retiring the currying illusion (moc v3)

RFC: Syntax ergonomics for moc v2

from_candid: "byte read out of buffer" trap when skipping many record fields (to_candid round-trip)

Interpreter/codegen divergence in Nat/Int exponentiation: exponents >= 2^32 trap on-chain (bigint_to_word32_trap) while moc -r computes them up to 2^62-1

Interpreter internal error instead of a trap: out-of-bounds Blob indexing (b[999999]) raises an uncaught OCaml exception and dumps the environment, diverging from the compiled Wasm which traps cleanly

Missing overflow check in StableMemory.grow: an attacker-supplied Nat of the form 2^64 - size + K passes the max-pages guard and silently shrinks the logical stable memory (canister brick)

Arbitrary local file read embedded into compiled Wasm via blob:file: imports or relative .. imports (no containment)

Cubic blowup in parser error recovery: 400 syntax errors take ~9.4 s, 1000+ errors stall native moc for minutes and hang the JavaScript build

Quadratic time in type checking of unbracketed sum chains (re-inference of the whole left subtree per operator), reaching ~15 s for 32k operands and crashing the JS build at ~5k operands

Quadratic time blowup in Candid .did type checking (Map.union fold over type declarations) enables DoS of compile services with a ~1 MB file

Search results