Lý do cho sự xuất hiện của những đổi mới vượt thời gian trong việc chứng minh không có kiến ​​thức là gì?

Tác giả: LambdaClass; Bản dịch: mutourend; Yiping, IOSG Ventures

Phần 1 Thông tin chi tiết

Lý do cho sự xuất hiện của những đổi mới lâu đời trong các bằng chứng không có kiến ​​thức là gì?

Văn bản gốc từ https://blog.lambdaclass.com/our-highly-subjective-view-on-the-history -of-zero-know-proofs/

1. Giới thiệu

Bằng chứng kiến ​​thức không có kiến ​​thức, ngắn gọn, không tương tác (zk-SNARK) là các công cụ mã hóa nguyên thủy mạnh mẽ cho phép người chứng minh thuyết phục người xác minh về tính đúng đắn của tuyên bố mà không tiết lộ bất kỳ thông tin nào khác với tuyên bố. zk-SNARK đã nhận được sự chú ý rộng rãi do các ứng dụng của chúng trong tính toán riêng tư có thể kiểm chứng, bằng chứng về tính chính xác của việc thực thi chương trình máy tính và các tiện ích mở rộng của blockchain. Chúng tôi tin rằng zk-SNARK, như chúng tôi mô tả trong bài viết của mình, sẽ có tác động đáng kể đến việc định hình thế giới. zk-SNARK bao gồm các loại hệ thống chứng minh khác nhau, sử dụng các sơ đồ cam kết đa thức, sơ đồ số học, bằng chứng tiên tri tương tác hoặc bằng chứng có thể kiểm tra xác suất khác nhau. Nhưng những ý tưởng và khái niệm cơ bản này đã có từ giữa những năm 1980. Sự phát triển của zk-SNARK đã tăng tốc đáng kể kể từ khi Bitcoin và Ethereum ra mắt do khả năng mở rộng quy mô thông qua việc sử dụng bằng chứng không có kiến ​​thức (thường được gọi là bằng chứng hợp lệ cho trường hợp sử dụng cụ thể này). zk-SNARK đóng một vai trò quan trọng trong khả năng mở rộng blockchain. Như Ben-Sasson đã phát biểu, những năm gần đây đã chứng kiến ​​sự bùng nổ của các bằng chứng mật mã trong kỷ Cambri. Mỗi hệ thống chứng minh đều có những ưu điểm và nhược điểm và được thiết kế với sự cân nhắc cụ thể. Những tiến bộ về phần cứng, thuật toán, bằng chứng mới và công cụ tiếp tục cải thiện hiệu suất và dẫn đến việc tạo ra các hệ thống mới. Nhiều hệ thống trong số này đã được sử dụng và chúng tôi tiếp tục vượt qua các giới hạn. Liệu chúng ta sẽ có một hệ thống chứng minh phổ quát hoạt động cho tất cả các ứng dụng hay sẽ có một số hệ thống phù hợp với các nhu cầu khác nhau? Chúng tôi cho rằng rất khó có khả năng một hệ thống chứng minh sẽ thống trị tất cả các hệ thống khác, vì những lý do bao gồm:

1) Tính đa dạng của ứng dụng.

2) Các loại hạn chế khác nhau (liên quan đến bộ nhớ, thời lượng xác minh, thời lượng chứng minh).

3) Nhu cầu về độ bền (nếu một hệ thống chứng minh bị hỏng thì vẫn có những hệ thống chứng minh khác).

Ngay cả khi hệ thống chứng minh đã thay đổi đáng kể, chúng đều cung cấp một tính năng quan trọng: các bằng chứng có thể được xác minh nhanh chóng. Việc có một lớp xác thực bằng chứng và có thể dễ dàng thích ứng với các hệ thống bằng chứng mới sẽ giải quyết những khó khăn liên quan đến việc thay đổi các lớp cơ sở như Ethereum. Bài viết này sẽ phác thảo các đặc điểm khác nhau của SNARK:

1) Giả định về mật mã: hàm băm chống va chạm, bài toán logarit rời rạc trên đường cong elip, kiến ​​thức về số mũ.

2) Cài đặt minh bạch và đáng tin cậy.

3) Độ dài chứng minh: tuyến tính và siêu tuyến tính.

4) Thời gian xác minh: thời gian không đổi, logarit, tuyến tính, tuyến tính.

5) kích thước bằng chứng.

6) Dễ lặp lại.

7) Giải thuật số học.

8) Đa thức một biến và đa thức nhiều biến.

Bài viết này sẽ khám phá nguồn gốc của SNARK, một số khối xây dựng cơ bản và sự thăng trầm của các hệ thống chứng minh khác nhau. Bài viết này không nhằm mục đích cung cấp một phân tích toàn diện về các hệ thống chứng minh. Thay vào đó, hãy chỉ tập trung vào những người có ảnh hưởng đến chúng ta. Tất nhiên, những phát triển này chỉ có thể thực hiện được nhờ công sức và ý tưởng tuyệt vời của những người tiên phong trong lĩnh vực này.

2. Kiến thức cơ bản

Bằng chứng không có kiến ​​thức có không tươi. Các định nghĩa, cơ sở, các định lý quan trọng và thậm chí cả các giao thức quan trọng đã được phát triển bắt đầu từ giữa những năm 1980. Một số ý tưởng và giao thức chính được sử dụng để xây dựng SNARK hiện đại đã được đề xuất vào những năm 1990 (giao thức sumcheck), ngay cả trước khi Bitcoin tồn tại (GKR năm 2007). Các vấn đề chính khi sử dụng nó liên quan đến việc thiếu các trường hợp sử dụng mạnh mẽ (Internet chưa được phát triển vào những năm 1990) và sức mạnh tính toán cần thiết.

