Bringing RISC-V Semantics to Lean

Read article

The Future of FV of Cairo Contracts

Read article

Pre-built Symbolic Tests for Ethereum Contracts

Read article

Leverage Us to make bolder moves

What is your business need?

Contact Us
Web3 and MetaverseSecurityEducationTokenization and Capital Markets

Our Experience

Recognized for their ingenuity and elegance, our projects have gone on to become new primitives in the space.

Opus is an autonomous and dynamic cross-margin credit solution for any synthetic asset with a price oracle onchain.

View Project
Opus

Opus allows anyone to borrow against their crypto portfolio with fair, dynamic interest rates.

Opus Logo