Ngày 19/7, RISC Zero, một công ty cơ sở hạ tầng được thiết kế để giúp các nhà phát triển xây dựng sản phẩm dựa trên công nghệ Zero-Proof, thông báo hoàn thành vòng tài trợ Series A trị giá 40 triệu USD, do Blockchain Capital dẫn đầu, với sự tham gia của Galaxy Digital, IOSG…
Với tư cách là nhà đầu tư chính, Blockchain Capital đã viết một bài báo phân tích sự phát triển của điện toán không kiến thức, các đặc điểm và lợi thế của RISC Zero, Tiendientu tổng hợp lại như sau:
Blockchain Capital: Hãy tưởng tượng một thế giới nơi quyền riêng tư, bảo mật và độ tin cậy của dữ liệu không còn là mối quan tâm nữa, nơi chuỗi cung ứng phần mềm minh bạch và có thể kiểm chứng, nơi một thế hệ ứng dụng mới có thể khai thác sức mạnh của điện toán không tri thức để giải quyết một số thách thức cấp bách nhất của thời đại kỹ thuật số. Đây là lời hứa về điện toán không kiến thức (ZK) và là lý do tại sao chúng tôi đầu tư vào RISC Zero, một công ty tiên phong nhằm mục đích dân chủ hóa quyền truy cập vào ZK thông qua mạng Bonsai của mình.
Điện toán không kiến thức là một nguyên thủy mang tính cách mạng cho phép các ứng dụng và giao thức khai thác ba thuộc tính chính là đơn giản, chính xác và không kiến thức. Điều này có nghĩa là bằng cách xác minh bằng chứng ZK (tính chính xác), người xác minh có thể biết với sự đảm bảo gần như chính xác rằng một phép tính đã được thực hiện chính xác.
Hơn nữa, bằng chứng đã xác minh sẽ ngắn gọn hơn nhiều so với tính toán ban đầu và thuộc tính không kiến thức của bằng chứng cũng có thể được khai thác để đảm bảo rằng người xác minh không biết gì về bản thân tính toán. Sự kết hợp các thuộc tính độc đáo này có ý nghĩa sâu rộng và cung cấp một cách mới để xác minh thông tin. Cùng với nhau, các thuộc tính này cân bằng nhu cầu về quyền riêng tư, bảo mật và tin cậy, mang lại tiềm năng cho một thế giới kỹ thuật số an toàn và riêng tư hơn. Nhưng vẫn còn một số trở ngại trước khi ZK có thể phát huy hết tiềm năng của mình.
Đầu tiên, chạy tính toán trong ZK quá tốn thời gian và tốn kém. Thời gian và chi phí kiểm chứng cần phải giảm đáng kể để có thể thực hiện các phép tính phức tạp trong ZK. Tin tốt là những thứ này đang giảm đi đáng kể: quỹ đạo của thời gian và chi phí bằng chứng ZK đã đi theo những xu hướng quen thuộc trong lịch sử công nghệ—cho dù đó là Định luật Moore (chi phí tính toán giảm một nửa sau mỗi hai năm), Định luật Flatley (chi phí của trình tự tốc độ suy giảm chậm của con người) hoặc Định luật Clyde (mật độ đĩa tăng gấp đôi sau mỗi 13 tháng). Những tiến bộ kiến trúc gần đây trong các hệ thống chứng minh (Plonky2, Hyperplonk, STARK) và những tiến bộ trong mật mã cơ bản (Poseidon) làm giảm chi phí cần thiết để tạo chứng minh ZK cho bất kỳ tính toán nào. Và những tiến bộ trong các lĩnh vực này sẽ tiếp tục diễn ra với tốc độ tương tự (đặc biệt là dòng tài năng gần đây đổ vào ZK), chứng tỏ rằng chi phí chung cũng sẽ được hưởng lợi từ những tiến bộ trong tăng tốc phần cứng (MSM, NTT), một thứ cho đến nay vẫn chưa được khai thác.
Một trở ngại lớn khác đối với việc áp dụng hàng loạt ZK là toán học và mật mã rất phức tạp vốn có trong các hệ thống ZK. Độ sâu và trình độ chuyên môn cần thiết để thúc đẩy sự đổi mới của ZK chỉ có thể đạt được bởi một nhóm nhỏ các nhà phát triển công nghệ có tay nghề cao.
Lý tưởng nhất là các nhà phát triển có thể tự do viết chương trình bằng ngôn ngữ yêu thích của họ trong khi vẫn có thể chứng minh các phép tính mà không cần kiến thức mà không cần phải viết tay các mạch đầu vào và thiết kế bằng ngôn ngữ lập trình dành riêng cho ZK ở mức độ thấp. Đây là lý do tại sao nền tảng Bonsai của RISC Zero trở thành công cụ thay đổi cuộc chơi dành cho các nhà phát triển trên toàn thế giới và là lý do tại sao chúng tôi đầu tư vào RISC Zero.
Bằng cách tạo một máy ảo không kiến thức (zkVM) mô phỏng kiến trúc tập lệnh RISC-V (ISA), RISC Zero đã xây dựng một hệ thống có khả năng chứng minh khả năng thực thi mã ở mức độ thấp. Vì ISA là cầu nối giữa mã mà con người có thể đọc được và hướng dẫn mà máy có thể hiểu được, nên thành tích này có nghĩa là mạng Bonsai có thể chứng minh rằng bất kỳ chương trình cấp cao nào cũng có thể được biên dịch theo kiến trúc này. Vì hầu hết các ngôn ngữ lập trình hiện đại đều tương thích với RISC-V, Bonsai của RISC Zero có thể thực thi hầu như bất kỳ chương trình máy tính tùy ý nào mà không cần kiến thức.
Trong tương lai khi điện toán không kiến thức (ZK) trở nên phổ biến, nhiều ứng dụng trước đây không thể thực hiện được sẽ trở nên khả thi. Điều này không chỉ bao gồm các ứng dụng dựa trên Ethereum, sử dụng mạng Bonsai của RISC Zero làm bộ đồng xử lý (thực hiện công việc ngoài chuỗi sử dụng nhiều tài nguyên trước khi xác thực kết quả trên chuỗi), mà còn sẽ mở rộng ra ngoài tiền điện tử. Ví dụ: Bonsai cho phép tin tặc mũ trắng chứng minh sự tồn tại của lỗ hổng bảo mật và lỗi mà không trực tiếp tiết lộ lỗ hổng. Nó cũng có thể ngăn chặn các cuộc tấn công chuỗi cung ứng trong tương lai vào phần mềm bằng cách cho phép người dùng tải xuống và xác minh bằng chứng ZK để đảm bảo mã họ chạy đã được kiểm tra trước trong Bonsai. Điều thú vị nhất là việc áp dụng rộng rãi Bonsai có thể dẫn đến những trường hợp sử dụng hoàn toàn mới chưa từng được tưởng tượng.
Ngoài bước đột phá công nghệ ấn tượng, đằng sau RISC Zero còn có một đội ngũ mạnh mẽ và độc đáo. Ba nhà đồng sáng lập Brian Retford, Jeremy Bruestle và Frank Laub đã biết nhau hơn 20 năm. Kinh nghiệm được chia sẻ của họ bao gồm việc đồng sáng lập một số công ty, gần đây nhất là dự án liên doanh tối ưu hóa và biên dịch AI mà cuối cùng đã được Intel mua lại.
Mỗi thành viên của bộ ba đều mang đến nhiều kinh nghiệm cho RISC Zero: Brian đã làm việc về hệ thống định giá và đo lường tại Google Cloud Platform; Jeremy là một người đam mê toán học suốt đời làm việc về khả năng tăng tốc GPU để giải trình tự gen và Với kiến thức nền tảng về mật mã học, hiệu suất cao máy tính (HPC) và bảo mật; Frank có nền tảng vững chắc về trình biên dịch và đã xây dựng nhiều cơ sở mã. Với lịch sử được chia sẻ và bộ kỹ năng đa dạng, nhóm RISC Zero có vị trí độc nhất để mang điện toán không kiến thức đến với đại chúng, có khả năng định hình lại bối cảnh kỹ thuật số trong quá trình này.
Khi chúng ta hướng tới một tương lai nơi máy tính không tri thức được phổ biến rộng rãi, khả năng đổi mới là vô tận. Có khả năng hỗ trợ nhiều loại ngôn ngữ lập trình, mạng Bonsai của RISC Zero sẽ dân chủ hóa điện toán ZK và cho phép các nhà phát triển tạo các ứng dụng an toàn, riêng tư và không tin cậy trong các miền khác nhau. Từ việc tăng cường các biện pháp an ninh mạng đến tăng cường niềm tin vào chuỗi cung ứng phần mềm đến tăng đáng kể sức mạnh tính toán sẵn có cho các ứng dụng trên chuỗi, tác động tiềm tàng của điện toán không kiến thức là rất lớn. Thời gian và chi phí chứng minh ZK giảm nhanh chóng, đội ngũ trung thành của RISC Zero và sự xuất hiện của Bonsai như một nền tảng điện toán đa năng báo trước một kỷ nguyên điện toán mới—với quyền riêng tư, bảo mật và sự tin cậy được tích hợp vào kết cấu của thế giới kỹ thuật số của chúng ta.
