Back to Organizations
Lindy Labs
Lindy Labs is a Web3 consulting and technology company focused on formal verification, smart-contract security, tokenization, and Web3 strategy. It serves organizations including financial services firms, governments, institutions, and consumer brands, and presents Opus as one of its projects.
Distributed
SandClock
Project Links
Description
Sandclock is a secure platform that provides users with easy-to-follow investment strategies and high-yield savings options in the crypto industry. The platform offers some of the best returns in the industry, with an APY range of 4% to 28%.TVL: $24K
Chains:
Aegis
Project Links
Description
Aegis is a Lindy Labs framework for formal verification of Cairo 1.0 functions using Lean. It parses Sierra or Cairo files, derives function semantics from Sierra libfuncs, lets users define intended specifications over inputs, outputs, and gas-cost metadata, and requires proofs that the derived specification implies each user specification. It supports verification across function calls and handles Sierra loops by converting them to recursive calls.Category: Developer Tooling
Opus
Project Links
Description
Opus is a trustless, on-chain cross-margin credit facility designed to provide decentralized credit and savings. It adjusts risk parameters in real time based on liquidity conditions using adaptive non-linear controllers, and includes a multilayered, MEV-resistant liquidation engine. Its stated use cases are credit, leverage, savings, and synthetic derivatives; the protocol also emphasizes testing, fuzzing, formal methods, and formal verification.Category: Decentralised Borrowing & Lending