Search results

Macro: dynamic-member length/index/forwarding on struct-array elements (unblocks UnlinkPool body translation)

Status: Open.

#1849 In lfglabs-dev/verity;

· Th0rgal opened on May 13, 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_contract cannot call internal helpers with Array parameters

Status: Open.

#1824 In lfglabs-dev/verity;

· fricoben opened on May 6, 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

verity_contract lacks top-level nested struct storage fields

Status: Open.

#1758 In lfglabs-dev/verity;

· fricoben opened on Apr 27, 2026

verity_contract rejects function-pointer parameters

Status: Open.

#1747 In lfglabs-dev/verity;

· fricoben opened on Apr 24, 2026

Target native EVMYulLean runtime for generated Yul

Status: Open.

#1737 In lfglabs-dev/verity;

· Th0rgal opened on Apr 21, 2026

Axis 4: Storage safety — automatic EIP-7201 namespaced storage

Status: Open.

#1730 In lfglabs-dev/verity;

· Th0rgal opened on Apr 13, 2026

Axis 3: Effect system and auto-theorem generation — @[view], @[modifies], @[no_external_calls]

Status: Open.

#1729 In lfglabs-dev/verity;

· Th0rgal opened on Apr 13, 2026

Axis 2: Compile-time safety enforcement — CEI, access control, unsafe blocks

Status: Open.

#1728 In lfglabs-dev/verity;

· Th0rgal opened on Apr 13, 2026

Axis 1: Type system enrichment — newtypes, ADTs, pattern matching, Result types

Status: Open.

#1727 In lfglabs-dev/verity;

· Th0rgal opened on Apr 13, 2026