Nach 6 Monaten des Aufbaus und Testens ist Jupiter Lend offiziell aus der Beta-Phase. Mit 83.000 Nutzern, 7 Audits, 1 formeller Überprüfung und $0 faulen Schulden Jetzt starten wir einen Audit-Wettbewerb im Wert von $107.000 mit @code4rena 👇

Bei Breakpoint haben wir @jup_lend Open Source gemacht. Heute feiern wir einen weiteren wichtigen Meilenstein: die formale Verifizierung von @Certora, der Firma, die über 100 Milliarden Dollar bei Aave, Uniswap und Coinbase gesichert hat. Das geht über ein Audit hinaus. Die formale Verifizierung verwendet mathematische Beweise, um jeden möglichen Ausführungsweg und jede Zustandskombination zu überprüfen.