Nhóm Xác minh Chính thức của chúng tôi đã chính thức hóa các đa thức đa biến có thể tính toán trong Lean. cc @leanprover Đây là nền tảng cho lý luận mạnh mẽ hơn, được kiểm tra bằng máy trong các chứng minh zk và thiết kế giao thức. 🔗 1/

Các chứng minh không biết (zero-knowledge proofs) đang đến với kế toán của các validator. zk-Oracle mới của @LidoFinance xác minh các thay đổi về số dư của validator trên Ethereum bằng cách sử dụng SP1, mang lại cho người dùng những đảm bảo mạnh mẽ hơn rằng phần thưởng và số dư là chính xác.