Gửi bài viết tới BigCoin

Axoni, Clearmatics đánh dấu mốc quan trọng trong tương tác Blockchain

Đăng bởi: Charlotte  - 17/05/2018 - 188 lượt xem
Chia sẻ
 

Hai trong số các startup nổi bật nhất về blockchain doanh nghiệp đang hợp tác để giải quyết những vấn đề khó khăn nhưng dường như không thể tránh khỏi về khả năng tương tác.

Tại Consensus 2018 trong tuần này, Clearmatics và Axoni đã chứng minh làm thế nào một dẫn xuất tài chính có thể được phát hành thông qua một hợp đồng thông minh, kích hoạt thanh toán và sau đó kích hoạt một chuỗi chuyển giao giá trị nguyên tử giữa hai mạng riêng biệt. Điều này đánh dấu lần đầu tiên một hợp đồng phái sinh bắt nguồn từ một nền tảng blockchain của doanh nghiệp và được giải quyết trên một nền tảng blockchain khác.

Dấu mốc này quan trọng vì khả năng tương tác hiện đang nổi lên như một mục tiêu thiết kế quan trọng của công nghệ sổ cái phân phối (DLT).

Trong khi thế giới tài chính có thể đi từ trạng thái nhiều sổ cái đến ít hơn, các kiến trúc sư blockchain đã nhận ra rằng các giao dịch có thể sẽ không bao giờ được dẫn nguồn, xử lý và giải quyết bởi một hệ thống nguyên khối duy nhất.

Robert Sams, Giám đốc điều hành của Clearmatics, nói với CoinDesk:

"Việc tạo điều kiện cho xử lý từ đầu đến cuối từ điểm giao dịch đến giải quyết, chúng tôi cần giả định rằng quá trình đó đang đi qua nhiều hệ thống, chứ không phải là một hệ thống thanh toán nguyên khối duy nhất, được phân phối hay bất kỳ cách nào khác."

Mối hợp tác này cũng quan trọng vì sự tham gia của những người chơi có liên quan.

Axoni, có trụ sở tại New York, đang làm việc với một loạt các tổ chức tài chính hàng đầu và các nhà cung cấp cơ sở hạ tầng để biến hàng nghìn tỷ giá trị đô la Mỹ thành công nghệ blockchain trên nhiều loại tài sản khác nhau.

Trong khi đó, đối tác của họ trong bản demo, Clearmatics ở London, đang làm việc với một loạt các ngân hàng và tổ chức tài chính để tạo ra tiền tệ mã hóa được thế chấp hoàn toàn bằng tiền mặt tại ngân hàng trung ương tương ứng và có thể chuyển nhượng trên sổ cái phân phối.

Axoni thực hiện rất nhiều thương vụ trong không gian dẫn xuất và các lĩnh vực khác của quá trình hậu thương mại, trong khi Clearmatics tập trung vào giải quyết mọi khía cạnh, vì vậy việc ghép nối rõ ràng là rất phù hợp (cả hai đều xây dựng công nghệ dựa trên cấu trúc của ethereum).

Greg Schvey, Giám đốc điều hành của Axoni cho biết: “Nếu chúng ta có thể cộng tác một cách thích hợp và tạo điều kiện liên kết giữa các mạng đó, kết quả se là một quá trình tự động, minh bạch, tất cả từ thỏa thuận thương mại đến kết quả thanh toán.

Bài học từ tiền mã hóa

Quay trở lại, công bằng để nói khả năng tương tác blockchain là ở giai đoạn R&D.

Để hiểu được cốt lõi của vấn đề đòi hỏi rất nhiều yêu cầu dựa trên các trường hợp sử dụng và các ứng dụng miền, tất cả đều phải được xem xét cùng nhau. Sams nhấn mạnh rằng bản demo khả năng tương tác chỉ là một minh chứng cho khái niệm - nhưng là một phần quan trọng, bởi vì nó thúc đẩy tinh thần hợp tác nguồn mở.

"Khả năng tương tác cần phải được giải quyết theo cách cởi mở, mang tính hợp tác và được xây dựng xung quanh các tiêu chuẩn mở và các triển khai nguồn mở", ông nói thêm:

