Search results

Add full-precision mulDiv512 for Solidity Math.mulDiv semantics

Status: Open.

#1761 In lfglabs-dev/verity;

· fricoben opened on Apr 28, 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

add / sub / mul on Uint256 wrap — Solidity 0.8 semantics require explicit safeAdd

Status: Open.

#1752 In lfglabs-dev/verity;

· fricoben opened on Apr 24, 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

Language design improvements: fix Solidity's systemic flaws, inspired by Rust/Cairo/Move

Status: Open.

#1726 In lfglabs-dev/verity;

· Th0rgal opened on Apr 13, 2026

Solidity feature parity: close the gap between verity_contract EDSL and production Solidity

Status: Open.

#1724 In lfglabs-dev/verity;

· Th0rgal opened on Apr 12, 2026