1) Bằng chứng không có kiến ​​thức: Nguồn gốc (1985/1989).

Lĩnh vực chứng minh không có kiến ​​thức xuất hiện trong tài liệu học thuật với bài báo "Sự phức tạp về kiến ​​thức của các hệ thống chứng minh tương tác" của Goldwasser, Micali và Rackoff. Để thảo luận về nguồn gốc, bạn có thể xem video ZKP MOOC Bài giảng 1: Giới thiệu và Lịch sử của ZKP vào tháng 1 năm 2023. Bài viết này giới thiệu các khái niệm về tính đầy đủ, độ tin cậy và kiến ​​thức bằng 0, đồng thời đưa ra cách xây dựng phần dư bậc hai và phần không dư bậc hai.

2) Giao thức Sumcheck (1992).

Giao thức sumcheck được đề xuất bởi Lund, Fortnow, Karloff và Nisan trong bài báo Phương pháp Đại số cho Hệ thống Chứng minh Tương tác năm 1992. Đây là một trong những khối xây dựng quan trọng nhất của bằng chứng tương tác ngắn gọn. Nó giúp chúng ta giảm yêu cầu tính tổng các đánh giá đa thức đa biến thành một đánh giá duy nhất về các điểm được chọn ngẫu nhiên.

3) Goldwasser-Kalai-Rothblum (GKR) (2007).

Giao thức GKR (xem bài viết Tính toán ủy quyền: Bằng chứng tương tác cho Muggles) là một giao thức tương tác trong đó người chứng minh hoạt động tuyến tính theo số lượng cổng trong mạch và bộ xác minh Cái sau hoạt động tuyến tính phụ thuộc vào kích thước của mạch. Trong giao thức, người chứng minh và người xác minh đạt được thỏa thuận về mạch hoạt động hai quạt của trường hữu hạn có độ sâu d dd, trong đó lớp d dd tương ứng với lớp đầu vào và lớp 0 00 tương ứng với lớp đầu ra. Giao thức bắt đầu bằng một câu lệnh về đầu ra của mạch, được giảm xuống thành một câu lệnh về giá trị của lớp trước đó. Bằng cách sử dụng đệ quy, điều này có thể được chuyển thành một khai báo đầu vào của mạch, có thể dễ dàng kiểm tra. Việc cắt giảm này được thực hiện thông qua giao thức sumcheck.

4) Sơ đồ cam kết đa thức KZG (2010).

Kate, Zaverucha và Goldberg đã giới thiệu sơ đồ cam kết đa thức bằng cách sử dụng các nhóm ghép nối song tuyến tính trong Cam kết kích thước không đổi đối với đa thức và ứng dụng của chúng vào năm 2010. Một cam kết bao gồm một phần tử nhóm duy nhất và người cam kết sẽ mở ra một cam kết một cách hiệu quả đối với bất kỳ đánh giá chính xác nào về đa thức. Ngoài ra, nhờ công nghệ phân nhóm, có thể mở nhiều đánh giá. Cam kết KZG cung cấp một trong những nền tảng cơ bản cho một số SNARK hiệu quả, chẳng hạn như Pinocchio, Groth16 và Plonk. Nó cũng là cốt lõi của EIP-4844. Để hiểu công nghệ phân khối một cách trực quan, hãy xem cầu nối Mina với Ethereum ZK.

3. SNARK thực tế sử dụng đường cong elip

SNARKs The công trình thực tế đầu tiên xuất hiện vào năm 2013. Các cấu trúc này yêu cầu các bước tiền xử lý để tạo bằng chứng và khóa xác minh và dành riêng cho chương trình/mạch. Các khóa này có thể rất lớn và phụ thuộc vào các tham số bí mật mà tất cả các bên đều không biết; nếu không, bằng chứng có thể bị giả mạo. Việc chuyển đổi mã thành mã có thể chứng minh được yêu cầu biên dịch mã thành một hệ thống các ràng buộc đa thức. Ban đầu, việc này phải được thực hiện thủ công, tốn thời gian và dễ xảy ra lỗi. Những tiến bộ trong lĩnh vực này cố gắng loại bỏ một số vấn đề chính:

1) Có những người chứng minh hiệu quả hơn.

2) Giảm số lượng tiền xử lý.

3) Có các thiết lập phổ quát thay vì thiết lập theo mạch cụ thể.

4) Tránh sử dụng các cài đặt đáng tin cậy.

5) Phát triển các phương pháp mô tả mạch bằng ngôn ngữ cấp cao thay vì viết thủ công các ràng buộc đa thức.

Hiện tại, các giải pháp SNARK thực tế sử dụng đường cong elip là:

1) Pinocchio (2013 )

2) Groth 16 (2016)

3) Chống đạn và IPA (2016 )

4) Sonic, Marlin và Plonk (2019)

5) Tra cứu ( 2018 /2020)

6) Spartan (2019)

7) HyperPlonk (2022) < /p>

8) Sơ đồ gấp (2008/2021)

3.1 Pinocchio (2013) )

Pinocchio (xem bài viết Pinocchio: Tính toán có thể kiểm chứng gần như thực tế) là zk-SNARK thực tế và có thể sử dụng đầu tiên. SNARK dựa trên các chương trình số học bậc hai (QAP). Kích thước bằng chứng ban đầu là 288 byte. Chuỗi công cụ của Pinocchio cung cấp trình biên dịch từ mã C đến các mạch số học và dịch sang QAP. Giao thức yêu cầu trình xác minh tạo các khóa dành riêng cho mạch. Nó sử dụng các cặp đường cong elip để kiểm tra phương trình. Các tiệm cận của việc tạo bằng chứng và thiết lập khóa là tuyến tính tiệm cận với kích thước tính toán và độ dài xác minh là tuyến tính với kích thước của đầu vào và đầu ra công khai.