"Có thể sẽ có nhiều loại giải pháp về khả năng tương tác - không nhiều, nhưng nhiều hơn một."

Tinh thần đó cũng lan tỏa đến cộng đồng blockchain công cộng, nơi có rất nhiều tiến bộ vượt trội diễn ra trên các khía cạnh rất kỹ thuật của vấn đề này.

"Có rất nhiều sự chồng chéo giữa các hoán đổi nguyên tử xuyên qua chuỗi trong không gian tiền mã hóa và những thứ chúng ta đang làm", Sams nói. "Mặc dù ứng dụng miền hoàn toàn khác nhau, nhưng các nguyên tắc công nghệ cơ bản rất giống nhau."

Hợp đồng được đề cập đã được mô hình hóa bằng ngôn ngữ cụ thể của tên miền Axoni, AxLang, và sau đó giải quyết việc tích hợp các khoản thanh toán bằng tiền mặt đã thực hiện trên các sổ cái khác nhau để tương thích với ethereum.

Sự đóng góp của Clearmatics cho bản demo là Ion, một giao thức tương tác nguồn mở, được thiết kế để thực hiện các giao dịch xuyên qua chuỗi nguyên tử.

Một loại ngôn ngữ chung

Ngôn ngữ lập trình thông minh AxLang được sử dụng ở đây được phát triển bởi Axoni để giúp việc ứng dụng các hợp đồng thông minh trong một doanh nghiệp trở thành một điều chắc chắn.

Axlang dựa trên Scala và cho phép xác minh các hợp đồng thông minh, một phương pháp toán học nghiêm ngặt được sử dụng để chứng minh tính chính xác của các chương trình máy tính. Nó cũng có thể biên dịch cho cả Java và các máy ảo ethereum.

Tuy nhiên, các nhà phát triển thường được hỏi, tại sao cần một ngôn ngữ lập trình khác?

Schvey nói rằng thực hiện quá nhiều công việc với quy mô lớn trên blockchain dẫn đến một số yêu cầu không được Solidity đáp ứng, bước đầu tiên trong việc lập trình các hợp đồng thông minh giữa cộng đồng ethereum.

Đặc biệt, Solidity thiếu xác minh chính thức, đó là bằng chứng toán học rằng mã được viết đã được biên soạn đúng cách, Schvey nói.

"Việc có thể kiểm tra các vectơ lỗi nhất định là một khái niệm rất ấn tượng, đặc biệt nếu bạn đang triển khai cơ sở hạ tầng đa phương quy mô lớn với nhiều giá trị đi qua nó", ông nói.

Thật vậy, bằng chứng về khái niệm cộng hưởng giữa hai vấn đề về kỹ thuật: khả năng tương tác và xác minh. Và có một kết nối quan trọng giữa hai bên, Sams chỉ ra.

"Hãy tưởng tượng một cơ sở hạ tầng thị trường phân tán, nơi bạn có một quy trình xử lý từ đầu đến cuối, xảy ra thông qua nhiều hệ thống", ông nói.

Rõ ràng là ở lớp ngữ nghĩa, một hệ thống đang xử lý một quy trình từ một hệ thống khác, và ngược lại, hiểu rằng logic kinh doanh là họ đang tiêu thụ hoặc sản xuất cho một hệ thống khác tiêu thụ. "

 Theo Coindesk.com

Biên soạn: https://bigcoinvietnam.com/

Chia sẻ  
  
  
  
0% Rating
Điểm: 0 / 5
0 Bình chọn

Charlotte

Hy vọng các bạn sẽ có thêm nhiều thông tin bổ ích về cộng đồng crypto từ các bài dịch của team dịch bigcoinvietnam.com!

Các nhà nghiên cứu ĐH Stanford phát triển cơ chế bảo mật cho hợp đồng thông minh Ethereum


Các nhà nghiên cứu ĐH Stanford phát triển cơ chế bảo mật cho hợp đồng thông minh Ethereum

Các nhà nghiên cứu từ Đại học Stanford và Visa Research đã phát triển một cơ chế bảo mật cho các hợp đồng thông minh Ethereum (ETH). Thông tin ghi nhận tại trang web của Tập đoàn Mật mã học ứng dụng Stanford.

