Search results

feat(Intrinsics): multi-arg verity_intrinsic extension

enhancementNew feature or requestNew feature or request

Status: Open.

#1977 In lfglabs-dev/verity;

· Th0rgal opened on Jun 8, 2026

feat(Storage): bitfield-packed struct storage in mappings

enhancementNew feature or requestNew feature or request

Status: Open.

#1976 In lfglabs-dev/verity;

· Th0rgal opened on Jun 8, 2026

feat(Macro,Codegen): struct-array calldata decoding (e.g. PackedUserOperation[])

enhancementNew feature or requestNew feature or request

Status: Open.

#1975 In lfglabs-dev/verity;

· Th0rgal opened on Jun 8, 2026

feat(Macro): revertError ErrName(arg1, arg2, ...) with non-literal args

enhancementNew feature or requestNew feature or request

Status: Open.

#1974 In lfglabs-dev/verity;

· Th0rgal opened on Jun 8, 2026

feat(Macro): compile-time keccak256 over string literals

enhancementNew feature or requestNew feature or request

Status: Open.

#1973 In lfglabs-dev/verity;

· Th0rgal opened on Jun 8, 2026

Proofs: emit explicit obligations for ECM and typed-interface boundaries

auditAudit findingsAudit findings

enhancementNew feature or requestNew feature or request

P2: importantBlocks specific contract categoriesBlocks specific contract categories

proofLean proof workLean proof work

Status: Open.

#1968 In lfglabs-dev/verity;

· Th0rgal opened on Jun 7, 2026

CodeData: add typed source-level store/read/id API

auditAudit findingsAudit findings

enhancementNew feature or requestNew feature or request

P1: core languageBlocks writing common contractsBlocks writing common contracts

Status: Open.

#1967 In lfglabs-dev/verity;

· Th0rgal opened on Jun 7, 2026

Storage: generate layout certificates and non-alias lemmas

auditAudit findingsAudit findings

enhancementNew feature or requestNew feature or request

P1: core languageBlocks writing common contractsBlocks writing common contracts

proofLean proof workLean proof work

Status: Open.

#1966 In lfglabs-dev/verity;

· Th0rgal opened on Jun 7, 2026

Runtime: reusable SafeERC20 optional-return semantics

auditAudit findingsAudit findings

enhancementNew feature or requestNew feature or request

P2: importantBlocks specific contract categoriesBlocks specific contract categories

Status: Open.

#1965 In lfglabs-dev/verity;

· Th0rgal opened on Jun 7, 2026

Semantics: model stateful external contract interactions

enhancementNew feature or requestNew feature or request

P2: importantBlocks specific contract categoriesBlocks specific contract categories

proofLean proof workLean proof work

Status: Open.

#1963 In lfglabs-dev/verity;

· Th0rgal opened on Jun 7, 2026

Oracle: back typed interfaces with oracle summaries

enhancementNew feature or requestNew feature or request

P2: importantBlocks specific contract categoriesBlocks specific contract categories

proofLean proof workLean proof work

Status: Open.

#1964 In lfglabs-dev/verity;

· Th0rgal opened on Jun 7, 2026

ABI: typed interface calls must support or reject dynamic/composite parameters

auditAudit findingsAudit findings

bugSomething isn't workingSomething isn't working

P1: core languageBlocks writing common contractsBlocks writing common contracts

Status: Open.

#1962 In lfglabs-dev/verity;

· Th0rgal opened on Jun 7, 2026