New: an overview of what's built on OP Mainnet and the OP Stack.
xitter.cf/Optimism/status/211334…
We help companies bring their business onchain with programmable financial infrastructure.
Learn more or book a meeting:
optimism.io
Aero is live on OP Mainnet, another step forward for liquidity across the OP Stack.
Access to liquidity is just as essential as reliable infrastructure for onchain builders.
@aeroxyz delivers that in a few ways:
➡️ Metaswaps make it easier for applications to reach users and liquidity across supported chains, without needing to manually bridge.
➡️ Predictive Allocation directs incentives to new pools ahead of demand.
➡️ Slipstream V3 introduces dynamic fees and MEV capture to concentrated liquidity pools, helping improve trading conditions for users and liquidity providers.
For builders on the OP Stack, this means easier access to liquidity, more ways to attract capital, and fewer barriers to reaching users across chains.
Optimism retweeted
Three Korean securities firms have signed with @Optimism since July: DB, KB, and now Meritz.
Each came in through a different door:
→ DB: a regional STO platform with Jeju
→ KB: tokenized MMFs alongside Securitize
→ Meritz: issuing, settling and distributing tokenized Korean securities
Korean brokerages are no longer asking whether to go onchain. They're asking which part of the value chain to own.
Meritz and Optimism first met at a private dinner we hosted on July 21. Three months later to the day, an MOU.
Glad to have been in the room 🇰🇷
Meritz Securities, one of Korea’s largest brokerages, has signed an MOU with @Optimism to explore issuing, settling and distributing tokenized Korean securities on the OP Stack.
That makes three Korean securities firms exploring the OP Stack since July:
→ DB Securities
→ KB Securities
→ Meritz Securities
Ethereum is the home of onchain finance.
Thanks @rv_inc for continually helping to improve the OP stack 🫡
How do you turn a one-off formal verification effort into something that keeps paying off?
For @Optimism, one hand-written Dafny model we wrote became three things:
- a proof of what "correct" means for cross-chain message validation
- ground truth for AI agents checking the Go code, function by function
- a fuzzer where every failure is a violation of a proven property
Along the way it caught a cold-start rewind bug that could silently erase backfilled blocks, which Optimism has since remediated.
The technical breakdown, from Dafny invariants to the fuzzing harness, below 👇
runtimeverification.com/blog…










