Vitalik Buterin, đồng sáng lập Ethereum, đã giới thiệu những tiến bộ đáng kể trong bằng chứng mật mã (cryptographic proofs), đáng chú ý là tăng cường tốc độ xác minh và đơn giản hóa quy trình.
Những phát triển này thúc đẩy các kỹ thuật mới trong STARKs và giới thiệu các công cụ sáng tạo như Plonky2 và Binius. Chúng được thiết lập để cải thiện hiệu quả của các công nghệ blockchain một cách mạnh mẽ.
Tham gia Cộng đồng BeInCrypto trên Telegram để tìm hiểu về các bài phân tích kỹ thuật, thảo luận về tiền điện tử và nhận câu trả lời cho tất cả các câu hỏi của bạn từ các chuyên gia và nhà giao dịch chuyên nghiệp của chúng tôi nhé.
Nhanh chóng và dễ dàng để xác minh bằng chứng mật mã
Chủ thể được nói đến ở đây là STARKs – những lập luận kiến thức minh bạch, có thể mở rộng. Theo Buterin, những bằng chứng mật mã này nổi bật với khả năng xác minh hiệu quả các câu lệnh phức tạp, chẳng hạn như tính hợp lệ của khối Ethereum.
Một sự đổi mới đáng chú ý trong STARK là việc sử dụng các kích thước trường nhỏ hơn, tương phản mạnh với các số nguyên 256 bit lớn hơn theo yêu cầu của người tiền nhiệm của chúng, SNARK. Sự thay đổi này làm giảm tải tính toán và tăng tốc đáng kể quá trình xác minh.
Công cụ mật mã mới, Plonky2, minh họa cho sự tiến bộ này. Bằng cách sử dụng trường Goldilocks, hoạt động trên các số nguyên 64 bit, Plonky2 đạt được tốc độ chứng minh nhanh hơn hàng trăm lần so với các phương pháp trước đó. Mức tăng hiệu quả như vậy là rất quan trọng, đặc biệt là đối với các ứng dụng blockchain, nơi tốc độ và khả năng mở rộng là tối quan trọng.
Cải tiến chính của Plonky2 là làm modulo số học một số nguyên tố nhỏ hơn: 264−232+1=18446744069414584321. Bây giờ, mỗi phép cộng hoặc phép nhân luôn có thể được thực hiện chỉ trong một vài hướng dẫn trên CPU và băm tất cả dữ liệu lại với nhau nhanh hơn gấp 4 lần so với trước đây.
Buterin giải thích.
Công việc của Vitalik Buterin không dừng lại ở việc tối ưu hóa kích thước trường. Liên hệ mới nhất của anh vào các bằng chứng mật mã khám phá tiềm năng của các trường nhị phân. Cách tiếp cận này, được thực hiện bởi một hệ thống có tên Binius, tận dụng các chiến lược toán học khác nhau để đơn giản hóa việc tạo bằng chứng hơn nữa.
Binius phân biệt chính nó bằng cách tập trung vào các trường nhị phân, về cơ bản là hiệu quả cho các hệ thống kỹ thuật số. Lý do đằng sau sự tập trung này là các hệ thống kỹ thuật số vốn là nhị phân. Do đó, việc sắp xếp các hoạt động mật mã với điều này có thể giảm thiểu chi phí tính toán.
Nếu bạn sử dụng Binius, bạn không còn cần phải quan tâm nhiều đến việc tính toán “thân thiện với số học”: các hàm băm “thông thường” không còn hiệu quả hơn các hàm băm số học truyền thống, phép nhân modulo 232 hoặc modulo 2256 không còn là vấn đề đau đầu so với phép nhân modulo p…
Buterin kết luận.
Những đổi mới này là minh chứng cho cam kết liên tục của Vitalik Buterin trong việc nâng cao công nghệ blockchain. Khi các phương pháp mật mã mới này trở nên phổ biến hơn, chúng dự kiến sẽ làm giảm đáng kể các rào cản đối với việc áp dụng blockchain.
Tất cả thông tin có trên trang web của chúng tôi được xuất bản với thiện chí và chỉ dành cho mục đích thông tin chung. Bất kỳ hành động nào người đọc thực hiện đối với thông tin được tìm thấy trên trang web của chúng tôi, họ cần phải đánh giá lại và hoàn toàn chịu rủi ro từ quyết định của chính họ.
