Kuuden kuukauden rakentamisen ja testauksen jälkeen Jupiter Lend on virallisesti pois beta-vaiheesta. 83 000 käyttäjällä, 7 auditointia, 1 virallinen tarkistus ja 0 dollarin huono velka Nyt käynnistämme 107 000 dollarin tilintarkastuskilpailun @code4rena 👇

Breakpointissa avasimme @jup_lend avoimen lähdekoodin. Tänään juhlimme toista merkittävää virstanpylvästä: virallista vahvistusta @Certora:lta, yritykseltä, joka on turvannut yli 100 miljardin dollarin arvon Aaven, Uniswapin ja Coinbasen kautta. Tämä menee pidemmälle kuin pelkkä tarkastus. Muodollinen verifiointi käyttää matemaattisia todistuksia tarkistamaan kaikki mahdolliset suorituserolun ja tilayhdistelmät.