Succinct là gì?

Succinct đang phát triển một cơ sở hạ tầng cho phép tất cả các nhà phát triển sử dụng công nghệ bằng chứng không có kiến thức (ZK proof) một cách hiệu quả. Hiện tại, Succinct đã ra mắt một zkVM SP1 mô-đun mã nguồn mở và hiện đang phát triển một mạng lưới prover phi tập trung, Mạng Prover Succinct. Trong tương lai, mạng này sẽ có khả năng chạy ZK-proof Rollups, Coprocessors và các cơ sở hạ tầng khác, phục vụ như một "cơ sở hạ tầng tiên tiến hơn cho các dịch vụ cơ sở hạ tầng ZK".

Tại sao Công nghệ Chứng minh ZK quan trọng?

ZK proofs có thể bảo vệ hiệu quả sự riêng tư trong quá trình hoàn thành quá trình chứng minh. Ví dụ, giả sử một người muốn cung cấp cho một công ty bằng chứng của báo cáo kiểm tra sức khỏe mà không muốn phổ biến hoặc giữ lại những dữ liệu y tế nhạy cảm đó. Bằng cách tạo ra một bằng chứng ZK, người dùng có thể chứng minh tình trạng sức khỏe của họ đáp ứng yêu cầu của công ty mà không cần cung cấp báo cáo dữ liệu y tế thực sự, do đó tránh được nguy cơ rò rỉ thông tin cá nhân.

Trong lộ trình cho việc áp dụng rộng rãi của blockchain, bằng chứng ZK được coi là một công nghệ chủ chốt quan trọng cho tương lai của blockchain. Chúng cho phép các nhà phát triển blockchain chứng minh không thể đảo ngược bất kỳ tuyên bố nào, chẳng hạn như hàm chuyển trạng thái của blockchain hoặc chứng minh đồng thuận.

Hơn nữa, bằng chứng ZK là không cần sự cho phép, không phụ thuộc vào vốn bên ngoài hoặc các nhà điều hành để bảo mật, có khả năng chứng minh tính hợp lệ của bất kỳ tuyên bố nào; bằng chứng ZK cũng hiệu quả, chỉ cần một bên tạo ra và cho phép bất kỳ ai xác minh.

Tình hình phát triển nhóm và tài chính

Succinct được thành lập vào năm 2022, với một đội ngũ nhỏ và một văn phòng tại San Francisco. Người sáng lập trước đây đã viết và công bố nghiên cứu về cầu ZK, khả năng tương tác và sắp xếp chia sẻ. Đội cũng có nhiều năm kinh nghiệm làm việc trong lĩnh vực các nền tảng đào tạo mô hình, nền tảng dữ liệu và trí tuệ nhân tạo.

Nhiều khách hàng của Succinct là những đội hàng đầu trong ngành công nghiệp. Hiện tại, Wormhole, Lido, Near, Celestia (Blobstream X), Avail (Vector bridge), và Gnosis (native bridge) đã sử dụng các phiên bản sớm của Mạng Prover do Succinct phát triển, tạo ra ZK-proof DApps theo tiêu chuẩn giao thức Succinct.

Vào ngày 22 tháng 3 năm 2024, Succinct công bố rằng họ đã nhận được vốn Seri A trị giá 43 triệu đô la do Paradigm dẫn đầu. Đến nay, tổng số vốn của nhóm (vòng gieo mầm và Seri A) lên đến 55 triệu đô la, với sự tham gia của Robot Ventures, Bankless Ventures, Geometry, ZK Validator, và các nhà đầu tư thiên thần như nhà sáng lập Eigenlayer Sreeram Kannan, cùng các nhà sáng lập Polygon Sandeep Nailwal, nhà sáng lập Polygon Zero Daniel Lubarov, và nhà sáng lập Bitwise Elad Gil.

Nguồn: Twitter của Nhóm Dự án

Nền tảng của Nhóm Phát triển

Uma Roy

