Search results

Biased sampling by truncation may weaken soundness security

Status: Open.

#184 In leanEthereum/leanVM;

· this-vishalsingh opened on Apr 2, 2026

Svo WHIR

Status: Open.

#164 In leanEthereum/leanVM;

· TomWambsgans opened on Mar 12, 2026

Security parameter hardcoded + no #[deny(unsafe_code)] workspace lint

Status: Open.

#159 In leanEthereum/leanVM;

· jiayaoqijia opened on Feb 28, 2026

FRI folding twiddle factor warning + naive sumcheck polynomial evaluation

Status: Open.

#157 In leanEthereum/leanVM;

· jiayaoqijia opened on Feb 28, 2026

Experiment: extension 6 of KoalaBear

Status: Open.

#113 In leanEthereum/leanVM;

· TomWambsgans opened on Dec 15, 2025

Improved stack traces

Status: Open.

#112 In leanEthereum/leanVM;

· morganthomas opened on Dec 15, 2025

Explore ways to reduce code size of match bodies

Status: Open.

#97 In leanEthereum/leanVM;

· morganthomas opened on Dec 3, 2025

Investigate why assuming boolean in WHIR recursion slows down the leanVM program

Status: Open.

#80 In leanEthereum/leanVM;

· TomWambsgans opened on Oct 23, 2025

Inline expansion loses early-return semantics when branch conditions are non-exhaustive

Status: Open.

#54 In leanEthereum/leanVM;

· adust09 opened on Sep 23, 2025