StarkWare phản bác cách giải thích chuyển đổi STARK của Ethereum(ETH)

Eli Ben-Sasson (Eli Ben-Sasson), đồng sáng lập kiêm CEO của StarkWare, vừa lên tiếng phản bác một số cách giải thích xoay quanh quá trình chuyển đổi trọng tâm sang công nghệ STARK của Ethereum(ETH), dù ông đồng tình với định hướng chung của quá trình này.

Theo Foresight News đưa tin ngày 14 (giờ Hàn Quốc), Ben-Sasson nêu quan điểm trên trong một bài đăng trên X. Ông cho biết cuộc tranh luận xoay quanh STARK và SNARK đã kéo dài từ lâu, đồng thời khẳng định phần lớn nghiên cứu liên quan do StarkWare dẫn dắt và được Ethereum Foundation (Quỹ Ethereum) tài trợ.

Ben-Sasson chỉ ra rằng các trường nhị phân kích thước nhỏ (small binary field) không phải lần đầu được đưa vào lĩnh vực chứng minh không tiết lộ thông tin (zero-knowledge proof) thông qua Binius và Flonk như một số ý kiến đề cập. Theo ông, khái niệm này đã được nhắc tới từ bài báo ZK-STARK công bố năm 2018. Vấn đề này gắn liền với cách Ethereum sắp xếp lại phả hệ công nghệ và các lựa chọn triển khai, trong bối cảnh lộ trình dài hạn của mạng lưới ngày càng chú trọng chứng minh dựa trên STARK và bảo mật hậu lượng tử.

Tranh cãi về hiệu suất giữa các loại trường số

STARK là phương pháp chứng minh không tiết lộ thông tin dựa trên hàm băm (hash function). Khác với một số phương pháp chứng minh phụ thuộc vào đường cong elliptic, STARK thường được nhắc đến như một trong những giải pháp thay thế chính trong các thảo luận về bảo mật hậu lượng tử. TokenPost trước đó từng đưa tin rằng khi Ethereum càng áp dụng chứng minh dựa trên STARK và chứng minh đệ quy (recursive proof) ở nhiều tầng, tầm quan trọng của hệ thống xác thực càng tăng lên.

Tranh cãi còn mở rộng sang câu hỏi loại trường số nào thực sự mang lại hiệu suất chứng minh tốt hơn. Ben-Sasson cho rằng STARK dựa trên trường số nguyên tố (prime field) không nhất thiết phải dùng số nguyên tố lớn. Ông dẫn chứng bằng trường số nguyên tố 31 bit M31 mà Stwo, bộ chứng minh (prover) thế hệ mới của StarkWare, đang sử dụng, và cho rằng cách này mang lại hiệu quả cao.

Starknet(STRK), mạng layer 2 dạng zero-knowledge rollup do StarkWare vận hành, được thiết kế nhằm tăng khả năng mở rộng cho Ethereum.

Ben-Sasson cũng chỉ ra rằng phép nhân trên trường nhị phân hoạt động kém hiệu quả trên GPU, trong khi phép nhân với số nguyên tố nhỏ như M31 lại hiệu quả hơn. Ông nhận định sự khác biệt này có thể tạo ra thách thức khó vượt qua đối với các phương pháp chứng minh trên GPU dựa trên cấu trúc trường nhị phân.

Phát biểu lần này của Ben-Sasson không đề cập đến giá token hay doanh thu mạng lưới cụ thể, mà là ý kiến công khai xoay quanh các lựa chọn công nghệ dài hạn của Ethereum. Lộ trình chính thức của Ethereum cũng nêu rõ kế hoạch nâng cấp có thể thay đổi theo thông tin mới và các biến động công nghệ.