After 6 months of building and testing, Jupiter Lend is officially out of Beta.
With 83,000 users, 7 audits, 1 formal verification, and $0 bad debt
Now we're launching a $107,000 audit contest with @code4rena 👇
At Breakpoint, we open sourced @jup_lend.
Today, we celebrate another major milestone: formal verification from @Certora, the firm that's secured over $100B across Aave, Uniswap, and Coinbase.
This goes beyond an audit. Formal verification uses mathematical proofs to check every possible execution path and state combination.
From Twitter
Disclaimer: The content above is only the author's opinion which does not represent any position of Followin, and is not intended as, and shall not be understood or construed as, investment advice from Followin.
Like
Add to Favorites
Comments
Share
Relevant content