3.2 Groth 16 (2016)

Groth 2016 The bài viết Về kích thước của các đối số không tương tác dựa trên ghép nối giới thiệu một đối số kiến ​​​​thức mới giúp cải thiện hiệu suất của các vấn đề được mô tả bởi R1CS. Nó có kích thước bằng chứng tối thiểu (chỉ có ba phần tử nhóm) và xác minh nhanh chóng liên quan đến ba cặp đôi. Nó cũng liên quan đến bước tiền xử lý để có được chuỗi tham chiếu có cấu trúc. Nhược điểm chính là mỗi chương trình được chứng nhận yêu cầu thiết lập đáng tin cậy khác nhau, điều này gây bất tiện. Groth16 đã được sử dụng trong ZCash. Để biết chi tiết, vui lòng tham khảo blog Tổng quan về hệ thống chứng minh Groth 16.

3.3 Chống đạn và IPA (2016)

KZG Một trong những điểm yếu của PCS là nó yêu cầu thiết lập đáng tin cậy. Trong bài viết Thiết lập nhật ký rời rạc hiệu quả cho các mạch số học năm 2016 của Bootle và cộng sự, một hệ thống đối số không có kiến ​​thức hiệu quả dành cho các lần mở cam kết Pedersen thỏa mãn mối quan hệ sản phẩm bên trong đã được giới thiệu. Các hệ thống kiểm chứng sản phẩm bên trong có bộ chuẩn tuyến tính, với giao tiếp và tương tác logarit, nhưng có xác minh khoảng thời gian tuyến tính. Nó cũng đã phát triển một sơ đồ cam kết đa thức không yêu cầu thiết lập đáng tin cậy. Cả Halo 2 và Kimchi đều áp dụng ý tưởng sử dụng IPA PCS.

3.4 Sonic, Marlin và Plonk (2019)

Sonic, Plonk và Marlin giải quyết vấn đề về cài đặt tin cậy cho từng chương trình trong Groth16 bằng cách giới thiệu chuỗi tham chiếu có cấu trúc chung và có thể cập nhật. Marlin cung cấp một hệ thống bằng chứng dựa trên R1CS, là cốt lõi của Aleo.

Plonk đã giới thiệu một sơ đồ số học mới (sau này gọi là Plonkish) và sử dụng một công cụ kiểm tra sản phẩm lớn để tìm các ràng buộc sao chép. Plonkish cũng cho phép giới thiệu các loại cửa chuyên dụng cho một số hoạt động nhất định, được gọi là cửa tùy chỉnh. Một số dự án có phiên bản tùy chỉnh của Plonk, bao gồm Aztec, ZK-Sync, Polygon ZKEVM, Kimchi của Mina, Plonky2, Halo 2 và Scroll, cùng nhiều dự án khác. Xem blog Tất cả những gì bạn muốn biết về Plonk.

3.5 Tra cứu (2018/2020)

Gabizon và Williamson đã giới thiệu plookups vào năm 2020, sử dụng các bước kiểm tra sản phẩm lớn để chứng minh rằng một giá trị có trong một bảng gồm các giá trị được tính toán trước. Mặc dù các đối số tra cứu đã được đề xuất ở Arya trước đây, nhưng việc xây dựng chúng đòi hỏi phải xác định tính đa dạng của việc tra cứu, điều này kém hiệu quả hơn. Bài viết PlonkUp chỉ ra cách đưa đối số plookup vào Plonk. Vấn đề với các đối số tra cứu này là chúng buộc người chứng minh phải trả tiền cho toàn bộ bảng, bất kể số lần tra cứu của nó. Điều này có nghĩa là chi phí của các bảng lớn là đáng kể và rất nhiều nỗ lực đã được bỏ ra để giảm chi phí của bộ chứng minh theo số lượng tra cứu mà nó sử dụng.

Haböck đã giới thiệu LogUp, công cụ sử dụng đạo hàm logarit để chuyển đổi số kiểm tra sản phẩm thành tổng các nghịch đảo. LogUp rất quan trọng đối với hiệu suất của Polygon plonky2 ZKEVM (Vượt quá giới hạn: Đẩy ranh giới của ZK-EVM), yêu cầu chia toàn bộ bảng thành nhiều mô-đun STARK. Các mô-đun phải được liên kết chính xác và cần phải tra cứu trên các bảng để thực thi thao tác này. Sự ra mắt của LogUp-GKR tận dụng giao thức GKR để cải thiện hiệu suất của LogUp. Caulk là đối số tra cứu đầu tiên trong đó thời gian của bộ chứng minh có mối quan hệ tuyến tính với kích thước bảng. Thời gian tiền xử lý của nó là ‍O (N log ⁡ N) và dung lượng lưu trữ là O (N), trong đó N là kích thước bảng. Tiếp theo là một số giải pháp khác như Baloo, Flolookup, cq và caulk+. Lasso đề xuất một số cải tiến để tránh việc kết hợp một bảng khi nó có cấu trúc nhất định. Hơn nữa, trình chứng minh của Lasso chỉ trả tiền cho các mục trong bảng được truy cập bằng các hoạt động tra cứu. Jolt sử dụng Lasso để chứng minh khả năng thực thi của máy ảo thông qua tra cứu.

3.6 Spartan (2019)

Spartan sử dụng R1CS mạch được mô tả cung cấp IOP, khai thác các thuộc tính của đa thức nhiều biến và giao thức sumcheck. Bằng cách sử dụng sơ đồ cam kết đa thức phù hợp, nó tạo ra SNARK trong suốt với bộ chuẩn thời gian tuyến tính.

3.7 HyperPlonk (2022)

