Search results

feat(CodeData): typed byte-layout proof surface for CREATE2/SSTORE2 code-as-storage

Status: Open.

#2023 In lfglabs-dev/verity;

· Th0rgal opened on Jun 13, 2026

feat(Patterns): typed EIP-712 / ecrecover signature-flow pattern

enhancementNew feature or requestNew feature or request

P3: deferredBuilds on P0-P2 workBuilds on P0-P2 work

Status: Open.

#2002 In lfglabs-dev/verity;

· Th0rgal opened on Jun 12, 2026

feat(Events): broaden source-shaped emit surface (dynamic/struct event args)

enhancementNew feature or requestNew feature or request

Status: Open.

#2000 In lfglabs-dev/verity;

· Th0rgal opened on Jun 12, 2026

feat(Codegen): native Solidity panic payload emission (Panic(uint256))

enhancementNew feature or requestNew feature or request

Status: Open.

#1999 In lfglabs-dev/verity;

· Th0rgal opened on Jun 12, 2026

feat(Library): verified fixed-point ln/exp (TickLib.tickToPrice) as ordinary source + proof

enhancementNew feature or requestNew feature or request

Status: Open.

#1998 In lfglabs-dev/verity;

· Th0rgal opened on Jun 12, 2026

feat(Semantics): first-class multicall + delegatecall frame semantics (bytes[] iteration)

enhancementNew feature or requestNew feature or request

Status: Open.

#1997 In lfglabs-dev/verity;

· Th0rgal opened on Jun 12, 2026

feat(EDSL): CLZ/MSB primitive + verified bitmap iterator sugar

enhancementNew feature or requestNew feature or request

Status: Open.

#1996 In lfglabs-dev/verity;

· Th0rgal opened on Jun 12, 2026

feat(Storage): first-class transient storage for arbitrary computed slots/locks

enhancementNew feature or requestNew feature or request

Status: Open.

#1995 In lfglabs-dev/verity;

· Th0rgal opened on Jun 12, 2026

proof: generated-body execution summaries to auto-discharge discipline axioms

P2: importantBlocks specific contract categoriesBlocks specific contract categories

proofLean proof workLean proof work

Status: Open.

#1994 In lfglabs-dev/verity;

· Th0rgal opened on Jun 12, 2026

feat(Codegen,Proofs): automatic checked-arithmetic obligations (solc 0.8 overflow semantics)

enhancementNew feature or requestNew feature or request

P2: importantBlocks specific contract categoriesBlocks specific contract categories

proofLean proof workLean proof work

Status: Open.

#1993 In lfglabs-dev/verity;

· Th0rgal opened on Jun 12, 2026

feat(Codegen): true bytecode immutables (constructor-set values embedded in runtime code)

enhancementNew feature or requestNew feature or request

P2: importantBlocks specific contract categoriesBlocks specific contract categories

Status: Open.

#1992 In lfglabs-dev/verity;

· Th0rgal opened on Jun 12, 2026

Frame rule, footprint computation, and coupling invariants for the IR interpreter

Status: Open.

#1990 In lfglabs-dev/verity;

· Th0rgal opened on Jun 11, 2026