Các nhà nghiên cứu đã tạo ra một cơ chế thanh toán bí mật, được phân cấp hoàn toàn, có tên gọi là Zether, phù hợp với cả Ethereum và các nền tảng hợp đồng thông minh khác. Họ cũng đã phát triển một hợp đồng thông minh mới - có thể được thực hiện riêng lẻ hoặc bằng các hợp đồng thông minh khác - duy trì số dư tài khoản mã hóa và cho phép gửi, chuyển và rút tiền thông qua bằng chứng mật mã.

Các tác giả tuyên bố trong báo cáo rằng các giao dịch trên Zether là bí mật, trong đó một giao dịch có chi phí khoảng 0,011 ETH hoặc khoảng 1,51 đô la tại thời điểm thông cáo báo chí. Tính bảo mật nâng cao được kích hoạt bởi tùy chọn “khóa tiền” trong tài khoản vào hợp đồng thông minh. Loại ẩn danh được bảo đảm bởi Zether giống với Monero (XMR), trong thông cáo cũng giải thích:

“Chúng tôi mô tả một tiện ích mở rộng cho Zether, trong đó người gửi có thể ẩn người gửi và người nhận liên quan đến giao dịch giữa một nhóm người dùng. Mặc dù có quy định về chi phí liên kết với ẩn danh quy mô tuyến tính với quy mô của nhóm, tuy nhiên không cần thiết lập đáng tin cậy và không cần thay đổi đối với nền tảng hợp đồng thông minh cơ bản.”

“The Zether contract will never transfer funds without first checking an appropriate burn or transfer proof, even if the request comes from another smart contract whose rules do not permit illegal transfers. This design decision ensures that the security of Zether only depends on itself and not on any outside smart contract. Even a maliciously written or insecure smart contract cannot cause Zether to misbehave,” the report specifies.

“Hợp đồng Zether trong quá trình chuyển tiền sẽ luôn kiểm tra bằng chứng phá hủy - burn hoặc chuyển nhượng thích hợp, ngay cả khi yêu cầu đến từ một hợp đồng thông minh khác có quy tắc không cho phép chuyển nhượng bất hợp pháp. Quyết định thiết kế này đảm bảo rằng tính bảo mật của Zether chỉ phụ thuộc vào chính nó chứ không phụ thuộc vào bất kỳ hợp đồng thông minh bên ngoài nào. Ngay cả một hợp đồng thông minh độc hại hoặc không an toàn cũng không thể khiến Zether hoạt động sai”, báo cáo chỉ định.

Tiền riêng tư sẽ đảm bảo tính ẩn danh cao hơn. Tháng trước, Charlie Lee, người tạo ra Litecoin (LTC) tuyên bố rằng ông sẽ tập trung vào việc làm cho tiền mã hóa trở nên linh hoạt và riêng tư hơn. Lee giải thích rằng các giao dịch bí mật có thể được thêm vào Litecoin thông qua một soft fork và sẽ được triển khai vào “khoảng năm 2019”.

Một thành viên giấu tên của FSA cũng chia sẻ, vào tháng 4 năm 2018, các nhà quản lý Nhật Bản từ Cơ quan Dịch vụ Tài chính (FSA) đã đề không cho phép giao dịch Dash (DASH) và Monero. Và cần phải thảo luận nghiêm túc về việc liệu có bất kỳ sàn giao dịch nào đã đăng ký được phép sử dụng các loại tiền như vậy.

Bạn đang đọc bài viết  Các nhà nghiên cứu ĐH Stanford phát triển cơ chế bảo mật cho hợp đồng thông minh Ethereum, tại mục Tin tức

Nguồn: Cointelegraph



Chia sẻ  
  
  
  
0% Rating
Điểm: 0 / 5
0 Bình chọn

Christina

Sự khác biệt giữa một thách thức và một cơ hội nằm ở thái độ của bạn. Khi niềm tin của bạn lớn hơn nỗi sợ hãi, thách thức sẽ thành cơ hội của bạn.

Bigcoin Việt Nam - Phân tích đầu tư Bitcoin, Ethereum, đầu tư ICO theo 39 tiêu chí phân tích công nghệ