Eli Ben-Sasson, đồng sáng lập StarkWare, cho biết ZK STARK là cách tốt nhất để giải quyết các vấn đề nảy sinh khi tạo ra Bitcoin an toàn lượng tử — đồng thời đạt được sự áp dụng rộng rãi trên diện rộng.
Hơn nữa, ông tuyên bố người sáng lập Blockstream Adam Back cũng đồng ý.
Ben-Sasson đã được đưa tin trong tuần này vì đề xuất gây tranh cãi của ông về X nhằm tăng lạm phát Bitcoin lên 4% hàng năm. Phân tích của Grok về các câu trả lời cho thấy “không có sự ủng hộ rõ ràng nào cho đề xuất này”.
Nhưng với tư cách là người đồng phát minh ra STARK – bằng chứng không có kiến thức dựa trên hàm băm, an toàn lượng tử – anh ấy có nền tảng vững chắc hơn nhiều, với một số nhà nghiên cứu Bitcoin hàng đầu ủng hộ khái niệm này.
Dự án riêng của Ben-Sasson Starknet tuần trước đã công bố dự án ba giai đoạn của riêng mình để trở thành an toàn lượng tử.
Vấn đề về chữ ký PQ lớn trên Bitcoin
Việc thêm bằng chứng không có kiến thức vào Bitcoin không làm cho lượng tử blockchain trở nên an toàn. Bằng chứng ZK là một cách để giải quyết các vấn đề gây ra bằng cách thêm các sơ đồ chữ ký hậu lượng tử (PQ) lớn hơn nhiều vào Bitcoin.
Số chữ ký PQ hiện tại được Viện Tiêu chuẩn và Công nghệ Quốc gia (NIST) phê duyệt lớn hơn từ 10 đến 100 lần so với các sơ đồ chữ ký ECDSA và Schnorr hiện có của Bitcoin.
Một số người cho rằng điều này có thể làm chậm chuỗi khối xuống dưới 1 giao dịch mỗi giây. Nhưng tất cả chữ ký giao dịch lớn cho một khối có thể được nén thành bằng chứng ZK STARK nhỏ. Bởi vì bằng chứng sẽ nhỏ hơn nhiều so với việc bao gồm các chữ ký hiện có, nên blockchain có thể sẽ chạy nhanh hơn.
“Nếu họ không cho phép tổng hợp ZK STARK thì chắc chắn đó sẽ là một động thái rất đáng tiếc vì nó sẽ không thực sự giải quyết được vấn đề… vấn đề là ‘mọi người thực sự có thể sử dụng Bitcoin không?’” Ben-Sasson nói.
“Vì vậy, để làm được điều đó, bạn cần có quy mô lớn. Và để làm được điều đó, bạn cần những thứ như tổng hợp chữ ký và chỉ tăng kích thước khối là không đủ.”
Giải pháp thay thế lượng tử: Tăng kích thước khối của Bitcoin
Marin Ivezic, tác giả của PostQuantum.com và người sáng lập Ứng dụng Lượng tử, nói với Cointelegraph rằng sơ đồ SegWit của Bitcoin đã giảm tới 75% tác động của chữ ký lớn. Nhưng mô hình của ông về sơ đồ ML-DSA-44 của NIST, có 2.420 byte cho mỗi chữ ký, “đưa công suất khối vào khoảng 500 đến 700 giao dịch, giảm từ 2.500 xuống 3.000 ngày nay. Đó là nơi diễn ra cuộc tranh luận về kích thước khối.”
Tăng kích thước khối của Bitcoin là một giải pháp thay thế thực sự, nhưng cộng đồng đã chia rẽ về đề xuất tăng gấp đôi kích thước khối vào năm 2017. Nhiều lập luận chống lại vẫn có liên quan, vì đây là một giải pháp thẳng thừng yêu cầu mọi nút phải thực hiện, lưu trữ và xác minh nhiều dữ liệu hơn. Điều đó đắt hơn và đòi hỏi nhiều thiết bị hơn, điều mà các nhà phê bình cho rằng sẽ đẩy mạng theo hướng tập trung hóa.
Blockstream Research đã thử nghiệm trong những tháng gần đây với việc nén kích thước của sơ đồ chữ ký hậu lượng tử dựa trên hàm băm để sử dụng với Bitcoin. Nó đã đưa ra các chương trình SHRINCS và SHRIMPS đầy hứa hẹn, có chữ ký hàng ngày lớn hơn khoảng 5 lần so với số hiện tại của Bitcoin, nhưng lớn hơn tới 40 lần nếu bạn mất ví và cần khôi phục nó.
Mặc dù SHRINCS đã được sử dụng để ký các giao dịch thực tế trên sidechain Liquid, nhưng quá trình phát triển của nó vẫn đang ở giai đoạn đầu và có những hạn chế về độ phức tạp cũng như khả năng sử dụng. Chữ ký lớn hơn nhiều cũng sẽ làm chậm chuỗi khối, trừ khi kích thước khối được tăng lên.
Marin Ivezic, tác giả của PostQuantum.com và người sáng lập Ứng dụng Quantum, cho biết: “Nâng cao năng lực vốn là câu trả lời kỹ thuật đơn giản và câu trả lời khó nhất về quản trị”. “Chúng ta không có thời gian cho những cuộc tranh luận đó.”
Tập hợp bằng chứng ZK có lợi thế
tăng lên, nhưng được cho là sẽ tốt hơn nhiều trong việc duy trì sự phân cấp đồng thời làm cho Bitcoin hiệu quả hơn.
Đơn giản nhất, chứng minh ZK là một cách để chứng minh về mặt toán học rằng có thứ gì đó tồn tại mà không cần bao gồm tất cả các chi tiết. Ví dụ: bằng chứng ZK có thể chứng minh rằng bạn biết sự kết hợp của một chiếc két sắt mà không cần nói cho người khác biết sự kết hợp đó là gì.
Về mặt kỹ thuật, việc tạo bằng chứng ZK cho một khối chỉ cần được thực hiện một lần (mặc dù việc tạo các bản sao lưu bổ sung để dự phòng sẽ an toàn hơn) và thiết bị cần thiết để làm như vậy có vẻ như sẽ rẻ hơn nhiều so với thiết lập khai thác thương mại.
Thông số kỹ thuật của Lean Ethereum là để chứng minh thiết bị có giá dưới 100.000 USD (và có thể vận hành từ một ngôi nhà bình thường). Trong khi đó, việc xác minh bằng chứng ZK có thể được thực hiện trên hầu hết mọi thiết bị, bao gồm cả Raspberry Pi.
Ben-Sasson nói rằng các nhà phát triển Bitcoin ban đầu như Greg Maxwell và Mike Hearn “rất lạc quan về ZK STARK, vốn an toàn sau lượng tử và không có thiết lập đáng tin cậy”, đồng thời ông tin rằng nhà phát triển Bitcoin Core Luke Dashjr và người sáng lập Blockstream Adam Back đang nảy ra ý tưởng này.
“Tôi đã nghe điều này từ họ. Họ lạc quan về những thứ liên quan đến và sử dụng ZK STARK. Tôi nghĩ mỗi người trong số họ đã nói tốt, chắc chắn là riêng tư nhưng cũng công khai, ủng hộ. Adam Back và Luke Dashjr không nhìn thẳng vào mắt mọi thứ, nhưng về điều này, tôi nghĩ họ thực sự đồng ý rằng đó là một công nghệ tuyệt vời mà, theo những điều khoản phù hợp, có thể tìm đến Bitcoin.”
Cointelegraph đã liên hệ với Back để bình luận nhưng không nhận được phản hồi.
Nhà nghiên cứu Ethereum Justin Drake đã công khai bày tỏ mong muốn Bitcoin áp dụng công nghệ tổng hợp bằng chứng ZK của Lean Ethereum để nó trở thành tiêu chuẩn trong toàn ngành. Điều này có thể không khả thi vì lý do chính trị.
Ethereum đặt mục tiêu trở thành hậu lượng tử vào năm 2029. Nguồn: Ethereum Foundation
Đề xuất ZK cụ thể cho Bitcoin
Với văn hóa bảo thủ của Bitcoin, cách thực dụng nhất về mặt chính trị để thêm ZK vào Bitcoin có thể là kích hoạt lại OP_CAT, tức là chín dòng mã được viết bởi Satoshi.
“[He] thậm chí còn được giới thiệu và sau đó anh ấy đã gỡ bỏ nó,” Ben-Sasson nói. “Và nếu bạn thêm điều đó vào, bạn có thể nhận được những thứ như bằng chứng STARK, sau đó là tổng hợp và bảo mật hậu lượng tử.”
“Tôi nghĩ đó là giải pháp tốt nhất và an toàn nhất sẽ thực sự bắt đầu lại hành trình mà Satoshi thực sự đã bắt đầu và mong muốn.”
Nhưng bất chấp sự quan tâm đến OP_CAT khoảng 12 đến 24 tháng trước, gần đây nó dường như đã mất đà (mặc dù việc quản lý Bitcoin di chuyển theo những cách bí ẩn).
Ngoài ra còn có nhiều đề xuất mang tính suy đoán hơn, bao gồm OP_STARK_VERIFYđiều đó sẽ thêm các mã hoạt động được thiết kế đặc biệt để xác minh STARK trên Bitcoin hiệu quả hơn. Và đồng tác giả BIP-360, Ethan Heilman đã đề xuất tổng hợp chữ ký và khóa công khai của Bitcoin thành một bằng chứng STARK duy nhất dưới tên BitZip.
Heilman nói với Cointelegraph vào đầu năm nay rằng có hai cách chính để đạt được kết quả mong muốn:
“Hoặc thêm một loạt các mã hoạt động có mục đích chung vào Bitcoin và sau đó xây dựng thứ gì đó giống như ZKRollup trong Bitcoin hoặc hỗ trợ STARK ở lớp đồng thuận của Bitcoin. Ngoài ra, các chương trình tổng hợp kém mạnh mẽ hơn khác, chẳng hạn như CISA [Cross Input Signature Aggregation] cũng có thể giúp ích ở đây.”
Tuy nhiên, cơ hội là gì?
Ivezic cho biết quản trị Bitcoin, thay vì khả năng công nghệ, mới là điểm mấu chốt.
“Mật mã của Eli rất vững chắc: các giả định băm thuần túy, không có thiết lập đáng tin cậy, hàng nghìn chữ ký được nén thành một bằng chứng nhỏ. Vấn đề là mọi thứ xung quanh mật mã,” ông nói.
“Bitcoin Script không thể xác minh STARK ngày nay và trình xác minh sản xuất là bề mặt đồng thuận lớn so với opcode có chữ ký băm hẹp. Do một opcode nhỏ như OP_CAT đã dành nhiều năm tranh luận, trình xác minh STARK lớp cơ sở thực tế là một cuộc trò chuyện vào những năm 2030.”
Trong khi đó, Ethereum đang nhắm mục tiêu đến năm 2029 để chuyển sang hậu lượng tử và Solana cũng đang thử nghiệm thêm chữ ký hậu lượng tử. Quá trình chuyển đổi ba giai đoạn của StarkNet sẽ được hưởng lợi từ việc trừu tượng hóa tài khoản, cho phép nâng cấp mật mã cơ bản mà không khiến mọi người dùng phải chuyển sang tài khoản mới theo cách thủ công.
Do đó, Ben-Sasson nói rằng lộ trình hậu lượng tử của Solana và Ethereum sẽ “cực kỳ khó khăn”.
“Trên Starknet, chúng tôi có lợi thế lớn là chúng tôi đã có tính năng trừu tượng hóa tài khoản gốc và ví thông minh, điều đó có nghĩa là không có gì được lưu giữ nên rất dễ dàng nâng cấp ví và cơ sở hạ tầng để trở thành lượng tử hậu kỳ.”
Tính năng: Các bản nâng cấp blockchain lớn nhất vẫn sẽ ra mắt vào năm 2026
Cointelegraph cam kết báo chí độc lập, minh bạch. Bài viết tin tức này được sản xuất theo quy định của Cointelegraph Chính sách biên tập và nhằm mục đích cung cấp thông tin chính xác và kịp thời. Người đọc được khuyến khích xác minh thông tin một cách độc lập.
