How We Created an Autonomous Credit Facility
with Opus

Try it!
Opus hero dashboard
Opus hero dashboard
  • Design and Interaction
  • Smart Contract Development
  • Security Assurance
  • Formal Verification
Opus Logo

O pus is a dynamic credit protocol, powered by decentralized ledger technology, designed for a fairer, more efficient future. Throughout its history, the banking system as we know it has faced criticism for its centralized structure and perceived lack of customer-centric practices.

This has contributed to unequal access to banking services and financing, perpetuating economic disparities. These issues highlight the need for increased transparency and accountability in the banking industry to ensure fair and equitable treatment for all customers.

Opus may not be the first credit protocol that aims to solve these issues, but it is a state of the art cross margin credit protocol that aims to make every parameter dynamic to achieve safety, fairness, and capital efficiency.



CrossMargin Icon

Cross margin borrowing

Dynamic Icon

Dynamic, autonomous risk parameters

Multilayered Icon

Multilayered liquidation engine


MEV-resistant liquidations

StateOfArt Icon

State of the art security practices not limited to formal verification

You can do more with your assets than you think.

Opus is the autonomous and safe platform for credit and savings.

Try it!

Use Cases

Standing Out

T he 2020 was marked by the apparition of the first generation of Web3 protocols and products. In the year of 2023, while these protocols continue to iterate toward product market fit, they are weighed down by technical debt, suboptimal security practices, and continue to be afflicted by subpar user experiences.

More recently, shakedowns in the banking industry coupled with Operation Choke Point 2.0 have highlighted major weaknesses with the leading protocols that Opus would have been largely unaffected by.

Opus Mobile Overview Aura Borrow Amount Saving Pool Aura Graph Saving Pool Dark CPI Cash values values 2

What Did We Do?

Boundary Icon

Autonomous and Dynamic

Opus is a trustless cross-margin credit facility on-chain, but where legacy and other DeFi solutions require millions of labor hours to assess and determine risk and its parameters, Opus aims to be fully autonomous, adjusting its parameters in real time in response to liquidity conditions, and through the use of adaptive non-linear controllers. A fair and decentralized credit facility for anything and anyone.

Beauty Icon

Sublime User Experience for Advanced Users

Web3 UX often demands tremendous amounts of context and know-how, while neglecting risk disclosures. Following industry standard User Research methodology and continuous iteration, Opus's user interface results in the best borrowing experience for expert users without sacrificing accessibility for new entrants.

Security Icon

Security to Match the Stakes

Opus's specification and properties were painstakingly specified prior to its implementation. Afterwards, best-in-class security practices were applied, culminating in formal verification:

  • a strong base test suite with unit tests,
  • E2E forking tests,
  • behavioral fuzzing,
  • coverage-guided fuzzing,
  • lightweight formal methods via bounded model checker,
  • and lastly, mutation testing, the art of bug injection to assess the quality of the test suite

With these, Opus uncovered programming patterns in Cairo 1.0, a novel programming language for writing provable programs, contributed multiple libraries that have gone on to become staples in the space, and is able to boast of one of the highest quality codebases in the space.