Derive
derivexyz
Derive is a decentralized options and perpetuals protocol built on Ethereum and the OP Stack.
ZisK
0xPolygonHermez
ZisK is an open-source zero-knowledge proving toolstack featuring a zkVM that enables verifiable execution of programs written in high-level languages like Rust