Các chuyên gia của chúng tôi cho chúng tôi biết cách một khái niệm mật mã phức tạp được ứng dụng trong lĩnh vực mật mã. Và tại sao các công ty khởi nghiệp sử dụng công nghệ ZK thu hút hàng triệu đô la từ các nhà đầu tư
Ngay từ năm 2019, các nhà đầu tư mạo hiểm hướng đến tiền điện tử đã hỗ trợ các công ty khởi nghiệp. Những công ty này tham gia vào việc phát triển các giải pháp kỹ thuật liên quan đến công nghệ bằng chứng không kiến thức (bằng chứng không kiến thức hoặc bằng chứng ZK, ZK). Phần lớn là nhờ vào lĩnh vực mật mã mà khái niệm mật mã phức tạp đã trở thành một công cụ tiếp thị thành công cho các công ty khởi nghiệp. Những công cụ này đang tạo ra để tối ưu hóa Ethereum và các mạng khác.
Matter Labs đã huy động được gần 0,5 tỷ đô la từ các quỹ để phát triển giải pháp zkSync của mình. Và việc Polygon Labs ra mắt môi trường phần mềm zkEVM của Polygon, với nguồn tài trợ tương tự, là một sự kiện trong cộng đồng tiền điện tử. Các dự án như Starknet hoặc Scroll có giá trị hàng tỷ đô la. Và tất cả chúng đều sử dụng công nghệ ZK-proofs theo cách này hay cách khác.
Năm 1985, các nhà khoa học Shafi Goldwasser, Silvio Micali và Charles Rakoff đã xuất bản một bài báo có tên "Độ phức tạp của kiến thức trong hệ thống chứng minh tương tác". Đây là công thức lý thuyết đầu tiên về công nghệ chứng minh không tiết lộ thông tin.
Để đơn giản hóa rất nhiều, kỹ thuật mật mã này cho phép bạn chứng minh rằng bạn biết một điều gì đó mà không tiết lộ chính xác những gì bạn biết. Trong bối cảnh tiền điện tử, điều này có thể được minh họa, ví dụ, như xác minh rằng người dùng có tiền để chuyển. Và không tiết lộ cho những người tham gia khác của mạng lưới biết người dùng này là ai và anh ta có bao nhiêu tiền trong ví.
Những bằng chứng như vậy phức tạp về mặt kỹ thuật và tốn nhiều tính toán
Vì rất phức tạp nên công nghệ này đã không được hiện thực hóa trong một thời gian khá dài. Và nó chủ yếu được thảo luận trong giới khoa học. Nhưng bắt đầu từ năm 2010, các nhà nghiên cứu nhận ra rằng ZK-proof có thể được triển khai trên các máy tính hiện tại.
Tương tự như vậy với sự xuất hiện của máy tính nhanh hơn và nhiều nguồn tài trợ hơn cho nghiên cứu về mật mã. Và các nhà nghiên cứu, bao gồm phó giáo sư Justin Thaler của Đại học Georgetown, đã mô tả cách tạo ra bằng chứng không tiết lộ trên các máy tính thực. Thaler cũng là một nhà nghiên cứu tại a16z crypto, một bộ phận của công ty đầu tư mạo hiểm Andreessen Horowitz. Ông cũng quản lý bốn quỹ để đầu tư vào các dự án blockchain với tổng giá trị hơn 7 tỷ đô la.
Việc ra mắt và phân phối điện toán đám mây cũng thúc đẩy hơn nữa việc áp dụng công nghệ này. Ví dụ, máy tính xách tay hoặc điện thoại thông minh chậm hơn sức mạnh kết hợp của các máy chủ của Amazon. Nhưng với ZK-proofs, một máy tính duy nhất có thể xác nhận rằng nhiều máy tính đã thực hiện chương trình một cách chính xác.
Khi $BTC xuất hiện vào năm 2009, đã có cuộc thảo luận ban đầu về việc giảm gánh nặng tính toán trên blockchain và quyền riêng tư trong blockchain. Và sau đó, hai vấn đề nảy sinh - hiệu suất tương đối chậm của blockchain do cấu trúc phi tập trung của nó. Và cả tính minh bạch của nó, cho phép các nhà phân tích xác định và theo dõi các ví có liên kết với người dùng thực.
Vào năm 2013, một nhóm các nhà khoa học, dựa trên những cải tiến trong việc triển khai công nghệ ZK-proofs, đã đưa ra các đề xuất cho giải pháp Zerocoin. Và giải pháp này được cho là sẽ giúp các giao dịch Bitcoin hoàn toàn ẩn danh. Hợp tác với Zuko Wilcox, cuối cùng họ đã tung ra đồng tiền điện tử Zcash ( $ZEC ). Có lẽ đây là lần đầu tiên công nghệ ZK-proofs được triển khai trên quy mô lớn.
Bản chất của công nghệ ZK dành cho tiền điện tử
Bản chất của công nghệ trong bối cảnh tiền điện tử không chỉ là về quyền riêng tư. Khi Ethereum trở nên phổ biến với sự lan rộng của công nghệ blockchain. Và ngày càng nhiều nhà phát triển tạo ra các ứng dụng phức tạp hơn để chạy trên đó. Nhưng ngược lại, họ cần các cách để tăng tốc độ của các ứng dụng. Ethereum, để đơn giản hóa mọi thứ một chút, về cơ bản là một máy tính phi tập trung chạy tương đối chậm.
Nhà đồng sáng lập Ethereum Vitalik Buterin đã nhiều lần nói rằng đó là giải pháp sử dụng ZK-proofs. Và đặc biệt là cái gọi là ZK-rollups sẽ giúp tăng băng thông của mạng. Và trong tương lai sẽ được tích hợp vào mã phần mềm của nó.
Bằng chứng không tiết lộ cho phép chứng minh sự thật của một điều gì đó mà không cần kiểm tra từng tuyên bố. Sử dụng thuộc tính này, các giải pháp như zkSync "giảm thiểu". Nghĩa là, chúng biên dịch và xử lý các giao dịch bên ngoài chuỗi khối Ethereum chính và chứng minh rằng chúng đã làm chính xác. Ngay sau đó, chuỗi khối chính chỉ xác minh bằng chứng này. Và điều đó mất ít thời gian hơn đáng kể so với việc xác minh từng giao dịch theo cách thông thường.
Hàng chục công ty khởi nghiệp đang phát triển một loạt các giải pháp sử dụng ZK, bao gồm zkSync, Aztec, Scroll, Starknet và các giải pháp khác. Họ cạnh tranh với một nhóm giải pháp mở rộng Ethereum khác được gọi chung là Optimistic rollups. Và nổi tiếng nhất trong số đó là các dự án Optimism và Arbitrum. Các công ty đã hình thành nên toàn bộ một ngành công nghiệp trong thị trường tiền điện tử và đã cùng nhau thu hút được hàng tỷ đô la từ các nhà đầu tư.
Tăng tốc Ethereum
Vào ngày 8 tháng 6, dự án Taiko thông báo rằng họ đã huy động được 22 triệu đô la để phát triển zkEVM của riêng mình. Đây là giải pháp mà Vitalik Buterin gọi là thiết yếu để mở rộng quy mô chuỗi khối Ethereum.
ZkEVM (Zero-Knowledge Ethereum Virtual Machine) là một sự phát triển kết hợp khả năng của Ethereum với khái niệm bằng chứng không kiến thức. Matter Labs là công ty đứng sau giải pháp zkSync đầu tiên triển khai phiên bản zkEVM của mình ra công chúng cùng với việc ra mắt mạng lưới zkSync Era.
Giải pháp zkEVM chủ yếu là một công cụ để mở rộng Ethereum. Nhưng cũng bao gồm các tính năng tăng cường quyền riêng tư. Nó kết hợp các lợi ích của công nghệ chống ZK và khả năng tương thích với môi trường ứng dụng Ethereum Virtual Machine (EVM). Đồng thời cung cấp các giao dịch nhanh hơn, rẻ hơn và riêng tư hơn.
Nói một cách đơn giản, zkEVM cho phép các nhà phát triển tạo ra các giải pháp cấp hai như ZK rollups. Điều này giúp giảm tình trạng tắc nghẽn và hạn chế băng thông trên mạng Ethereum cốt lõi. Và điều đó dẫn đến việc chuyển tiền nhanh hơn và rẻ hơn. Cách tiếp cận của các dự án như zkSync cho phép giao dịch nhanh chóng và rẻ hơn trong $ETH . Trong khi vẫn duy trì bảo mật dữ liệu và quyền riêng tư.
Các chuyên gia của chúng tôi chỉ ra rằng hoạt động chậm của mạng lưới và hoa hồng cao cản trở sự lan truyền rộng rãi của công nghệ blockchain. Do đó, các nhà đầu tư nên hỗ trợ các công ty khởi nghiệp cung cấp các giải pháp hiệu quả.