LFG Labs
We are formally verifying critical software
Pinned Loading
Repositories
Showing 10 of 129 repositories
- verity Public
Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.
- eip-8282-proof-closure Public
Lean evidence for three EIP-8282 builder deposit/exit predeploy guarantees (abstract model CHECKED; Verity OPEN)
- eip-8282-proof-flow-map Public
Source-grounded EIP-8282 architecture and Lean 4 proof-flow planning map
- ethereum-verification-benchmark Public
Benchmark for Verity-based smart contract verification research
- evmbench Public Forked from paradigmxyz/evmbench
A benchmark and harness for finding and exploiting smart contract bugs
Top languages
Loading…
Most used topics
Loading…