Uma Roy là cộng sự sáng lập và CEO của Succinct. Trong thời thanh thiếu niên, cô tham gia vòng loại cho Olympic Toán học Trẻ tài năng Hoa Kỳ (USAJMO), được coi là một trong những cuộc thi uy tín nhất dành cho học sinh trung học ở Hoa Kỳ. USAJMO thường chọn người tham gia dựa trên chỉ số AMC 10, với chỉ có 230-240 học sinh đủ điều kiện cho vòng loại mỗi năm.

Uma đã nhận cả bằng cử nhân lẫn thạc sĩ từ MIT, nơi mà cô tiếp tục sở thích trong lý thuyết biểu diễn (một nhánh của đại số trừu tượng) và đại số lượng tử từ trường trung học. Sau năm 2019, cô chuyển sự chú ý của mình sang các nền tảng dữ liệu và trí tuệ nhân tạo, bắt đầu một chương trình thực tập một năm tại Google Brain AI vào tháng Tám. Vào năm 2021, cô trở thành kỹ sư đầu tiên tại startup Gantry, nổi tiếng với các khách hàng nổi bật như Duolingo, giúp họ phát triển một nền tảng giám sát mô hình học máy.

John Guibas

John Guibas là người sáng lập Succinct, và theo Google Scholar, anh ấy đã xuất bản các bài báo từ năm 2017, với số lần trích dẫn hiện tại là 447. Năm 2017, khi vẫn còn là học sinh trung học, John nhận được học bổng AI từ các nhà đầu tư nổi tiếng Nat Friedman và Daniel Gross (họ đã từng đầu tư vào Figma và Stripe). Ban đầu, dự án này cung cấp học bổng nghiên cứu để hỗ trợ nghiên cứu AI triển vọng mà không có điều kiện; sau này, nó đã phát triển thành một chương trình tăng tốc hỗ trợ các doanh nghiệp khởi nghiệp AI giai đoạn đầu. Lúc đó, chủ đề mà John và hai người khác đang làm việc đã liên quan đến quyền riêng tư: họ nghiên cứu cách sử dụng GANs để tạo dữ liệu huấn luyện có thể sử dụng và bảo vệ quyền riêng tư.

Năm 2019, anh ấy nhập học tại Stanford để học ngành khoa học máy tính, dành phần lớn thời gian đại học của mình tại phòng thí nghiệm Stanford DAWN và trung tâm nghiên cứu NVIDIA, tập trung vào hệ thống cơ sở dữ liệu và học máy. Năm 2022, anh ấy nhận được Học bổng Paradigm và bỏ học tại Đại học Stanford trong năm thứ ba của mình. Cùng năm đó, anh ấy cũng tham gia vào chương trình thâm niên tại Quỹ 0xPARC (một tổ chức hỗ trợ hệ sinh thái Ethereum), nơi anh ấy nghiên cứu công nghệ ZK-proof.

Trong năm 2022, anh ấy bắt đầu hợp tác với các giáo sư và đối tác nghiên cứu để phát triển bản nguyên mẫu của Succinct. Họ đã phát hiện ra rằng zkSNARKs rất phù hợp để xác minh các mô hình ML, dẫn đến việc thiết lập một lớp tương thích không cần tin cậy trên hệ sinh thái Ethereum sử dụng zkSNARKs. Các đóng góp quan trọng bao gồm Daniel Kang, Tatsu Hashimoto, Yi Sun và Matei Zaharia.

Năm 2023, do thành lập Succinct, John nhận được Học bổng Thiel danh giá. Học bổng này dành cho cá nhân dưới 22 tuổi và cung cấp 100.000 đô la để tự do khám phá trong hai năm. Những người nhận học bổng đáng chú ý bao gồm nhà sáng lập Ethereum Vitalik Buterin và người sáng lập Blur/Blast, Tieshun Roquerre.

Vấn đề mà Succinct giải quyết là gì?