HyperPlonk dựa trên việc sử dụng Xây dựng dựa trên ý tưởng của Plonk về đa thức trong các biến. Nó không dựa vào thương số để kiểm tra việc thực thi các ràng buộc mà dựa vào giao thức sumcheck. Nó cũng hỗ trợ các ràng buộc ở mức độ cao mà không ảnh hưởng đến thời gian chạy của người chứng minh. Vì nó dựa trên các đa thức nhiều biến nên không cần thực hiện FFT và thời gian chạy của bộ chuẩn tỷ lệ tuyến tính với kích thước mạch. HyperPlonk giới thiệu các IOP hoán vị mới phù hợp với các miền nhỏ hơn và giao thức mở hàng loạt dựa trên sumcheck, giúp giảm khối lượng công việc của người chứng minh, kích thước bằng chứng và thời gian của người xác minh.

3.8 Sơ đồ gấp (2008/2021)

Nova Ý tưởng về sơ đồ gấp được giới thiệu, đây là một phương pháp mới để thực hiện tính toán có thể kiểm chứng gia tăng (IVC). Khái niệm IVC có thể bắt nguồn từ Valiant, người đã chỉ ra cách kết hợp 2 bằng chứng về độ dài k kk thành một bằng chứng duy nhất về độ dài k kk. Ý tưởng là bằng chứng đệ quy có thể được sử dụng để chứng minh rằng việc thực hiện từ bước i ii đến bước i + 1 i+1i+1 là đúng và để xác minh sự chuyển đổi từ bước i − 1 i-1i−1 sang bước i ii là chính xác, do đó chứng minh trường hợp cho bất kỳ tính toán chạy dài nào.

Nova có thể xử lý rất tốt các phép tính thống nhất; sau này với sự ra đời của Supernova, nó đã được mở rộng để xử lý các loại mạch khác nhau. Nova sử dụng phiên bản R1CS thoải mái và hoạt động trên các đường cong elip thân thiện. Việc sử dụng các chu trình đường cong thân thiện (ví dụ: đường cong Pasta) để triển khai IVC cũng được sử dụng trong Pickles, mô-đun cơ sở chính của Mina, để đạt được trạng thái ngắn gọn. Tuy nhiên, ý tưởng gấp lại khác với xác minh SNARK đệ quy. Ý tưởng về bộ tích lũy có liên quan sâu sắc hơn đến khái niệm bằng chứng theo đợt. Halo giới thiệu khái niệm tích lũy như một giải pháp thay thế cho các kết hợp chứng minh đệ quy. Protostar cung cấp giải pháp IVC không đồng nhất cho Plonk, hỗ trợ tra cứu vectơ và cổng cấp độ cao.

4. SNARK sử dụng hàm băm chống va chạm

Cùng khoảng thời gian Pinocchio được phát triển, đã có một số ý tưởng tạo ra các mạch/sơ đồ số học có thể chứng minh tính đúng đắn của việc thực thi máy ảo. Mặc dù số học phát triển một máy ảo có thể phức tạp hơn hoặc kém hiệu quả hơn so với việc viết các mạch chuyên dụng cho một số chương trình, nhưng nó mang lại lợi thế là bất kỳ chương trình nào, dù phức tạp đến đâu, đều có thể được chứng minh bằng cách chứng minh rằng nó thực thi chính xác trong máy ảo. Các ý tưởng trong TinyRAM sau đó đã được cải tiến với thiết kế của Cairo vm và các máy ảo tiếp theo như zk-evms hoặc phổ quát zkvms. Việc sử dụng hàm băm chống va chạm sẽ loại bỏ nhu cầu thiết lập đáng tin cậy hoặc sử dụng số học đường cong elip, nhưng với chi phí chứng minh dài hơn.

1) TinyRAM (2013)

Trong SNARK cho C, SNARK của PCP được sử dụng để chứng minh tính đúng đắn của việc thực thi chương trình C được biên dịch thành TinyRAM (Máy tính tập lệnh rút gọn). Máy tính sử dụng kiến ​​trúc Harvard với bộ nhớ truy cập ngẫu nhiên có địa chỉ cấp byte. Tận dụng tính không xác định, kích thước của mạch có liên quan gần như tuyến tính với kích thước tính toán, từ đó xử lý hiệu quả các vòng lặp, luồng điều khiển và truy cập bộ nhớ liên quan đến dữ liệu tùy ý.

2) STARK (2018)

• STARKs được Ben Sasson và cộng sự đề xuất vào năm 2018. Kích thước bằng chứng mà nó triển khai là O(log2n), nó có trình kiểm chứng và trình xác minh nhanh, không yêu cầu thiết lập đáng tin cậy và được coi là an toàn sau lượng tử. Nó được Starkware/Starknet sử dụng lần đầu tiên với máy ảo Cairo. Các thành phần chính của nó bao gồm:

• Biểu diễn trung gian đại số (AIR)

• và giao thức FRI (Bằng chứng gần gũi của Oracle tương tác nhanh Reed-Solomon).

STARK cũng được sử dụng bởi các dự án khác (Polygon Miden, Risc0, Winterfell, Neptune) hoặc một số phiên bản chuyển thể từ chúng (ZK -Boojum, Plonky2, Starky để đồng bộ hóa).

3) Ligero (2017)

• Ligero giới thiệu một hệ thống chứng minh có kích thước chứng minh là O (root n), trong đó n là kích thước mạch. Nó sắp xếp các hệ số đa thức thành dạng ma trận và sử dụng mã tuyến tính.

• Brakedown được xây dựng trên Ligero và giới thiệu ý tưởng về sơ đồ cam kết đa thức độc lập với miền.

5. Một số phát triển mới trong ZKP

