Năm nay, bằng chứng kiến thức Zero (zk-proofs) đang ghi dấu ấn là công cụ mật mã mạnh mẽ nhất thúc đẩy sự đổi mới trong hệ sinh thái phi tập trung.
Zk-proofs lần đầu tiên được hình thành bởi các nhà khoa học máy tính Shari Goldwassser, Silvio Micali và Charles Rackoff trong bài báo năm 1985 của họ, Sự phức tạp về kiến thức của các hệ thống bằng chứng tương tác. Các nhà phát triển, kiến trúc sư hệ thống và các nhà nghiên cứu trong cộng đồng Ethereum - hệ sinh thái hợp đồng thông minh hàng đầu của chuỗi khối - đã dành phần lớn thời gian trong ba năm qua để căng thẳng khả năng sáng tạo của họ để phát triển các giải pháp - và thường xuyên hơn là các giải pháp tạm thời. Mục tiêu của họ là khắc phục hai thiếu sót rõ ràng của blockchain: khả năng hoạt động hiệu quả trên quy mô lớn và bảo vệ quyền riêng tư của người dùng một cách rõ ràng.
Trên cả hai đặc quyền, những bộ óc tốt nhất và sáng suốt nhất của Ethereum đã hội tụ vào các giao thức không có kiến thức và các triển khai linh hoạt của chúng để xây dựng lần lặp lại tiếp theo của cơ sở hạ tầng blockchain hoàn chỉnh.
Nhiệm vụ về thông lượng
Zk-proof mô tả một cơ chế mà theo đó một bên có thể chứng minh cho người khác thấy rằng một tuyên bố nhất định là đúng mà không tiết lộ bất kỳ thông tin bổ sung nào, đặc biệt là nội dung của chính tuyên bố đó. Mặc dù có thể áp dụng ngay lập tức hơn trong các tình huống tập trung vào quyền riêng tư - nổi tiếng nhất là trong lần ra mắt Zcash năm 2016, một đồng tiền riêng tư sử dụng zk để bảo vệ các giao dịch - zk-proofs đã trở nên nổi bật trong tìm kiếm điên cuồng của Ethereum về một giải pháp khả năng mở rộng có thể mở ra mảng các ứng dụng DeFi và NFT mang tính cách mạng cho thị trường đại chúng.
Theo whitepaper của Satoshi, blockchain được phát triển vì một mục đích: phá vỡ quyền hạn thông qua việc hình thành một hệ thống phân quyền, chống kiểm duyệt mà không có một điểm lỗi nào. Mặc dù là một thành tựu to lớn trong kiến trúc hệ thống, nhưng phân quyền không phải không có giá. Trong các hệ thống phi tập trung, các quá trình trao đổi, lưu trữ và xác minh thông tin diễn ra trên các thiết bị, phần mềm và con người phụ thuộc lẫn nhau. Có nghĩa là, chúng là những hệ thống cực kỳ cao kiến thức phức tạp.
Không giống như các quy trình được sắp xếp hợp lý có nguồn gốc từ các hệ thống tập trung, sự phức tạp về kiến thức nhất thiết làm giảm hiệu quả của mạng, làm chậm thời gian giao dịch và tăng chi phí giao dịch cho người dùng.
Kể từ khi Cryptokitties thất bại năm 2017, Ethereum đã được chú ý bởi tiền điện tử vĩnh viễn như là đứa con hậu duệ của tình trạng tiến thoái lưỡng nan về khả năng mở rộng vốn có của blockchain. Là công ty hàng đầu trong ngành về các ứng dụng và người dùng phi tập trung, sự phức tạp về kiến thức của Ethereum giới hạn thông lượng giao dịch của nó ở mức nhỏ nhất là 12 giao dịch mỗi giây - XNUMX vào một ngày đẹp trời.
Quyết tâm giải quyết vấn đề, các nhóm nhà phát triển trên toàn hệ sinh thái đã đưa ra các giải pháp sơ bộ khác nhau: Kênh trạng thái, không tương thích với EVM và yêu cầu nhận dạng người dùng và khóa vốn trả trước; Plasma, một mạng các Chuỗi con kém tiện lợi hơn cũng không có khả năng tương thích với EVM; Sidechains, hoạt động độc lập với bảo mật của chuỗi chính Ethereum; và Sharding, một sửa đổi đồng thuận có các thuộc tính và ngày giao hàng đã bị dao động và phát triển theo cách gợi nhớ đến những lời hứa chiến dịch chính trị bị phá vỡ.
Zks vẫn ở trong khung dưới dạng Zk-Rollups, một cơ chế sử dụng công nghệ zkSNARK để hợp nhất các giao dịch ngoài chuỗi thông qua Merkle Trees và xuất bản chúng lên chuỗi chính Ethereum bằng một giao dịch duy nhất - một mô hình hiệu quả cao tiến hành tính toán ngoài chuỗi và sử dụng chuỗi chính dành riêng cho việc lưu trữ dữ liệu. Mặc dù là giải pháp kỹ thuật tốt nhất nhưng Zk-Rollups vẫn chưa tương thích với EVM và chỉ có thể hoạt động như một kênh thanh toán. Các ứng dụng DeFi sẽ phải duy trì trên chuỗi cho đến khi các bản cuộn lên có thể hỗ trợ thực thi hợp đồng thông minh.
Bản tổng hợp của lạc quan
Trong cuộc đua hỗ trợ DeFi, nhóm nhà phát triển Ethereum Optimism là người đầu tiên bắt nhịp với việc phát hành Optimistic Rollups, một Chuỗi cuộn tương thích với EVM sẵn sàng cho các triển khai dApp bằng một cú nhấp chuột và tất cả đều không có một zk-proof nào. Chỉ có một trở ngại duy nhất: Bản tổng hợp của Optimism phụ thuộc vào Bằng chứng gian lận để xuất bản các giao dịch được nhóm trên chuỗi, do đó yêu cầu người dùng chịu đựng sự chậm trễ thời gian tranh chấp (DTD) đối với việc rút tiền từ chuỗi chính, thường lên đến một tuần. Nhưng với khả năng tổng hợp trực tuyến, Lạc quan vẫn là lựa chọn thay thế tốt nhất hiện có.
Đó là, cho đến những tháng gần đây, khi Matter Labs phát hành zkSync v2: một Zk-Rollup tương thích với EVM đầy đủ chức năng, sử dụng Chứng minh tính hợp lệ âm thanh về mặt tính toán với các DTD ngắn. Với khả năng tương thích EVM được giải quyết cho v2, zkSync và các khoản rút tiền trong chuỗi chính kéo dài XNUMX phút của nó giờ đây vượt trội hơn so với Optimism, mà OVM vẫn phụ thuộc vào DTD kéo dài để xác nhận các giao dịch rút tiền.
Khi sự chú ý và các nguồn lực của nhà phát triển tiếp tục chuyển sang lĩnh vực kiến thức XNUMX, thực tế trở nên rõ ràng: theo tiêu đề lựa chọn của kiến trúc sư của họ, zk-proofs được thiết kế cho các hệ thống có đặc điểm là kiến thức phức tạp cao, và phù hợp nhất để giải quyết nhiều tình huống khó xử về tính toán mà hệ sinh thái blockchain phải đối mặt và các con đường dẫn đến việc áp dụng chúng.
Sắp ra mắt toàn cầu: Giữ quyền riêng tư ở nơi nó thuộc về
Với quan niệm về DeFi, Ethereum đã đảm bảo vị trí của mình như là trung tâm đầu tiên cho sự đổi mới blockchain. Các ứng dụng phức tạp như những ứng dụng tạo thành lĩnh vực DeFi của tiền điện tử đòi hỏi phải tiết kiệm trạng thái và do đó, tính hoàn chỉnh của Ethereum và mô hình giao dịch dựa trên tài khoản. Trong khi đó, các ứng dụng tập trung vào quyền riêng tư hoạt động trên chuỗi khối với các mô hình giao dịch UTXO, nơi các trạng thái toàn cầu bao gồm số dư tài khoản được xử lý bởi các mức trừu tượng cao hơn như ứng dụng ví và trình khám phá khối.
Cho đến thời điểm này, trong sứ mệnh mang lại sự riêng tư cho DeFi, các nhà phát triển đã quyết định đưa DeFi đến quyền riêng tư, xây dựng các blockchains UTXO độc lập hoặc các mô hình Lớp 2 tập trung cao độ và không rõ ràng cách xa chuỗi chính công khai khó khăn của Ethereum.
Phải đến tháng 2019 năm XNUMX khi tiêu chuẩn mã thông báo bí mật trên chuỗi đầu tiên của Ethereum được hình thành trong Giao thức Aztec EIP-1724. Aztec đã đề xuất sử dụng zkSNARK để tạo mã thông báo riêng tư trên Ethereum, mặc dù thiết lập đáng tin cậy sẽ được yêu cầu để phân phối khóa riêng. Ngoài ra, toàn bộ quá trình xáo trộn cung cấp quyền riêng tư cho zk-token của Aztec diễn ra trên Lớp 2. Một mô hình có tầm nhìn tuyệt vời, cấu trúc Lớp 2 của Aztec lần đầu tiên mang lại sự riêng tư cho Ethereum. Nhưng ngược lại với khả năng mở rộng, nhiệm vụ cơ bản của quyền riêng tư là nó phải sống ở Lớp 1 - không có ifs, ands, hoặc bridge.
Thiết lập đáng tin cậy
Một năm sau khi Aztec ra mắt, nhóm Offshift đã gửi giải pháp PriFi lớp 1 tiên phong trên Ethereum dự kiến ra mắt vào quý 1 năm 2022. Mô hình của nhóm sử dụng Bulletproof zks, không giống như SNARK, không yêu cầu bất kỳ yếu tố nào của thiết lập đáng tin cậy và hoạt động đầy đủ trên Lớp 1. Để giải quyết mô hình giao dịch dựa trên Tài khoản của Ethereum, giao thức của Offshift phát hành zkAssets dưới dạng cam kết mật mã được trao đổi giữa các địa chỉ Ethereum trong mô hình UTXO, do đó cho phép các ứng dụng PriFi hưởng lợi từ tính năng Turing-complete của Ethereum mà không cần rời khỏi Lớp 1.
Mặc dù những thách thức hoàn toàn độc đáo, khả năng mở rộng hiệu quả và quyền riêng tư không thể vượt qua được giải quyết tốt nhất bằng các công cụ tính toán được thiết kế cho các hệ thống phi tập trung - tức là các hệ thống có đặc điểm là độ phức tạp về kiến thức cực kỳ cao.
Đi trước thời đại nhiều thập kỷ, Goldwasser, Macali và Rackoff đã nói rõ rất nhiều trong bài báo năm 1985 của họ: “Sự phức tạp của kiến thức giúp chứng minh hoặc bác bỏ tính đúng đắn của các giao thức mật mã vì chúng dựa trên tính bí mật của một số thông tin cá nhân và nên giữ bí mật này. ”
Sau đó, họ lưu ý một cách đầy thơ mộng, "Tính riêng tư của một số thông tin là điều mang lại lợi thế cho chúng tôi so với các đối thủ của chúng tôi."
Alex Shipp Giám đốc Chiến lược của Dịch chuyển, một nền tảng phái sinh PriFi (DeFi riêng).
Nguồn: https://thedefiant.io/zero-knowledge-ethereum-layer-1/
- 2016
- 2019
- Tài khoản
- thêm vào
- Nhận con nuôi
- Lợi thế
- Tất cả
- Cho phép
- các ứng dụng
- kiến trúc
- BEST
- blockchain
- xây dựng
- Xây dựng
- Chiến dịch
- Sức chứa
- vốn
- kênh
- Charles
- chánh
- Coin
- cộng đồng
- Khoa học Máy tính
- Sự đồng thuận
- nội dung
- tiếp tục
- hợp đồng
- Chi phí
- Sáng tạo
- dapp
- dữ liệu
- lưu trữ dữ liệu
- Ngày
- ngày
- Phân cấp
- Phân quyền
- Ứng dụng phi tập trung
- Defi
- sự chậm trễ
- giao hàng
- Derivatives
- phát triển
- Nhà phát triển
- phát triển
- Thiết bị (Devices)
- Tranh chấp
- hệ sinh thái
- Hệ sinh thái
- hiệu quả
- ethereum
- phải đối mặt với
- Không
- Tên
- lần đầu tiên
- phù hợp với
- hình thức
- gian lận
- Toàn cầu
- tốt
- Cao
- Độ đáng tin của
- HTTPS
- Con người
- Bao gồm
- ngành công nghiệp
- thông tin
- Cơ sở hạ tầng
- sự đổi mới
- tương tác
- các vấn đề
- IT
- giữ
- phím
- kiến thức
- Phòng thí nghiệm
- phóng
- hàng đầu
- Khóa
- Làm
- dấu
- thị trường
- Sứ mệnh
- kiểu mẫu
- tháng
- mạng
- NFT
- Nhân viên văn phòng
- Trực tuyến
- mở
- Giấy
- thanh toán
- nền tảng
- riêng tư
- riêng
- Khóa riêng
- giao thức
- công khai
- xuất bản
- Q1
- nhiệm vụ
- Cuộc đua
- Thực tế
- Thông tin
- Satoshi
- tiết kiệm
- khả năng mở rộng
- Quy mô
- Khoa học
- Tìm kiếm
- an ninh
- sharding
- ngắn
- Chậm
- thông minh
- hợp đồng thông minh
- Phần mềm
- Giải pháp
- Tiểu bang
- Tuyên bố
- Bang
- là gắn
- Chiến lược
- trình
- hỗ trợ
- hệ thống
- hệ thống
- Tập
- Kỹ thuật
- Công nghệ
- tạm thời
- thời gian
- mã thông báo
- Tokens
- giao dịch
- Giao dịch
- us
- quyền riêng tư của người dùng
- Người sử dụng
- ví
- tuần
- Bản cáo bạch
- năm
- năm
- Zcash
- không
- bằng chứng không kiến thức