Vấn đề 1: Niềm tin đã đối mặt với nhiều thách thức trong không gian Blockchain

Bảo mật Cầu Nối Mạng Lưới Chéo: Cầu nối mạng lưới chéo liên tục bị dễ bị tấn công bởi các hacker. Vấn đề bảo mật này vẫn chưa được giải quyết, dẫn đến việc xâm nhập thường xuyên và mất vốn trên các mạng lưới blockchain khác nhau.

Chứng minh gian lận Multisig: Việc phát hành Blast đã phát huy vấn đề với multisig (nhiều chữ ký) khi người dùng chỉ ra sự vắng mặt của chứng minh gian lận trong nhiều giải pháp Layer 2 mà mọi người thường sử dụng. Sự phát hiện này đã cho thấy rằng hầu hết các nền tảng Layer 2 thiếu cơ chế để chứng minh hoặc phủ nhận các hoạt động gian lận trong các hoạt động multisig của họ.

Các nút xác thực tập trung: Vào năm 2022, đã xuất hiện các cáo buộc liên quan đến Chuỗi BNB, bị cáo buộc được kiểm soát bởi một ủy ban do Binance chọn lựa. Ủy ban này, luân phiên sản xuất các khối, bao gồm 21 nút xác thực kiểm soát hàng tỷ đô la. Các nút này được chọn từ 11 thành viên được kiểm soát bởi Binance, gây ra lo ngại về sự tập trung và khả năng can thiệp.

Khả năng mở rộng so với Niềm tin: Niềm tin thường trở thành nạn nhân trong việc tìm kiếm khả năng mở rộng. Các cơ chế giao dịch hiện tại không hiệu quả, và việc tuyển dụng người staking hoặc các nhà điều hành node phức tạp và tốn thời gian. Những yếu tố này góp phần tạo ra những chi phí cao làm trở ngại cho việc mở rộng.

Để đáp ứng những vấn đề này, Succinct ủng hộ khẩu hiệu “Chân lý có thể lập trình”. Kiến trúc blockchain hiện tại được xây dựng trên sự tin cậy, điều này vô cùng mong manh khi đối mặt với bản chất con người. Như Uma, người sáng lập, nói, “Các cấu trúc này dựa trên sự chân thật mật mã, không phải niềm tin” (được bảo vệ bởi sự chân thật mật mã, không phải niềm tin). Việc áp dụng rộng rãi của chứng minh Zero-Knowledge (ZK) được coi là cách duy nhất để đạt được một thế hệ mới của kiến trúc blockchain mạnh mẽ, có khả năng mở rộng và sáng tạo hơn.

Vấn đề 2: Chứng minh ZK quan trọng nhưng quá phức tạp

Hiện tại, việc triển khai chứng minh ZK yêu cầu một lượng lớn sự tinh chỉnh. Succinct đã làm việc trên nhiều dự án cầu ZK trước đó và nhận ra rằng mỗi dự án đòi hỏi sự tinh chỉnh phức tạp và cần phải triển khai lặp đi lặp lại. Quan trọng nhất, không ai thích viết mạch ZK (mạch là biểu diễn của các hàm logic trong ngữ cảnh của chứng minh không thông qua), điều này đòi hỏi kiến thức toán học sâu rộng.

Trong quá trình này, Succinct nhận ra rằng câu trả lời nằm trong zkVM (Máy ảo không thông báo), dẫn đến việc phát triển SP1. Các nhà phát triển có thể triển khai mã Rust vào sản xuất, theo dõi nó và yêu cầu chứng minh, giúp cấu hình API trở nên dễ dàng hơn nhiều. Succinct cũng cung cấp một trình duyệt chứng minh tích hợp cho phép nhà phát triển xem tất cả các chứng minh và theo dõi mọi thứ.

Vấn đề 3: Lĩnh vực chứng minh ZK hiện tại đang bị phân mảnh