Việc sử dụng các hệ thống chứng minh khác nhau trong sản xuất cho thấy ưu điểm của từng phương pháp và dẫn đến những phát triển mới. Ví dụ, số học plonkish cung cấp một cách dễ dàng để bao gồm các cổng tùy chỉnh và đối số tra cứu; FRI dưới dạng PCS cho thấy hiệu suất xuất sắc, vượt xa Plonky. Tương tự như vậy, việc sử dụng tính năng kiểm tra sản phẩm lớn trong AIR (kết quả là AIR ngẫu nhiên được xử lý trước) sẽ cải thiện hiệu suất của nó và đơn giản hóa các đối số truy cập bộ nhớ. Những lời hứa dựa trên hàm băm đã được áp dụng - dựa trên tốc độ của hàm băm trong phần cứng hoặc sự ra đời của các hàm băm thân thiện với SNARK mới.

1) Sơ đồ cam kết đa thức mới (2023)

Với đa thức nhiều biến dựa trên With sự ra đời của các SNARK hiệu quả (chẳng hạn như Spartan hoặc HyperPlonk), ngày càng có nhiều mối quan tâm đến các sơ đồ cam kết mới phù hợp với các đa thức đó. Binius, Zeromorph và Basefold đều đề xuất các dạng mới dành riêng cho đa thức đa tuyến tính. Binius có lợi thế là biểu diễn các loại dữ liệu với chi phí bằng 0 (trong khi nhiều hệ thống chứng minh sử dụng ít nhất các phần tử trường 32 bit để biểu thị một bit) và hoạt động trên trường nhị phân. Binius hứa hẹn sẽ dựa trên Brakedown và được thiết kế theo hướng bất khả tri về miền. Basefold khái quát hóa FRI thành các mã ngoài Reed-Solomon, dẫn đến PCS độc lập với miền.

2) Hệ thống ràng buộc có thể tùy chỉnh (CCS) (2023)

CCS tóm tắt R1CS, Capture Số học R1CS, Plonkish và AIR đồng thời mà không cần bất kỳ chi phí nào. Việc kết hợp CCS với Spartan IOP sẽ tạo ra SuperSpartan, hỗ trợ các ràng buộc cấp độ cao mà không yêu cầu người chứng minh phải chịu chi phí mật mã thay đổi theo mức độ ràng buộc. Đặc biệt, SuperSpartan tạo SNARK cho AIR bằng bộ chuẩn thời gian tuyến tính.

6. Kết luận

Bài viết này mô tả SNARK kể từ năm 20 tiến bộ kể từ khi được giới thiệu vào giữa những năm 1980. Những tiến bộ trong khoa học máy tính, toán học và phần cứng, cùng với sự ra đời của blockchain, đã tạo ra SNARK mới, hiệu quả hơn, mở ra cánh cửa cho nhiều ứng dụng có thể thay đổi xã hội của chúng ta. Các nhà nghiên cứu và kỹ sư đã đề xuất các cải tiến và điều chỉnh SNARK dựa trên nhu cầu của họ, tập trung vào kích thước bằng chứng, mức sử dụng bộ nhớ, cài đặt độ trong suốt, bảo mật sau lượng tử, thời gian chứng minh và thời gian xác minh.

Mặc dù ban đầu có hai dòng chính (SNARK và STARK), ranh giới giữa hai dòng này đã bắt đầu mờ nhạt, cố gắng kết hợp ưu điểm của các hệ thống chứng minh khác nhau. Ví dụ: kết hợp các sơ đồ số học khác nhau với các sơ đồ cam kết đa thức mới. Có thể kỳ vọng rằng các hệ thống thử nghiệm mới sẽ tiếp tục xuất hiện và hiệu suất sẽ được cải thiện, đồng thời sẽ khó có một số hệ thống cần một thời gian thích ứng để theo kịp những phát triển này, trừ khi các công cụ này có thể dễ dàng sử dụng mà không cần thay đổi một số cơ sở hạ tầng cốt lõi. .

Phần 2 Đầu tư và tài chính Sự kiện

Công ty khởi nghiệp nhận dạng kỹ thuật số Web3 Metropolis hoàn thành khoản tài trợ 1,2 triệu USD

* SocialFi

Công ty khởi nghiệp nhận dạng kỹ thuật số Web3 Metropolis đã công bố hoàn thành khoản tài trợ 1,2 triệu USD từ Cointelegraph Accelerator, Quỹ hệ sinh thái Lamina1, ACS, Outmore Ventures, Protocol Labs, Primal Capital, Zephyrus Capital, Cluster Capital, EthLizards, Acacia Digital, Block Consult, IBC và nhiều nhà đầu tư thiên thần chiến lược khác đã tham gia đầu tư. Được biết, Metropolis sắp tiến hành bán mã thông báo công khai và công bố lộ trình phát triển sản phẩm và kinh tế mã thông báo.

Cơ sở hạ tầng DePIN DePHY hoàn tất vòng cấp vốn ban đầu

< strong >* DePIN

DePIN Cơ sở hạ tầngDePHY Đã hoàn thành đa- triệu đô la trong vòng tài trợ hạt giống với mức định giá 40 triệu đô la Mỹ. Blockchain Builders Fund, Foresight Ventures, IoTeX, Paramita, FutureMoneyGroup, Waterdrip Capital, DefinanceX, PAKA và Candaq Fintech Group đã tham gia đầu tư và số tiền huy động được sẽ được sử dụng để mở rộng và vận hành cộng đồng nhà phát triển và các dự án nền tảng. Ngoài ra, DePHY sẽ triển khai giải pháp DID (nhận dạng thiết bị phi tập trung) đáng tin cậy trên Solana và gần đây đã nhận được tài trợ từ Solana Foundation.

Nhà phát triển Ethereum stablecoin Ethena Labs đã hoàn thành vòng tài trợ chiến lược trị giá 14 triệu USD

* Stablecoin

