Kể từ lần đầu tiên chúng tôi ra mắt SingularityNET vào cuối năm 2017, tôi đã nghe thấy những lời bàn tán xôn xao trong cộng đồng của chúng tôi về hiệu ứng “Tại sao bạn không khởi chạy chuỗi khối Singularity của riêng mình?”
Câu trả lời của tôi luôn là, “Đã có đủ các dự án blockchain hiện có. Chúng tôi chỉ có thể để những người khác tạo ra những tiến bộ trong không gian đó và tận dụng chúng cho công việc của chúng tôi trên các hệ thống AI dựa trên blockchain. Việc phi tập trung hóa nền kinh tế thế giới và phạm vi AGI mới nổi sẽ tạo ra một hệ thống công nghệ phức tạp với nhiều lớp và chúng tôi không cần phải tự mình xây dựng từng lớp ”.
Hóa ra, trong nhận thức muộn màng, câu trả lời đó về cơ bản là một nửa sự thật và phần nào đó là một minh họa cho sự lạc quan vốn có của tôi. Hơn 4 năm sau, có vẻ như rõ ràng rằng trong khi các dự án blockchain khác đã đạt được những tiến bộ to lớn về mặt công nghệ chuỗi cơ bản, thì không có dự án nào trong số chúng gần với việc cung cấp cơ sở hạ tầng chính xác mà chúng ta cần để hiện thực hóa tầm nhìn SingularityNET.
Vì vậy, cuối cùng chúng tôi cũng đã bắt đầu phát triển công nghệ blockchain cốt lõi của riêng mình – không phải là chuỗi Lớp 1 mới – tôi vẫn nghĩ đây sẽ là một động thái không cần thiết và lạc đề đối với SingularityNET – nhưng một chuỗi Lớp 2 mới được thiết kế để hoạt động như một sidechain trên mạng Cardano.
Nếu bạn đang theo dõi SingularityNET, bạn sẽ biết rằng một sự thay đổi của SingularityNET từ Ethereum sang Cardano đang được tiến hành. Mã thông báo AGIX cung cấp năng lượng cho hệ sinh thái của SingularityNET hiện tồn tại ở dạng AGIX-ADA cũng như AGIX-ETH và vào ngày 18 tháng 4, hợp đồng thông minh Cardano Plutus cho phép chuyển đổi qua lại giữa hai phiên bản sẽ được khởi chạy.
Trong những tháng tới, thị trường SingularityNET đầy đủ sẽ được chuyển sang mạng Cardano và phần lớn sự phát triển của SingularityNET sẽ chuyển từ Ethereum sang đó. Cardano có một kiến trúc phần mềm về cơ bản vững chắc, được xây dựng để có khả năng mở rộng linh hoạt và điều này cùng với tốc độ và khả năng mở rộng cũng như bảo mật đã được chứng minh sẽ phục vụ tốt SingularityNET. Tuy nhiên, những gì tôi nhận ra vào cuối năm ngoái là chúng ta có thể thực hiện một bước tiến lớn hơn nữa để có được cơ sở hạ tầng blockchain phục vụ nhu cầu AI phi tập trung hiện tại và tương lai của chúng ta bằng cách xây dựng một khuôn khổ blockchain tùy chỉnh hơn được thiết kế để hoạt động cùng với Cardano.
Các thành viên cộng đồng SingularityNET cũng sẽ nhận thức được sự phát triển của một số dự án “spinoff” khác nhau từ Tổ chức SingularityNET, theo định hướng sử dụng nền tảng và công nghệ SingularityNET trong các thị trường dọc cụ thể như DeFi, thuốc trường sinh, truyền thông, âm nhạc, metaverses, v.v. ra ngoài. Các dự án hệ sinh thái này hiện đang chạy trên các blockchain như Ethereum, Polygon và Cardano, đồng thời sử dụng các tác nhân SingularityNET cho các dịch vụ AI của họ. Sau khi ra mắt HyperCycle, mỗi dự án trong số này sẽ có những lý do chính đáng riêng để chạy AI của nó trên HyperCycle. Theo cách này, HyperCycle sẽ đi kèm với hệ sinh thái DApp của riêng nó.
Tôi đã bắt đầu nói chuyện về khuôn khổ mới này – HyperCycle – với người bạn tốt của tôi Toufi Saliba, người là một trong hai nhà phát minh ra công nghệ TODA đóng vai trò quan trọng trong HyperCycle. Tôi đã viết bài đăng trên blog này để cung cấp một hình thức văn bản có hệ thống hơn một chút về một số điểm liên quan đến HyperCycle mà tôi đã đưa ra trong các cuộc nói chuyện của chúng ta. Tôi sẽ không đề cập nhiều đến tokenomics hoặc các khía cạnh kinh doanh ở đây – những điều này cũng quan trọng nhưng tôi sẽ để dành thảo luận về điều đó sau – mà sẽ tập trung vào cấu trúc phần mềm cốt lõi mà chúng tôi đang triển khai để cho phép HyperCycle cung cấp các chức năng của nó.
Để biết thêm chi tiết kỹ thuật về các điểm khác nhau được thực hiện ở đây, hãy xem sách trắng về HyperCycle (tìm thấy ở đây) và các tài liệu tham khảo khác nhau được cung cấp trong đó. Bài đăng này không đi sâu vào các thủ tục gần như là whitepaper, nhưng nó cung cấp thêm một số màu sắc không chính thức về động lực cho các lựa chọn thiết kế khác nhau.
Mục Lục
Tại sao và HyperCycle là gì?
HyperCycle là một khuôn khổ blockchain mới, tận dụng một loạt các công cụ blockchain hiện tại để cho phép thứ sẽ trở thành một lớp nền cực kỳ có thể mở rộng và dễ tùy chỉnh cho các nền tảng AI dựa trên blockchain như SingularityNET. Các thành phần chính là giao thức không sổ cái TODA, Bằng chứng về danh tiếng (Proof of Reputation) của SingularityNET, và mô hình EUTxO của Cardano và khung Hydra sidechain.
Trong thuật ngữ blockchain, HyperCycle là một “sidechain”, có nghĩa là nó là một phần mở rộng hoặc phần bổ sung cho một blockchain “lớp 1” hiện có. Mẫu thiết kế này đã được sử dụng trước đây, ví dụ: Polygon là một sidechain nổi tiếng của chuỗi khối Ethereum. Một sidechain sử dụng một số cơ sở của chuỗi khối chủ của nó nhưng thực hiện hầu hết các giao dịch của nó trên chuỗi của chính nó, thường rẻ hơn hoặc nhanh hơn hoặc theo một số cách chuyên biệt hơn chuỗi chính. Trong trường hợp của HyperCycle, chuỗi chính là chuỗi khối Cardano – HyperCycle sử dụng ngôn ngữ hợp đồng thông minh Plutus của Cardano và nhiều cấu trúc và quy trình dữ liệu Cardano khác, đồng thời cũng sử dụng mạng Cardano chính như một loại “bộ nhớ dài hạn” để đẩy các giao dịch quan trọng để lưu trữ liên tục.
Để hiểu được mục đích của HyperCycle, người ta cần nhận ra rằng ngay bây giờ phần lớn nghệ thuật đằng sau thiết kế SingularityNET là giảm thiểu việc sử dụng blockchain – các tác nhân AI là các quy trình khá lớn thực hiện công việc của chúng “ngoài chuỗi” và chỉ sử dụng blockchain khi thực sự cần thiết, để phối hợp với các tác nhân AI khác và thực hiện thanh toán và xếp hạng. Ở một mức độ nào đó, đây là cách nó phải như vậy – sẽ luôn có một số chi phí trong việc tận dụng cơ sở hạ tầng phi tập trung an toàn – nhưng với một thiết kế phù hợp, có thể “thu nhỏ” việc sử dụng blockchain đáng kể và làm cho nó ngày càng nhỏ hơn các phần xử lý AI được phối hợp trên chuỗi. Nếu nó hoạt động tốt như chúng tôi nghĩ, HyperCycle sẽ là một sự thay đổi mô hình cho AI trên blockchain và sẽ mở ra cánh cửa cho các giao dịch vi mô AI có thể mở rộng với tốc độ và hiệu quả mang tính cách mạng. Cuối cùng, đó là những gì cần thiết để SingularityNET hoàn thành sứ mệnh ban đầu là phục vụ như một hệ điều hành AI cho bộ não toàn cầu AGI mới nổi.
HyperCycle: Công nghệ thành phần chính
- TODA – một giao thức blockchain nhẹ, không sổ cái an toàn với các cơ chế đồng thuận mới
- Hệ thống Proof of Reputation của SingularityNET, một hệ thống danh tiếng xếp hạng chất lỏng có trọng số
- Nền tảng của Cardano, bao gồm ngôn ngữ Plutus và mô hình UTxO mở rộng (EUTxO)
- Giao thức sidechain Cardano Hydra – cho phép chức năng quan trọng liên quan đến bảo mật và khả năng tìm kiếm
- Ngôn ngữ MeTTa của OpenCog Hyperon – được triển khai như một phần mở rộng cho Plutus và được sử dụng để tạo ra các DSL hợp đồng thông minh dành riêng cho ứng dụng
Splaying các thuật toán AI trên toàn bộ chuỗi khối
Việc giảm thiểu sử dụng blockchain ngầm trong thiết kế SingularityNET hiện tại cũng có ý nghĩa liên quan đến tiện ích của mạng cho các nhà phát triển AI. Về cơ bản, điều đó có nghĩa là mã AI chạy trên SingularityNET gần giống với mã AI chạy bên ngoài SingularityNET – sự khác biệt nằm ở cách mã AI của một người tương tác với các tác nhân AI khác, gia công phần mềm làm việc với họ và chia sẻ dữ liệu với họ và trả tiền cho họ hoặc được họ trả tiền, v.v. AI-DSL, đang được phát triển và sẽ ra mắt muộn hơn một chút như là một phần của phiên bản Cardano của nền tảng SingularityNET, sẽ cho phép các nhân viên của SingularityNET linh hoạt hơn trong việc tìm kiếm các tác nhân AI khác mà họ có thể phù hợp và hợp tác với. Nhưng HyperCycle sẽ đưa mọi thứ lên một tầm cao mới, cho phép và khuyến khích các nhà phát triển viết mã AI theo cách tận dụng blockchain cho các hoạt động nội bộ của nó.
Ví dụ: hãy xem xét một nhà phát triển AI muốn viết mã một thuật toán di truyền – một cách tiếp cận AI trong đó quần thể các đối tượng phần mềm biến đổi và kết hợp với nhau lặp đi lặp lại, mô phỏng quá trình chọn lọc tự nhiên và cố gắng phát triển các đối tượng phần mềm mới tốt hơn tối đa hóa một số chức năng thể dục được cung cấp mà người chạy thuật toán muốn có câu trả lời. Ngay bây giờ, cách tự nhiên để làm điều này trên SingularityNET là đóng gói toàn bộ dân số đang phát triển thành một tác nhân SingularityNET duy nhất và chỉ sử dụng blockchain để nhận dữ liệu cần thiết cho việc đánh giá sức khỏe trong dân số và phân phát câu trả lời cho người chạy thuật toán khi quá trình tiến hóa có đã tiến hành đủ xa. Tác nhân SingularityNET về cơ bản là một thùng chứa lớn trong đó toàn bộ quá trình tiến hóa diễn ra. Đây là một cách tiếp cận hiệu quả vì nó không lãng phí thời gian và tiền bạc khi đối phó với các chuỗi khối chậm, tốn kém trong các hoạt động nội bộ của dân số đang phát triển. Mặt khác, với HyperCycle, người ta sẽ có thể thực hiện một cách tiếp cận thiết kế hoàn toàn khác, trong đó mỗi thành viên của quần thể Thuật toán di truyền (GA) đang phát triển là một thực thể riêng biệt hoạt động trên blockchain. Các hoạt động đánh giá sự đột biến và chéo và đánh giá thể chất có thể được thực hiện theo chuỗi.
Với cách tiếp cận này, sẽ trở nên khả thi khi có một quy trình thuật toán di truyền duy nhất kết hợp các đối tượng phần mềm ứng viên thuộc sở hữu của các bên khác nhau. Việc đánh giá tính phù hợp trở nên khả thi khi liên quan đến các tập dữ liệu được lưu trữ bởi các bên khác nhau và được truy cập thông qua các phương pháp an toàn như mã hóa đồng hình hoặc điện toán đa bên. Người ta có thể có quần thể GA đang phát triển trải dài trên toàn cầu và tận dụng sức mạnh tính toán phân tán phi tập trung do NuNet cung cấp.
Mặt khác, việc tùy chỉnh các quy trình AI cho HyperCycle theo cách này sẽ đòi hỏi các nhà phát triển phải làm việc thêm – và điều quan trọng cần nhấn mạnh là HyperCycle cũng sẽ có thể hỗ trợ nhiều tác nhân AI nguyên khối hơn được viết theo kiểu SingularityNET cổ điển. Tuy nhiên, khả năng triển khai xử lý AI trên toàn bộ chuỗi khối theo cách này cũng sẽ mang lại nhiều mục đích hơn cho quá trình hóa chuỗi khối của AI, từ quan điểm của nhà phát triển AI. Các nhà phát triển phần mềm chuyển sang phương pháp luận Hệ thống đa tác nhân, như HyperCycle khuyến khích, sẽ nhận được thành quả đáng kể không chỉ thông qua tích hợp chuỗi khối sâu hơn và phân quyền triệt để hơn mà còn thông qua khả năng tái sử dụng lớn hơn sau khi đóng gói nhiều chức năng phần mềm nguyên tử hơn trong các tác nhân tự trị tương tác thông qua các API linh hoạt và minh bạch về mặt ngữ nghĩa. Giống như những lần chuyển đổi trước đó từ lập trình mệnh lệnh sang lập trình hướng đối tượng và lập trình chức năng – sau khi chuyển đổi sang lập trình dựa trên MAS đã được thực hiện, ít người sẽ muốn xem xét quay lại những cách thô sơ trước đây.
Nguyên tắc tương tự được minh họa trong ví dụ thuật toán di truyền mà tôi đã đưa ra cũng có thể được tận dụng trong mạng nơ-ron, lý luận tượng trưng, hệ thống nhận thức đa mô hình tích hợp như OpenCog, v.v. Cardano cung cấp khả năng mở rộng lớn hơn đáng kể so với Ethereum, nhưng không đủ để cho phép loại hình chuyển đổi mô hình này trong phát triển AI.
TODA – Chuỗi khối không có Sổ cái
Thành phần cơ bản nhất của HyperCycle là thứ được gọi là TODA, được phát minh bởi hai cá nhân đáng chú ý đã trở thành bạn tốt của tôi trong những năm gần đây, TOufi Saliba (TO) và DAnn Tolliver (DA). Tôi coi TODA là sự đổi mới lớn thứ ba trong lịch sử khá ngắn ngủi của công nghệ blockchain. Đầu tiên là bản thân Bitcoin, cũng như việc cung cấp một cách tiếp cận mới thú vị đối với tiền cũng đã đưa ra minh họa đầu tiên về sự kết hợp giữa mật mã và điện toán phân tán để cho phép tạo ra các mạng lưới phân cấp, tự điều chỉnh của các quy trình tính toán với quyền sở hữu không đồng nhất. Thứ hai là Ethereum, tính mới cơ bản của nó là khái niệm “hợp đồng thông minh” giúp nới lỏng sự phát triển của các ứng dụng phi tập trung có mục đích chung vượt ra ngoài tiền tệ – “máy tính thế giới” phi tập trung an toàn.
Ethereum kết hợp nhiều thay đổi cơ bản từ Bitcoin, nhưng Bitcoin vẫn tiếp tục phụ thuộc vào sổ cái phân tán – về cơ bản là một bảng tính lớn lưu trữ bản ghi của tất cả các giao dịch từng được thực hiện trên chuỗi, được lưu trữ thành nhiều bản sao trên toàn mạng, do đó đảm bảo tính phi tập trung. Một số kiến trúc hiện đại và tiên tiến hơn giới thiệu “phân cấp phân cấp” trong đó sổ cái được chia thành các sổ cái phụ, sổ cái phụ phụ, v.v., giúp dễ dàng phân phối các bản sao của sổ cái trên một số lượng lớn các nút mạng khác nhau. Nhưng vẫn có một sổ cái phân tán và sao chép đóng một vai trò quan trọng.
TODA là hiện thân của bước đột phá lớn tiếp theo bằng cách loại bỏ hoàn toàn sổ cái và chuyển sang một kiến trúc phi tập trung cơ bản hơn, trong đó mỗi gói thông tin hoặc giá trị được truyền trong mạng – mỗi “tệp TODA” – chứa một bản ghi được mã hóa phù hợp về lịch sử của chính nó và một số phần nhỏ lịch sử của các nước láng giềng. “Sổ cái” của toàn mạng tồn tại ngầm định trong tổng số các bản ghi có trong các tệp TODA khác nhau nhưng không bao giờ phải tập hợp hoặc suy nghĩ về một thực thể toàn bộ. Các thành viên muốn thực hiện các giao dịch liên quan đến tệp TODA có thể tập hợp thành “vòng”, nơi những người tham gia trong vòng làm việc cùng nhau để đưa ra sự đồng thuận về những giao dịch nào là hợp lệ. Nhưng một tác nhân hoặc tệp TODA nhất định có thể tham gia vào nhiều vòng, nó không bị ràng buộc với một vòng theo cách địa chỉ ví được liên kết với một sổ cái trong các chuỗi khối truyền thống. Một số vòng có thể tồn tại trong một thời gian dài, những chiếc khác có thể được tạo ra cho các mục đích cụ thể; một số có thể được tạo ra từ trên xuống dưới dạng các khía cạnh quan trọng của các DApp cụ thể và những người khác có thể “nổi lên” một cách hợp tác do kết quả của hoạt động liên tác nhân tự tổ chức.
Tối ưu hóa mạng phi tập trung với danh tiếng phi tập trung
HyperCycle xếp một số thành phần khác lên trên TODA, bao gồm Bằng chứng về Danh tiếng, là một kỹ thuật mới được tạo mẫu trong hệ sinh thái SingularityNET và với khả năng đơn giản hóa quy trình đồng thuận trong vòng TODA ngoài những gì có thể có trong TODA thuần túy. Bitcoin sử dụng một cơ chế được gọi là Proof of Work, trong đó để có được quyền giúp “tham gia vào sự đồng thuận” (bỏ phiếu xem các giao dịch được đề xuất trong mạng Bitcoin được coi là hợp lệ chứ không phải là lừa đảo hoặc giả mạo), một nút Bitcoin phải chứng minh nó được thực hiện đưa ra một số xử lý tính toán, bằng cách nắm bắt phần tiếp theo trong một chuỗi dài các vấn đề toán học được cung cấp trước và giải nó. Một số blockchain hiện đại vượt ra ngoài PoW cho đến cái gọi là Proof of Stake – nơi một nút mạng có thể có quyền giúp xác nhận các giao dịch mà không cần thực hiện bất kỳ công việc tính toán nào, chỉ bằng cách cho thấy rằng nó sở hữu một loạt các mã thông báo của mạng. Một phần của quá trình chuyển đổi sang Ethereum 2.0 liên quan đến việc chuyển đổi từ PoW sang PoS.
PoS tránh lãng phí công suất xử lý (và hậu quả là đóng góp vào sự nóng lên toàn cầu và các vấn đề khác xảy ra do tiêu thụ điện quá mức không cần thiết) mà PoW gây ra, nhưng vẫn tiếp tục động lực “giàu càng giàu” tiềm ẩn trong PoW. Nếu sự đồng thuận chỉ có thể được cung cấp bởi những người có nhiều quyền xử lý theo ý của họ, hoặc những người sở hữu nhiều mã thông báo… và cung cấp sự đồng thuận mang lại phần thưởng… thì người ta có một hệ thống được thiết kế hoàn hảo để giúp những người đã có nhiều tài nguyên nhận được nhiều hơn và nhiều hơn nữa phần thưởng.
TODA dựa trên PoW nhưng số lượng công việc tính toán liên quan khá nhỏ nên không có động lực “giàu càng giàu” mạnh mẽ. Tuy nhiên, độ phức tạp thuật toán của các cơ chế đồng thuận TODA có thể là đáng kể, tùy thuộc vào bản chất của vòng và các thuộc tính mà sự đồng thuận cần phải có. Proof of Reputation liên quan đến một mức độ phức tạp khác ngoài Proof of Stake – người ta coi mạng blockchain như một loại mạng xã hội và sử dụng hệ thống danh tiếng toán học để cung cấp điểm danh tiếng cho các tác nhân được đánh giá là có lợi trong mạng xã hội này. Có thể có nhiều cách khác nhau để đạt được danh tiếng, một số cách có thể được giảm bớt đáng kể bằng cách có nguồn lực tài chính. Nhưng thực hiện một số lượng lớn các giao dịch nhỏ trong khi thực hiện hoạt động có ý nghĩa cũng có thể dẫn đến danh tiếng cao; đóng góp thông tin chi tiết vào mạng được các thành viên mạng khác đánh giá cao có thể dẫn đến danh tiếng cao, v.v. Các phiên bản đầu tiên của chuỗi khối NEM đã kết hợp khái niệm Bằng chứng về tầm quan trọng là một phiên bản đơn giản của PoR, nhưng PoR quy mô đầy đủ chưa được triển khai trước khi ngoại trừ trong các hệ thống thử nghiệm được phân tích trong hệ sinh thái SingularityNET.
Nhược điểm lớn nhất của PoR là về bản chất, nó thiên vị đối với những người mới tham gia vào hệ sinh thái, những người chưa có thời gian tạo dựng danh tiếng. Đây là một phần lý do khiến việc phân lớp PoR trên cơ chế đồng thuận của TODA, dựa trên PoW phức tạp nhưng tối thiểu có ý nghĩa. Khi có đủ danh tiếng để phục vụ như một hướng dẫn cho sự đồng thuận, PoR có thể được sử dụng; khi không, các cơ chế đồng thuận TODA gốc ở đó như một mặc định.
Cuối cùng, như trong bất kỳ hệ thống trực tuyến nào khác liên quan đến xếp hạng danh tiếng, người ta phải mong đợi rằng một khi HyperCycle đạt được lực kéo đáng kể, sẽ có những nỗ lực gian lận danh tiếng – ví dụ: ai đó có thể tạo nhiều tài khoản bù nhìn và yêu cầu họ đánh giá cao lẫn nhau để nâng cao danh tiếng của họ. Để chống lại loại gian lận này, HyperCycle sẽ sử dụng các thuật toán học máy chạy trên SingularityNET.
Tùy chỉnh sự đồng thuận của siêu chu kỳ
Thiết kế của các vòng mới có cơ chế đồng thuận kết hợp TODA và PoR để phục vụ cụ thể nhu cầu của mạng lưới các tác nhân AI và người dùng của họ – sẽ là một trong những khía cạnh cốt lõi và hấp dẫn nhất của thiết kế kỹ thuật HyperCycle. Một vòng các tác nhân AI tham gia vào thuật toán di truyền phân tán sẽ xứng đáng với một cơ chế đồng thuận; một vòng các tác nhân AI đóng vai trò như proxy kỹ thuật số cho những người tham gia vào mạng xã hội trực tuyến sẽ xứng đáng với một mạng xã hội khác; và một vòng các đại lý giao dịch AI trong mạng DeFi sẽ xứng đáng với một mạng khác.
Sau khi nhiều vòng phù hợp với AI đã được hoàn thành và khởi chạy, cũng có thể mở rộng khả năng tùy chỉnh của HyperCycle cho các miền khác ngoài AI, thông qua việc điều chỉnh cách hoạt động của sự đồng thuận trong các vòng để đáp ứng các loại nhu cầu khác. Có rất nhiều vấn đề phức tạp về khoa học máy tính và triển khai sẽ được giải quyết trong quá trình thực hiện, nhưng tương lai còn rộng mở.
Quay trở lại với ví dụ “thuật toán di truyền phân quyền” mà tôi đã phác thảo trước đó, để xử lý trường hợp này với hiệu quả tối đa, người ta sẽ viết một cơ chế đồng thuận tùy chỉnh chỉ dành cho các vòng chạy GA phân quyền. Một đặc điểm quan trọng, trong trường hợp này, là: Nếu một thực thể lừa đảo nào đó xâm nhập vào dân cư và thực hiện một loạt các giao dịch giả mạo, thì đó không phải là một thảm kịch lớn nếu điều này bị phanh phui chỉ sau một thời gian ngắn. Trong trường hợp này, quá trình học tập sẽ diễn ra dưới mức tối ưu trong một thời gian vì sự cố tiệm bánh, nhưng sẽ không ai mất tiền tiết kiệm cả đời. Điều này có nghĩa là các phán đoán đồng thuận có thể tích cực hơn một chút so với một vòng liên quan đến các giao dịch tài chính lớn.
GA phân quyền liên quan đến các tác nhân AI chạy trên các máy mạnh và liên tục có thể tương tác với nhau cũng sẽ được coi là một trường hợp sử dụng khác biệt với GA phân quyền liên quan đến các tác nhân AI chạy qua NuNet trên nhiều loại máy tính khác nhau, một số trong số đó có thể chậm hơn nhiều so với những người khác hoặc có thể thường xuyên ngoại tuyến. Các cơ chế đồng thuận khác nhau – và các kiểu đo lường danh tiếng khác nhau – sẽ thích hợp trong hai trường hợp. HyperCycle sẽ đi kèm với các công cụ đồng thuận TODA + PoR mặc định áp dụng trong mọi tình huống, nhưng thường thì các cải tiến hiệu quả lớn sẽ có thể đạt được khi các tác nhân tự nhóm mình thành một vòng với cơ chế đồng thuận phù hợp với các đặc tính cụ thể của những gì họ đang thực sự làm.
Truy cập Chuỗi chính Plutus và Cardano qua Hydra
Người ta có thể xây dựng một blockchain hoàn toàn mới dựa trên những nguyên tắc này nhưng điều này sẽ liên quan đến công việc thiết kế và kỹ thuật phần mềm nhiều hơn so với những người sáng lập HyperCycle khác và tôi cảm thấy đáng để thực hiện ngay bây giờ – vì đã tồn tại một công nghệ blockchain cơ bản hoàn toàn tốt với khả năng mở rộng cần thiết để chúng tôi xây dựng HyperCycle trên đó. Chuỗi khối Cardano có một giao thức gọi là Hydra, được thiết kế để cho phép các blockchain khác tương tác rất chặt chẽ với Cardano, thậm chí chạy các hợp đồng thông minh bằng ngôn ngữ hợp đồng thông minh Plutus bản địa của Cardano, theo cách cho phép khả năng tương tác chặt chẽ với các hợp đồng Plutus chạy trên Cardano chính xích.
Các hợp đồng thông minh của Ethereum được xây dựng bằng ngôn ngữ lập trình mới có tên là Solidity, ngôn ngữ này đặc biệt dễ sử dụng cho một số mục đích nhưng có một số lỗi nghiêm trọng như một ngôn ngữ lập trình. Gỡ lỗi mã Solidity phức tạp có thể là vấn đề, đây là gốc rễ của một tỷ lệ phần trăm nhất định các lỗi và hack nghiêm trọng đang gây ra cho các Ứng dụng Ethereum hiện đại. Solidity không được thiết kế cho cái mà các nhà khoa học máy tính gọi là “khả năng tổng hợp” – xây dựng các ứng dụng phức tạp theo thứ bậc từ các phần mô-đun mạnh mẽ – kết quả là rất nhiều sự phát triển Ethereum bao gồm các nhà phát triển cắt và dán mã của nhau và chỉnh sửa nó, một điều nổi tiếng phương pháp luận phát triển dễ bị lỗi.
Một số blockchain hiện đại khác sử dụng khung ngôn ngữ có tên là WebAssembly, được ưu tiên hơn so với Solidity theo nhiều cách nhưng vẫn chưa tận dụng được các phương pháp và thực tiễn tốt nhất được biết đến trong thế giới ngôn ngữ lập trình hiện đại. Ngôn ngữ Plutus của Cardano về cơ bản là một hệ thống thư viện chạy bằng ngôn ngữ Haskell – Haskell là một ngôn ngữ lập trình tiên tiến được biết đến chủ yếu trong giới học thuật và trên Phố Wall, nơi nó thường được sử dụng để viết các chương trình quản lý và giao dịch số tiền lớn, do tương đối số lượng lỗi nghiêm trọng tối thiểu xuất hiện trong mã Haskell.
Sử dụng Hydra, chúng tôi có thể xây dựng HyperCycle theo cách cho phép chúng tôi chạy các hợp đồng thông minh của Plutus trong một mạng chứa các tệp TODA sống trong các vòng được quy định bởi cơ chế đồng thuận PoR và TODA, đồng thời sử dụng Hydra để giao tiếp giữa mạng HyperCycle và chuỗi Cardano chính.
Tất nhiên luôn có một điểm khó khăn và một vấn đề phát sinh ở đây là khung giao diện Hydra chưa hoàn thiện và hoàn thiện. Có một thứ gọi là giao thức đầu Hydra, có liên quan đến các nút trong mạng bên ngoài luôn trực tuyến và sẵn sàng tương tác với chuỗi chính Cardano.
Sau đó, có giao thức đuôi Hydra, xử lý với số lượng lớn hơn các nút trong mạng bên ngoài (như một sidechain HyperCycle) có thể không phải lúc nào cũng có sẵn để tương tác với chuỗi chính Cardano. Giao thức đầu hiện đang hoạt động ở dạng hạn chế, trong khi giao thức đuôi hiện tại chủ yếu là lý thuyết. Đối với mục đích HyperCycle, chúng tôi dự kiến sẽ cần thực hiện một số thay đổi đối với giao thức phần đầu Hydra tiêu chuẩn và có thể triển khai giao thức phần đuôi Hydra tùy chỉnh. Nhưng tin tốt là kiến trúc Hydra rất vững chắc và có cơ sở lý thuyết tốt, làm cho loại công trình này trở nên nổi tiếng.
Tạo các DSL hợp đồng thông minh dành riêng cho ứng dụng có nền tảng của Plutus bằng MeTTa
Cùng với Plutus tiêu chuẩn, HyperCycle sẽ lưu trữ các chức năng thư viện phần mềm bổ sung dành riêng cho các tập lệnh Plutus hoạt động trên sidechain HyperCycle. Ngoài ra, ngôn ngữ MeTTa, một ngôn ngữ lập trình tùy chỉnh được phát triển trong dự án OpenCog Hyperon dành cho AI nâng cao và proto-AGI, sẽ được triển khai dưới dạng khung Haskell và được sử dụng để tạo DSL dựa trên Plutus và giao diện thấp / không mã cho ứng dụng dọc các lĩnh vực như tài chính, y học, truyền thông xã hội và chuỗi cung ứng.
Từ quan điểm thiết kế ngôn ngữ lập trình, chúng ta có thể nói rằng Haskell là một bước tiến vượt xa các ngôn ngữ lập trình tiêu chuẩn như C ++, Java, Javascript và python – giống như các ngôn ngữ chức năng thuần túy khác như OCamL hoặc F #, nó bao gồm các mức độ trừu tượng mà các ngôn ngữ này không có encompass, cho phép mã ngắn gọn và toán học hơn, tăng khả năng tổng hợp và giảm tỷ lệ lỗi. Solidity, trong khi được chuyên dụng cho các hợp đồng thông minh dựa trên blockchain một cách hiệu quả, về mặt thiết kế ngôn ngữ lập trình thể hiện một bước lùi so với các ngôn ngữ mục đích chung tiêu chuẩn này theo nhiều cách.
Khi tôi lần đầu tiên bắt đầu lập trình ở Haskell vào năm 1993, nó là một ngôn ngữ học thuật khá tối nghĩa với hiệu suất và công cụ khủng khiếp. Bây giờ nó có thể khá nhanh nếu được sử dụng hiệu quả và các công cụ phát triển không ở mức độ của các ngôn ngữ phổ biến nhất nhưng khá tốt. Việc phát triển Haskell vẫn đòi hỏi nhiều nền tảng học thuật và cách tư duy toán học hơn là viết mã, chẳng hạn như python hoặc Javascript – nhưng ngay cả như vậy, Haskell hiện đã khả thi để lập trình thương mại thực tế và việc Cardano sử dụng Haskell làm nền tảng cho Plutus là bằng chứng điều này.
Hiện nay có một loạt các ngôn ngữ lập trình hàn lâm mới vượt xa Haskell về mức độ sang trọng và trừu tượng mà chúng cho phép, về cơ bản đang sống ở giai đoạn Haskell đã làm vào năm 1993 – nhưng với tốc độ ngày càng tăng của tiến bộ công nghệ, người ta có thể mong đợi họ có thể có một hành trình nhanh hơn để đạt được tính khả thi về mặt thương mại. Các ví dụ từ cây trồng mới này mà tôi biết rõ nhất là Agda và Idris, cả hai đều được chúng tôi sử dụng để tạo nguyên mẫu các chức năng khác nhau trong hệ sinh thái SingularityNET và OpenCog. Idris2 đã thực sự chứng tỏ hiệu suất đáng kinh ngạc và làm nền tảng cho phiên bản nguyên mẫu hiện tại của AI-DSL của chúng tôi.
Khi thiết kế OpenCog Hyperon, phiên bản mới của hệ thống OpenCog AGI, chúng tôi đã gặp phải nhu cầu thiết kế một ngôn ngữ lập trình tùy chỉnh cho các thuật toán AGI kịch bản. Lúc đầu, chúng tôi cân nhắc việc sử dụng Agda hoặc Idris cho mục đích này nhưng sau đó chúng tôi nhận ra rằng chúng tôi cần phải thực hiện thêm một bước nhảy vọt về trừu tượng và chúng tôi đã tạo MeTTa – Meta Type Talk – trên thực tế là một ngôn ngữ để tạo ngôn ngữ. Người ta có thể viết mã MeTTa chỉ định một ngôn ngữ lập trình mới và người ta cũng có thể viết mã MeTTA có thể thông dịch được bằng nhiều ngôn ngữ lập trình khác nhau. Khi một đoạn mã MeTTa được tinh chỉnh, lớp ngôn ngữ mà nó có thể được thông dịch có thể thu hẹp (kết quả của một khái niệm được gọi là “gõ dần dần”). Trường hợp sử dụng cốt lõi cho MeTTa trong Hyperon là tạo ra các ngôn ngữ đặc biệt cho các chức năng AGI cụ thể như lý luận, nhận thức, điều khiển chuyển động, tạo khái niệm, v.v. MeTTa cũng được thiết kế để lập trình tự động – viết mã MeTTA để viết, sửa đổi hoặc diễn giải mã MeTTa hoàn toàn đơn giản và đơn giản như làm bất kỳ điều gì khác trong MeTTa.
Để sử dụng thực tế trong Hyperon, MeTTa chủ yếu sẽ được tận dụng như một khung công tác có thể truy cập từ các ngôn ngữ lập trình khác như python và Julia, là những ngôn ngữ phổ biến trong AI hiện đại. Điều này sẽ giúp các nhà phát triển AI dễ dàng sử dụng OpenCog Hyperon cùng với các khuôn khổ hiện có để học sâu, xử lý tín hiệu, v.v. Bằng cách cung cấp MeTTa làm khuôn khổ để sử dụng trong Haskell, có thể sử dụng MeTTa trong HyperCycle để tạo các ngôn ngữ hợp đồng thông minh chuyên biệt được tùy chỉnh cho các miền cụ thể. Trong trường hợp sử dụng này, thay vì phát triển các ngôn ngữ đặc biệt để lý luận, học tập, v.v., người ta đang phát triển các ngôn ngữ đặc biệt để tính toán phi tập trung an toàn trong các lĩnh vực thị trường dọc như tài chính, y học, chuỗi cung ứng, nông nghiệp, v.v.
IOHK, công ty đứng sau hầu hết quá trình phát triển trên chuỗi khối Cardano, tại một thời điểm đã phát triển một ngôn ngữ hợp đồng thông minh chuyên biệt có tên là Marlowe, được tùy chỉnh cho lĩnh vực tài chính. Tuy nhiên, Marlowe được viết trước Plutus, và cho đến nay vẫn chưa được mở rộng để có được sự linh hoạt cần thiết cho các ứng dụng Cardano DeFi như SundaeSwap hoặc MinSwap. Xây dựng thứ gì đó tương tự như Marlowe bằng cách sử dụng MeTTa, được thiết kế để chạy trên đỉnh Plutus, một ngôn ngữ hợp đồng thông minh DeFi tùy chỉnh linh hoạt hơn, có thể được mở rộng và sửa đổi khi nhu cầu của các nhà phát triển DeFi mở rộng. Tính linh hoạt của khung MeTTa có nghĩa là việc tinh chỉnh, điều chỉnh và cải thiện ngôn ngữ giống Marlowe về bản chất này sẽ là một vấn đề khá nhanh chóng và đơn giản đối với các nhà phát triển có kỹ năng phù hợp.
Nếu các ngôn ngữ dành riêng cho miền (DSL) này được phát triển hiệu quả, chúng sẽ giải quyết được một trong những vấn đề mà Cardano đã gặp phải cho đến nay, đó là khó khăn của các nhà phát triển hợp đồng thông minh hiện đại trung bình với sự trừu tượng của ngôn ngữ Haskell và sự khắc nghiệt của EUTxO mô hình giao dịch nền tảng của chuỗi khối Cardano. Một DSL được chế tạo tốt cho medtech sẽ cho phép các nhà phát triển các ứng dụng medtech phi tập trung hoạt động một cách vui vẻ mà không cần biết đến những phức tạp cấp thấp hơn này – chỉ những người đang dần mở rộng DSL mới hiểu được điều này để đáp ứng nhu cầu về các chức năng của medtech mới.
Trong nhiều trường hợp, có thể hiển thị các DSL này cho người dùng thông qua mã thấp hoặc không có khung mã, cho phép phần lớn các hợp đồng thông minh trong các miền phổ biến được viết chủ yếu bằng cách trỏ, nhấp, kéo và thả. Cuối cùng, những gì chúng tôi đang hướng tới là một khung phát triển blockchain cực kỳ hữu dụng và trực quan trên giao diện người dùng, cho nhiều trường hợp ứng dụng, nhưng tận dụng sự đơn giản hóa phần sau sâu sắc để đạt được sự kết hợp giữa hiệu quả và bảo mật. Điều này nghe có vẻ quá tốt là đúng, nhưng cuối cùng đó chỉ là vấn đề công nghệ blockchain đạt đến mức độ trưởng thành hợp lý để ngăn xếp phần mềm blockchain “hoạt động” theo cách mà ngăn xếp phần mềm iOS và MacOS hiện hoạt động. Một người không bao giờ đạt được sự hoàn hảo trong những vấn đề như vậy nhưng một người sẽ vượt qua giai đoạn biên giới để bước vào giai đoạn trưởng thành.
Và tất nhiên, cùng một ngăn xếp phần mềm blockchain trưởng thành này sẽ giúp cuộc sống của các nhà phát triển là con người trở nên dễ dàng hơn, cũng sẽ giúp mọi thứ trở nên dễ dàng hơn đối với các AGI ở giai đoạn đầu khi họ bắt đầu phát triển và khởi chạy mạng hợp đồng thông minh của riêng mình. Cũng giống như lý luận về các ứng dụng DeFi trong ngữ cảnh của DeFi DSL sẽ dễ dàng hơn cho con người so với việc suy nghĩ tương ứng đối với Plutus thô – điều tương tự cũng xảy ra đối với một hệ thống AGI giai đoạn đầu đang cố gắng lập luận về các ứng dụng DeFi. Sự khác biệt là cùng một hệ thống AGI, khi cần, sẽ có thể tận dụng sự hiểu biết rộng rãi về tất cả các hợp đồng thông minh trên hành tinh để tìm ra những sửa đổi cần được thực hiện đối với DSL này để giải thích tốt nhất cho thế hệ mới của Ứng dụng DeFI nó đã được hoàn thiện.
Có rất nhiều phần phức tạp ở đây, nhưng thiết kế HyperCycle khớp chúng với nhau một cách thanh lịch, sử dụng khả năng tổng hợp được cung cấp bởi các ngôn ngữ tiên tiến như Haskell và MeTTa. Đây là sự tinh tế mà chúng ta cần để tạo ra một cơ sở hạ tầng phần mềm có khả năng hỗ trợ sự xuất hiện của một bộ não toàn cầu thông minh, phi tập trung và được hướng dẫn một cách dân chủ.
Nguồn: https://blog.singularitynet.io/hypercycle-a-convergence-of-radical-technologies
TADATek Insights biên dịch
Comments (No)