Điểm này đề cập đến tương lai. Họ tin rằng mặc dù công nghệ ZK đang tiến triển nhanh chóng, chuỗi cung ứng cho bằng chứng ZK đang bị phân mảnh và không thể đuổi kịp sự tiến bộ trong công nghệ ZK.

Do đó, các ứng dụng phi tập trung hiện tại dựa trên ZK proofs đòi hỏi các nhà phát triển triển khai cho nhu cầu cụ thể, thường dẫn đến việc sử dụng một lần và quá nhiều sự phụ thuộc vào các bên chứng minh tập trung, làm chậm tốc độ phát triển và tăng chi phí. Việc tích hợp một thiết kế triển khai tiêu chuẩn vào mọi phần của stack, bao gồm L2, co-processors, Cầu nối, v.v., đòi hỏi cơ sở hạ tầng ZK phức tạp hơn. Đó là mục tiêu của Mạng Chứng minh Ngắn gọn đang phát triển hiện nay.

Cơ chế Sản phẩm và Vận hành của Succinct

The Open Source zkVM, SP1

Nguồn: Blog Chính thức

Vào ngày 14 tháng 2 năm 2024, Succinct thông báo việc phát hành SP1 trên Twitter. Việc phát triển SP1 chia sẻ một số điểm tương đồng với sự tiến hóa của AI. Trước khi có GPT-4, việc tham gia phát triển AI đòi hỏi một loạt các nhiệm vụ phức tạp: thu thập dữ liệu, làm sạch dữ liệu, huấn luyện mô hình, điều chỉnh mô hình, vv., cùng với chuyên môn liên quan. Với sự xuất hiện của GPT-4, bất kỳ ai cũng có thể sử dụng AI bằng cách gọi API của OpenAI.

Theo cùng một hướng, SP1, hoặc bất kỳ zkVM mã nguồn mở tiên tiến nào, tương tự như GPT-4 của thế giới Chứng minh không dùng kiến thức (ZKP). Trong tương lai, tất cả các zkRollups, zk Oracles hoặc zkBridges sẽ có thể chứng minh mã ZKP của họ được viết bằng ngôn ngữ Rust hoặc WASM chuẩn thông qua zkVM, loại bỏ nhu cầu tạo ra mạch phức tạp.

Trước đây, người ta cho rằng các dự án ZK phải viết mạch tùy chỉnh để đạt được hiệu suất sử dụng. Tuy nhiên, SP1 đã đem lại hiệu suất của một zkVM đa dụng gần bằng hiệu suất của các mạch ZK tùy chỉnh, phản ánh tâm trạng của người sáng lập Uma khi đã 'bỏ lại tất cả những vấn đề mạch địa ngục'.

SP1 cung cấp nhiều gói và thư viện để các nhà phát triển sử dụng lại, với tính mở hoàn toàn của nó là khía cạnh quan trọng nhất. Các zkVM trước đây có logic ràng buộc nguồn đóng không thể sửa đổi được. SP1, mặt khác, áp dụng kiến trúc mô-đun có thể tùy chỉnh ngay từ đầu. Khả năng tùy chỉnh này cho phép các nhà phát triển thêm "biên dịch trước" vào logic zkVM cốt lõi, nâng cao đáng kể hiệu suất.

Sự quan trọng của việc mã nguồn mở không thể được đánh giá quá cao. RISC Zero, một đối thủ chính trong lĩnh vực này, có logic nhân đóng; trong khi phiên bản biên dịch của họ là mã nguồn mở, không thể được chỉnh sửa bởi các nhóm bên ngoài. Khả năng không thể chỉnh sửa RISC Zero của Succinct đã thúc đẩy nhóm tạo ra một zkVM thực sự mã nguồn mở, nhằm mục tiêu tạo ra một sản phẩm có thể tùy chỉnh, có thể được cộng đồng chỉnh sửa và không có rủi ro từ nhà cung cấp hoặc nền tảng.