Ethena Labs, nhà phát triển Ethereum stablecoin USDe, đã thông báo hoàn thành vòng tài trợ chiến lược trị giá 14 triệu USD, với mức định giá sau đầu tư là 300 triệu USD. Dragonfly, Brevan Howard Digital và Maelstrom, văn phòng gia đình của người sáng lập BitMEX Arthur Hayes, cùng dẫn đầu khoản đầu tư, với sự tham gia của PayPal Ventures, Franklin Templeton, Avon Ventures, Binance, Deribit, Gemini và Kraken. Vòng tài trợ bắt đầu vào cuối tháng 12 năm ngoái và kết thúc vào tuần này. Theo tin tức trước đó, Ethena đã hoàn thành vòng hạt giống trị giá 6 triệu đô la vào năm ngoái, với Hayes tham gia thông qua văn phòng gia đình Maelstrom. Hayes cũng là cố vấn sáng lập của ETH.

Nền tảng thanh toán tiền điện tử KeynesPay đã hoàn thành vòng tài trợ Pre-Seed trị giá 5,5 triệu đô la

* DeFi

Keynes Group, một tập đoàn dịch vụ tài chính tài sản kỹ thuật số, đã thông báo rằng nền tảng thanh toán bên thứ ba KeynesPay đã hoàn thành vòng tài trợ Pre-Seed trị giá 5,5 triệu USD, với mức định giá trước tiền vượt quá 50 triệu USD. Các nhà đầu tư mới bao gồm các nhà đầu tư tổ chức lớn, tổ chức Web3 và các đối tác chiến lược. Vòng tài trợ này sẽ được sử dụng để tăng cường bố cục sinh thái thanh toán của KeynesPay trong ngành tài sản ảo, đẩy nhanh quá trình đa dạng hóa các sản phẩm kinh doanh được cấp phép thanh toán và thúc đẩy sự tuân thủ toàn cầu và phát triển đổi mới của tập đoàn. Được biết, các hoạt động kinh doanh cốt lõi của Keynes Group còn bao gồm Keynes Capital, một công ty quản lý tài sản toàn cầu chuyên đầu tư vào công nghệ blockchain và tài sản kỹ thuật số, Keynes Pool, nhà cung cấp dịch vụ máy khai thác Bitcoin toàn cầu, KeChat, một nền tảng xã hội trên chuỗi và Nền tảng giáo dục toàn cầu Web3 và nền tảng mạng xã hội Network Keynes IE.

Công ty dịch vụ cơ sở hạ tầng và phân tích dữ liệu Web3 Helika đã hoàn thành 8 triệu USD trong vòng tài trợ Series A

* Hồng ngoại

Helika, một công ty cung cấp dịch vụ phân tích dữ liệu và cơ sở hạ tầng cho các trò chơi Web3 và truyền thống, thông báo rằng họ đã hoàn thành khoản tài trợ Series A trị giá 8 triệu USD từ các nhà đầu tư bao gồm Pantera, Animoca, Diagram và Sfermion. Bộ sản phẩm và dịch vụ của Helika được hỗ trợ bởi trí tuệ nhân tạo, tích hợp dữ liệu từ nhiều chuỗi, phương tiện truyền thông xã hội và trò chơi, đồng thời biến dữ liệu đó thành thông tin chi tiết có thể hành động mà các studio trò chơi có thể sử dụng để cải thiện khả năng thu hút, giữ chân và tương tác của người dùng, từ đó thúc đẩy tăng trưởng lợi nhuận.

Blueprint Finance đã hoàn thành khoản tài trợ trị giá 7,5 triệu đô la Mỹ, dẫn đầu bởi Hashed và Tribe Capital

* Giao thức

Giao thức tín dụng trên chuỗi Blueprint Finance đã thông báo hoàn thành khoản tài trợ trị giá 7,5 triệu đô la Mỹ. Vòng tài trợ này được dẫn dắt bởi Hashed và Tribe Capital, bao gồm SALT, Kyber, Hypersphere, Lightshift, Awesome People Ventures, Veris Ventures, Kronos Research, WWVentures và Avalanche Foundation. , Terra Nova và Hyperithm đã tham gia đầu tư. Được thiết kế để giải quyết vấn đề thanh lý trong thị trường tiền điện tử. Sản phẩm chủ lực của Blueprint Finance là Concrete Protocol, một chuỗi ứng dụng được thiết kế đặc biệt cho nợ và tín dụng trên chuỗi, nhằm mang lại lợi suất cao hơn, bảo vệ thanh lý và khả năng dự đoán nâng cao trên DeFi, bắt đầu từ thị trường tiền tệ.

Mạng Lava blockchain mô-đun hoàn tất vòng tài trợ hạt giống trị giá 15 triệu USD

* Hồng ngoại

Lava Network, nhà phát triển cơ sở hạ tầng blockchain mô-đun, đã hoàn thành vòng tài trợ ban đầu trị giá 15 triệu đô la Mỹ. Jump Capital, Hashkey Capital và Tribe Capital cùng dẫn đầu khoản đầu tư và North Island Ventures, Dispersion Capital, Alliance DAO, Finality Capital Partners và những người khác đã tham gia trong đầu tư. Các giám đốc điều hành từ Celestia, Cosmos, StarkWare, Filecoin và các hệ sinh thái blockchain khác cũng tham gia vào vòng tài trợ này. Lava có kế hoạch ra mắt mạng chính của mình vào nửa đầu năm nay. Lava hiện có 26 nhân viên, trong đó có 20 kỹ sư blockchain.

Xưởng trò chơi chuỗi Overworld đã hoàn thành vòng tài trợ ban đầu trị giá 10 triệu đô la Mỹ, do Hashed và những người khác dẫn đầu

* GameFi

