Sau 6 tháng xây dựng và thử nghiệm, Jupiter Lend chính thức ra mắt khỏi giai đoạn Beta. Với 83.000 người dùng, 7 cuộc kiểm toán, 1 xác minh chính thức và $0 nợ xấu Bây giờ chúng tôi đang khởi động một cuộc thi kiểm toán trị giá $107.000 với @code4rena 👇
Tại Breakpoint, chúng tôi đã mã nguồn mở @jup_lend. Hôm nay, chúng tôi kỷ niệm một cột mốc quan trọng khác: xác minh chính thức từ @Certora, công ty đã bảo đảm hơn 100 tỷ đô la cho Aave, Uniswap và Coinbase. Điều này vượt xa một cuộc kiểm toán. Xác minh chính thức sử dụng các chứng minh toán học để kiểm tra mọi đường đi và sự kết hợp trạng thái có thể xảy ra.
617