6か月にわたる構築とテストを経て、Jupiter Lendは正式にベータ版を終了しました。 83,000人のユーザー、7回の監査、1回の正式な検証、そして0ドルの不良債権を有しています 今、私たちは107,000ドルの監査コンテストを@code4rena 👇

Breakpointでは、@jup_lendをオープンソース化しました。 本日、私たちはもう一つの大きな節目を祝います。Aave、Uniswap、Coinbaseで1億ドル以上の資金を確保している企業@Certoraからの正式な認証です。 これは単なる監査を超えています。形式的検証は、あらゆる可能な実行経路と状態の組み合わせを数学的証明で検証します。