Đây là phần thứ ba trong loạt bài của chúng tôi về Giao thức Kiểm tra Tổng đa biến: một hướng dẫn ngắn gọn để giảm thiểu các ràng buộc giao thức thực tế xuống kiểm tra tổng:
Trong số này, chúng tôi đề cập đến ZeroCheck cho các khẳng định biến mất, Rational Sumcheck cho các mối quan hệ chia/định nghĩa hợp lý, kiểm tra sự bình đẳng của tập hợp đa và kiểm tra hoán vị thông qua các danh tính đạo hàm-logarit, và lập luận tìm kiếm LogUp - liên kết từng phần với việc sử dụng thực tiễn trong các cài đặt Plonk/HyperPlonk/Halo2 và zkVM.
Bằng chứng thời gian thực + xác minh Bitcoin L1 = GOAT
Giám đốc điều hành ZKM @kevinliub gần đây đã phác thảo stack L2 của @GOATRollup: các giao dịch được chứng minh trong thời gian thực với Ziren, được hoàn tất trên Bitcoin thông qua thách thức/xác minh BitVM2. Các bộ sắp xếp phi tập trung, gas định giá bằng BTC, và các tranh chấp do thợ mỏ phân xử giữ cho Mạng GOAT gắn liền với bảo mật của Bitcoin.
Xem cuộc trò chuyện đầy đủ 👇
"Bitcoin không chỉ đơn thuần là HODLing nữa."
Kevin Liu @kevinliub CEO của @GOATRollup Network, giải thích cách công nghệ Layer 2 của Bitcoin + bằng chứng không kiến thức (ZKPs) có thể mở khóa lợi suất thực cho những người nắm giữ BTC:
Bảo mật bản địa: Layer 2 kế thừa các giả định bảo mật của Bitcoin.
Lợi suất bền vững: Từ 1.5–2% trên BTC khóa thời gian đến 30–50% APY cho các sản phẩm rủi ro cao hơn.
Khuyến khích thợ mỏ: Nhiều giao dịch = nhiều phí = mạng lưới Bitcoin khỏe mạnh hơn.
Kết luận: Để Bitcoin phát triển lâu dài, nó cần nhiều hơn là sự đầu cơ giá cả, nó cần hoạt động, lợi suất và dòng chảy.
Bạn có sẵn sàng để BTC của mình hoạt động trên Layer 2 không?