Research & KnowledgeEvent: September 6, 2026
Aurora Labs announced a new initiative called Lean4EVM, an Ethereum Virtual Machine implemented entirely in Lean 4 where the executable implementation and correctness proofs are part of the same artifact.
Published
Signal category
Research & Knowledge
Quote
“A new initiative: Lean4EVM.”
— Evgeny Ukhanov|Aurora Labs team
Company
Aurora Labs
Creators of the NEAR Intents solution and owners of Intents Swap Widget.
- Industry
- Technology, Information and Internet
- Location
- Gibraltar, GI
- Company size
- 46 employees
Aurora is building cross-chain execution products for the multichain internet. It operates as a product studio and infrastructure provider within the NEAR Intents ecosystem, focused on developing a growing suite of intent-based products. These products enable any application to accept users, assets, and actions from any chain, without requiring bridging, swapping, or network switching. Aurora is turning multichain access into a built-in capability for its partners.
Founded 2021