lfglabs-dev/ethereum-verification-benchmark

Benchmark for Verity-based smart contract verification research

Stars: 3
Forks: 0
Open beginner issues: 0
Indexed issues: 2
Avg merge: 21h 6m
Merged PRs (30d): 7

Dominant language: Lean
License: No license data
Last GitHub push: Sep 11, 2026
Latest indexed: Sep 18, 2026
Contributing guide: Contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed

Beginner friendly Everything

Open All

2 open issues indexed

Keep ERC-4337 benchmark boundary minimal after dedicated repo split Open

Difficulty 4/5 3-5 days Newbie friendliness 48/100

lfglabs-dev/ethereum-verification-benchmark#111 · Opened Jun 28, 2026
v0.2: harden benchmark harness preflight, validity, retries, loops, and failure taxonomy Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

lfglabs-dev/ethereum-verification-benchmark#97 · Opened Jun 21, 2026

A short digest of beginner-friendly GitHub issues.