Search results

Storage: emit reviewable storage layout artifacts

Status: Open.

#1897 In lfglabs-dev/verity;

· Th0rgal opened on May 16, 2026

Storage: add automatic default EIP-7201 namespace policy

Status: Open.

#1896 In lfglabs-dev/verity;

· Th0rgal opened on May 16, 2026

Effects: strengthen generated annotations into execution frame theorems

Status: Open.

#1895 In lfglabs-dev/verity;

· Th0rgal opened on May 16, 2026

Safety: enrich role declarations and generated access-control theorems

Status: Open.

#1894 In lfglabs-dev/verity;

· Th0rgal opened on May 16, 2026

Safety: implement real nonreentrant guard semantics

Status: Open.

#1893 In lfglabs-dev/verity;

· Th0rgal opened on May 16, 2026

Safety: give cei_safe a proof-backed execution theorem

Status: Open.

#1892 In lfglabs-dev/verity;

· Th0rgal opened on May 16, 2026

Type system: add first-class Call.Result values

Status: Open.

#1891 In lfglabs-dev/verity;

· Th0rgal opened on May 16, 2026

Proofs: model checkpoint-aware native switch-tail semantics

Status: Open.

#1890 In lfglabs-dev/verity;

· Th0rgal opened on May 16, 2026

Support lowered dynamic/composite params across internal helper calls

Status: Open.

#1889 In lfglabs-dev/verity;

· Th0rgal opened on May 16, 2026

Allow multiple storage_namespace blocks in one verity_contract

Status: Open.

#1838 In lfglabs-dev/verity;

· Th0rgal opened on May 12, 2026

verification: selfBalance escapes strict trust reporting despite documented proof/runtime bridge gap

help-wantedExtra attention is neededExtra attention is needed

leanLean 4 codeLean 4 code

Status: Open.

#1836 In lfglabs-dev/verity;

· doomhammerhell opened on May 12, 2026

Verity feature parity for Unlink (privacy pool + atomic-DeFi adapter)

enhancementNew feature or requestNew feature or request

P1: core languageBlocks writing common contractsBlocks writing common contracts

Status: Open.

#1760 In lfglabs-dev/verity;

· Th0rgal opened on Apr 28, 2026