Xưởng trò chơi chuỗi Overworld hôm nay thông báo rằng họ đã huy động được 10 triệu đô la Mỹ trong vòng tài trợ hạt giống. Các nhà đầu tư dẫn đầu vòng này bao gồm Hashed, The Spartan Group, Sanctor Capital và Galaxy Interactive, với sự tham gia của Hashkey, Big Brain Holdings và Foresight Ventures. Nguồn tài trợ sẽ trực tiếp hướng tới việc tạo ra trò chơi và Overworld hiện đang tuyển dụng một số vai trò tại studio. Studio đang phát triển trò chơi đầu tiên của mình, có tựa đề dự kiến ​​là Overworld, một trò chơi nhập vai hành động miễn phí dành cho Web3 được hỗ trợ bởi mã thông báo Xterio, với thiết kế nghệ thuật theo phong cách anime.

Nền tảng trò chơi Web3 Ultiverse đã hoàn thành vòng tài trợ chiến lược trị giá 4 triệu đô la Mỹ, do IDG Capital dẫn đầu

* GameFi

Ultiverse, một nền tảng toàn diện do AI điều khiển để sản xuất và phát hành trò chơi Web3, đã hoàn thành vòng tài trợ chiến lược trị giá 4 triệu đô la Mỹ, dẫn đầu bởi IDG Capital, Animoca Brands, Polygon Ventures, MorningStar Ventures, Taiko, ZetaChain , Manta Network, DWF Ventures và Jacob KO (đối tác của Superscrypt) và những người khác đã tham gia đầu tư. Được thành lập vào năm 2022, Ultiverse là nền tảng toàn diện dựa trên AI để sản xuất và phân phối trò chơi Web3, với đội ngũ gồm các chuyên gia về trò chơi, công nghệ và dự án blockchain. Tính đến tháng 12 năm 2023, Ultiverse có hơn 7,3 triệu người dùng đã đăng ký và hơn 830.000 người dùng hoạt động hàng tháng. Các nhà đầu tư ở vòng trước bao gồm Binance Labs, Sequoia Capital, DeFiance Capital, Emirates Consortium, MorningStar Ventures, GSR Ventures, Foresight Ventures, v.v., với mức định giá sau đầu tư đạt 150 triệu USD.

Phần 3 iOSG post- đầu tư Tiến độ dự án

Coinbase quyên góp 3,6 triệu USD cho tổ chức phát triển Bitcoin Core Brink< /strong>

* DEX< /strong>

Brink, tổ chức phát triển Bitcoin Core, tiết lộ rằng họ đã nhận được khoản tài trợ 3,6 triệu USD từ GiveCrypto, một nền tảng thanh toán thuộc sở hữu của tiền điện tử nền tảng giao dịch Coinbase và sẽ sử dụng Tất cả dành riêng cho các kỹ sư của Brink và công việc phát triển nguồn mở Bitcoin.

Filecoin thông báo tích hợp với Solana

< mạnh>* Hồng ngoại

Filecoin đã tweet hôm nay để thông báo về việc tích hợp với Solana, nhằm mục đích loại bỏ các giải pháp lưu trữ tập trung và cải thiện độ tin cậy cũng như khả năng mở rộng của chuỗi khối Solana. Solana đang tận dụng Filecoin để làm cho lịch sử khối của nó trở nên dễ tiếp cận và sử dụng hơn đối với các nhà cung cấp cơ sở hạ tầng, nhà thám hiểm, người lập chỉ mục và bất kỳ ai cần quyền truy cập lịch sử.

Offchain Labs đã mở bỏ phiếu đề xuất ArbOS 20 Atlas AIP trong cộng đồng Arbitrum

* Layer2

Nhà phát triển Arbitrum Offchain Labs thông báo rằng họ đã gửi đề xuất ArbOS 20 Atlas AIP trong cộng đồng Arbitrum và đã mở bỏ phiếu trực tuyến. Đề xuất AIP hỗ trợ Ethereum Dencun, bao gồm EIP-4844 và áp phích hàng loạt cải tiến. Việc bỏ phiếu sẽ kết thúc vào ngày 1 tháng 3.

Tổng giá trị bị khóa của Stacks vượt quá 100 triệu USD

* Thanh toán< /strong >

Mạng Bitcoin Lớp 2 Stacks đã đăng trên Twitter rằng tổng giá trị khóa (TVL) của nó đã vượt quá 100 triệu USD và hiện là 112 triệu USD .

SyncSwap ra mắt Trình bao bọc 404 dựa trên zkSync để thực hiện hoán đổi mã thông báo ERC-721 NFT và ERC404

* Layer2< /strong >

SyncSwap, một nền tảng giao dịch phi tập trung dựa trên zkSync, đã công bố ra mắt SyncSwap 404 Wrapper lấy cảm hứng từ ERC404, cho phép một số NFT ERC-721 được gói gọn trong ERC404, có thể thay thế các mã thông báo được đóng gói. 404 Wrapper là một sản phẩm công khai của SyncSwap hoạt động trên cơ sở nguồn mở và hoàn toàn không cần cấp phép, không tính phí gói và hủy gói NFT. LIBERTAS OMNIBUS là một dự án NFT thử nghiệm của nhóm zkSync.

Mina: Đang tiến hành thử nghiệm khép kín việc nâng cấp mạng chính với các sàn giao dịch và người giám sát

* Lớp 1< /strong>

Giao thức blockchain nhẹ Mina Protocol đã công bố tin tức mới nhất về Testworld Mission 2.0 và các nâng cấp lớn của mạng chính Mina Tiến trình: Nhóm phát triển Mina O (1) Labs đã phát hành ứng cử viên phiên bản Berkeley RC1 đầu tiên, kết hợp tất cả các bản sửa lỗi và phát hiện từ phiên bản Testworld 2.0 Rampup trước đó. Công việc của Track 4 nhằm tái tạo quy trình và thiết kế các cơ chế nâng cấp trong môi trường mạng thử nghiệm vẫn tiếp tục và thử nghiệm khép kín với các sàn giao dịch và người giám sát đang diễn ra và sẽ tiếp tục trong suốt Track 4.