Một lý do khác cho việc tập trung vào mã nguồn mở là SP1 chính nó được phát triển bằng cách sử dụng Plonky3 từ Polygon Zero. Ví dụ, logic ràng buộc của Succinct được biểu diễn bằng công cụ Air Builder của Plonky3. Plonky là một thư viện/công cụ thành phần linh hoạt mà các nhà phát triển có thể sử dụng để xây dựng các hệ thống chứng minh mới và zkVMs, với một cộng đồng mã nguồn mở mạnh mẽ. Succinct đã sử dụng Plonky2 trong nhiều dự án trước đây, với Plonky3 là một phiên bản chất lượng cao hơn của Plonky2 vẫn đang được cải thiện. Thậm chí, Succinct đã hợp nhất một số PR vào upstream của Plonky3, đóng góp vào cộng đồng mã nguồn mở của Plonky.

Mạng Chứng minh Phi tập trung: Mạng Chứng minh Ngắn gọn

Mạng lưới Succinct Prover hiện đang được phát triển. Nó là một mạng lớp cơ sở hạ tầng được lưu trữ, cho phép các ứng dụng phi tập trung (DApps) thuê ngoài các quy trình tạo bằng chứng của chúng cho một thị trường bằng chứng. Bằng cách sử dụng SP1 hoặc các zkVM khác, các nhà phát triển có thể dễ dàng triển khai DApp của họ sử dụng bằng chứng không có kiến thức (ZK) lên mạng. Ngoài ra, mạng này hoạt động như một thị trường mở: các nhà phát triển chỉ cần gửi yêu cầu bằng chứng đến mạng và cơ chế đấu giá sẽ khớp các yêu cầu này với các nhà chứng minh hoạt động trên phần cứng mới nhất; Provers cũng có thể kiếm được phí bằng cách tạo ra các bằng chứng đáng tin cậy, hiệu quả về chi phí trong mạng mở này.

Tương lai của Chuỗi cung ứng chứng minh

Khi một bằng chứng được tạo ra, nó liên quan đến nhiều người tham gia và các bước, có thể được gọi là chuỗi cung ứng bằng chứng. Việc tạo ra các bằng chứng hoạt động như sau: các nhà phát triển yêu cầu một bằng chứng, thể hiện logic của họ bằng cách sử dụng một hệ thống chứng minh nhất định, cho dù đó là thông qua các mạch hay zkVM; sau đó, bằng chứng được tạo ra và có thể là aggreGate.iod trước khi đến chuỗi của DApp. Vào tháng 11 năm 2023, Succinct đã ra mắt "giao diện người dùng" đầu tiên của Mạng lưới Prover Succinct: alpha.succinct.xyz. DApps bây giờ có thể được triển khai thông qua nó. Điều này đại diện cho một phiên bản đơn giản hóa của chuỗi cung ứng bằng chứng, với chính nền tảng Succinct hiện đang đóng vai trò là chuỗi cung ứng bằng chứng hoàn chỉnh. Tuy nhiên, đây không phải là trạng thái bền vững do hai nguyên nhân chính: khó khăn về giá cả, khi sự phức tạp của chuỗi cung ứng chứng minh tăng lên, khó khăn về giá cả cũng vậy; và phần cứng có thể đưa sự phức tạp vào giá cả, với tiềm năng cho các nhà cung cấp phần cứng khác nhau, đặt ra câu hỏi liệu DApp có muốn đàm phán với 20 nhà cung cấp phần cứng khác nhau để tìm giá hoặc dung lượng tốt nhất hay không.

