Search results

SLH-DSA (FIPS-205) native verify is non-conformant — rejects the authoritative NIST ACVP vector

Status: Open.

#137 In icellan/runar;

· icellan opened on Jul 8, 2026

deploy()/call() sign P2PKH funding inputs with the connected contract signer — no separate funding signer; propose CallOptions.fundingSigner

Status: Open.

#134 In icellan/runar;

· E-Jacko opened on Jul 5, 2026

contract.call sweeps every wallet UTXO as a funding input — breaks covenants with bounded parent walks; propose CallOptions.maxFundingInputs

Status: Open.

#133 In icellan/runar;

· E-Jacko opened on Jul 5, 2026

computeOpPushTxWithCodeSep derives the codesep offset from constructor args — invalid OP_PUSH_TX signatures on the fromUtxo/fromTxId restore path

Status: Open.

#132 In icellan/runar;

· E-Jacko opened on Jul 5, 2026

buildCallTransaction emits all-final input sequences, so CallOptions.locktime is not consensus-enforced

Status: Open.

#131 In icellan/runar;

· E-Jacko opened on Jul 5, 2026

Emitter name-shadowing: method param named like a mutable state property makes compiled addOutput write the OLD state value (silent divergence)

Status: Open.

#130 In icellan/runar;

· E-Jacko opened on Jul 5, 2026

Differential interpreter / ScriptVM / Spend fuzz harness

Status: Open.

#124 In icellan/runar;

· E-Jacko opened on Jul 4, 2026

RFC: per-method sighash declaration — everything is pinned to SIGHASH_ALL|FORKID (0x41)

Status: Open.

#123 In icellan/runar;

· E-Jacko opened on Jul 4, 2026

Loop lowering silently miscompiles non-zero-start and countdown loops

Status: Open.

#121 In icellan/runar;

· E-Jacko opened on Jul 4, 2026

fromUtxo fills constructor args with zeros instead of parsing them from the deployed script

Status: Open.

#119 In icellan/runar;

· E-Jacko opened on Jul 4, 2026

Terminal transactions cannot pay miner fees: add CallOptions.feeUtxo

Status: Open.

#118 In icellan/runar;

· E-Jacko opened on Jul 4, 2026

Compiled stateful methods require a change output unconditionally; the SDK omits it when change = 0

Status: Open.

#116 In icellan/runar;

· E-Jacko opened on Jul 4, 2026