Xung đột ngành Part.4

Connext đã được ra mắt trên Base và người dùng sẽ có thể đặt cược lại ETH gốc thông qua EigenLayer

< mạnh>* Lớp 2< /strong>

Giao thức tương tác Lớp 2 Connext đã được công bố trên Base. Người dùng Giao thức Renzo sẽ có thể đặt cược lại ETH gốc thông qua EigenLayer trên Base mà không cần tương tác với Ethereum. Ngoài ra, người dùng cũng có thể nhận được điểm đặt lại ezPoints và EigenLayer.

Cuộc họp ACDE mới nhất của Ethereum: Thảo luận về việc chuẩn bị kích hoạt mạng chính của bản nâng cấp Dencun và nhiều EIP

* Ethereum

Phó Chủ tịch Nghiên cứu của Galaxy Christine Kim đã ban hành một tài liệu tóm tắt cuộc họp Điều hành Nhà phát triển Ethereum Core (ACDE) lần thứ 181. Chuẩn bị kích hoạt Mainnet về việc nâng cấp Dencun và nhiều Đề xuất cải tiến Ethereum (EIP) đã được thảo luận. Chúng bao gồm các EIP được đề xuất để nâng cấp Pectra, cũng như hai EIP có hiệu lực trở về trước, EIP 7610 và 7523, được thiết kế để sửa đổi các quy tắc tạo hợp đồng thông minh và cấm tồn tại các tài khoản trống. Các nhà phát triển cũng đồng ý đưa EIP 2537, tính năng bổ sung tính năng biên dịch trước đường cong BLS12-381 vào Pectra. Quá trình chuẩn bị cho bản nâng cấp bóng tối của bản nâng cấp Dencun đang được tiến hành, với mục tiêu hoàn thành kích hoạt mạng chính trước ngày 13 tháng 3. Ngoài ra, các đề xuất kỹ thuật khác để nâng cấp Pectra đã được thảo luận tại cuộc họp, bao gồm cải thiện chức năng hợp đồng thông minh cho các tài khoản thuộc sở hữu bên ngoài (EOA), chi phí gas để phân bổ địa chỉ hợp đồng thông minh và khe lưu trữ cũng như các đề xuất hỗ trợ khách hàng không quốc tịch. Các nhà phát triển có kế hoạch thảo luận chi tiết về tất cả các thay đổi về tính trừu tượng của tài khoản và mã liên quan đến EVM trước cuộc họp ACDE tiếp theo, đồng thời nhấn mạnh tầm quan trọng của việc xác định tiến trình nâng cấp Pectra.

Polygon sắp ra mắt mạng chính AggLayer v1, sử dụng bằng chứng không có kiến ​​thức để thúc đẩy khả năng tương tác giữa các chuỗi

* Layer1

Polygon đã thông báo rằng giải pháp công nghệ lớp tổng hợp mới nhất của họ là mạng chính AggLayer v1 sẽ sớm ra mắt. Công nghệ này nhằm mục đích cho phép kết nối giữa các chuỗi khối khác nhau thông qua công nghệ bằng chứng không có kiến ​​thức (ZK proof), từ đó hỗ trợ sự thống nhất và bảo mật của thanh khoản chuỗi chéo. AggLayer được thiết kế để cung cấp cho các nhà phát triển một nền tảng cho phép họ dễ dàng kết nối các mạng blockchain khác nhau để đạt được sự quản lý thanh khoản thống nhất. Ngoài ra, AggLayer sẽ đảm bảo rằng các chuỗi được kết nối – dù là mô-đun hay nguyên khối, bao gồm cả các chuỗi trong hệ sinh thái Polygon – đều được hưởng bảo mật thống nhất. Là thành phần cốt lõi của phiên bản tiếp theo của mạng Polygon, Polygon 2.0, AggLayer khác với các giải pháp tương tác truyền thống. Nó sẽ cung cấp một nền tảng tương tác hiệu quả và an toàn hơn bằng cách tổng hợp các bằng chứng ZK của tất cả các chuỗi được kết nối.

PlayDapp: Hợp đồng mã thông báo PLA đã bị hack và tất cả PLA do PlayDapp nắm giữ sẽ bị buộc phải chuyển sang ví an toàn mới< / p>

* GameFi

Nền tảng trò chơi chuỗi khối PlayDapp đã tweet rằng hợp đồng mã thông báo PLA đã bị hack và các mã thông báo PLA bổ sung đã được đúc. PlayDapp đã thông báo trực tiếp cho tất cả các đối tác nền tảng giao dịch và đang làm việc với họ để tạm dừng giao dịch và giải quyết các vấn đề về mã thông báo trái phép. Do lỗ hổng bảo mật đã được xác nhận ảnh hưởng đến PLA, PlayDapp đang hành động để bảo vệ tài sản PLA bằng cách chuyển mạnh mẽ tất cả PLA do PlayDapp nắm giữ sang ví an toàn mới, bao gồm cả tài sản bị khóa và mở khóa. Theo giám sát của Cyvers Alerts, PlayDapp đã bị hack và địa chỉ của kẻ tấn công đã được thêm vào dưới dạng máy đúc tiền, đúc 200 triệu mã thông báo PLA (trị giá 31 triệu USD). Hiện tại, các mã thông báo PLA này đã được phân phối đến nhiều địa chỉ khác nhau, với giá trị là US 5,9 triệu USD Một số mã thông báo PLA bị đánh cắp đã được chuyển sang nền tảng Gate.