Sứ mệnh của Succinct là cung cấp một không gian cho tất cả mọi người trong chuỗi cung ứng chứng minh để phối hợp với nhau, khiến cho một thị trường mạng chứng minh mở trở thành một thành phần thiết yếu của toàn bộ chuỗi cung ứng chứng minh. Trong hệ sinh thái chuỗi cung ứng chứng minh tương lai, vì tất cả DApps và cơ sở hạ tầng di truyền mượt mà kế thừa các hệ thống chứng minh ZK và công nghệ phần cứng tùy chỉnh mới nhất trong Mạng Chứng minh Succinct, thị trường mạng chứng minh phi tập trung này sẽ đạt được quy mô kinh tế. Điều này cho phép các nhà phát triển truy cập chứng minh ZK hiệu quả và giá rẻ (cơ chế thị trường tự do cạnh tranh đảm bảo DApps có thể có chi phí thấp nhất có thể); trong tương lai, chứng minh phi tập trung có thể được tạo ra trên nhiều loại phần cứng khác nhau, giảm chi phí chứng minh từ 10-100 lần, cuối cùng khiến chứng minh ZK có thể áp dụng cho tất cả cơ sở hạ tầng.

Phân tích cạnh tranh

Nhiều dự án mã nguồn mở chia sẻ các mục tiêu tương tự với SP1:

• Đội của Andreessen, bao gồm Justin Thaler và Sam Ragsdale, đã nghiên cứu về Lasso và Jolt. Succinct tin rằng việc phát triển các công nghệ này có thể trở thành một phần của SP1 trong tương lai, và ngược lại.
• Các dự án dựa trên phương pháp gập
• Các dự án khác tương tự phương pháp ZK-Stark-FRI

Nhóm cho biết rằng, nếu có thể, Mạng Succinct Prover trong tương lai sẽ hỗ trợ không chỉ SP1 mà còn Lasso, Jolt, hoặc RISC Zero mã nguồn mở, vì họ nhắm đến tính mô đun hoàn chỉnh và linh hoạt. Chỉ có cách tiếp cận này mới đảm bảo sự phát triển nhanh chóng của công nghệ ZK một cách bền vững nhất.

Nhiều dự án mã nguồn mở chia sẻ các mục tiêu tương tự với SP1. Nhóm của Andreessen, bao gồm Justin Thaler và Sam Ragsdale, đã nghiên cứu về Lasso và Jolt. Succinct tin rằng việc phát triển các công nghệ này có thể trở thành một phần của SP1 trong tương lai, và ngược lại.

Nhóm chỉ ra rằng, nếu có thể, Mạng Succinct Prover trong tương lai sẽ hỗ trợ không chỉ SP1 mà còn Lasso, Jolt, hoặc RISC Zero mã nguồn mở, vì họ nhắm đến tính linh hoạt và tách rời hoàn toàn. Chính cách tiếp cận này mới đảm bảo sự phát triển nhanh chóng của công nghệ ZK một cách bền vững nhất.

Kết luận

Bảo mật

Hiện tại, lộ trình cho Succinct chỉ là một cơ sở hạ tầng và không chịu trách nhiệm về bảo mật. Về cơ bản, đó chỉ là một phương pháp để lưu trữ các tập tin mạch và APIs, có thể được sử dụng để yêu cầu các bằng chứng, thực hiện chứng minh phân tán quy mô lớn, và vân vân. Các mạch chính cần được kiểm tra, và các nhà phát triển viết các mạch này phải đảm bảo tính toàn vẹn của những gì đang được chứng minh, không phải nền tảng. Sự khó khăn trong việc viết và kiểm tra mạch vẫn có thể tạo ra rào cản đối với việc áp dụng rộng rãi của bằng chứng ZK (Zero-Knowledge proofs).

Rào Cản Cao Cho Các Node

Phần mềm nút thực tế đang chạy trên Mạng Succinct Prover có thể rất hạn chế, với ngưỡng cao đối với các bằng chứng, những người phải:

• Tham gia đấu giá chứng cứ, đề xuất tạo ra chứng cứ với một giá cả nhất định
• Có thể tải xuống các tập tin nhị phân mạch và sản phẩm nghệ thuật
• Có thể thực sự chạy chúng và tạo ra bằng chứng

Do đó, trong tương lai, Succinct có thể cần xem xét những động cơ mạng hoặc hoạt động nào có thể thúc đẩy sự tham gia của người chứng minh.