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

Việc tìm kiếm cả Tỷ Đô La để tránh các lỗi trên hợp đồng thông minh

Đăng bởi: Mi_A  - 13/07/2018 - 24 lượt xem
Chia sẻ
 

Tiền mã hóa, ngay cả những đồng không dựa trên hợp đồng thông minh, đều dễ bị lỗi. Thậm chí là bitcoin cũng đã có những lỗi trong năm 2010 tạo ra 180 tỷ bitcoin trong khối 74638. Nó đã được sửa chữa nhanh chóng mặc dù không có ai tăng hoặc mất tiền. Người dùng Ethereum không phải lúc nào cũng may mắn như vậy. Các sự cố như DAO, Parity, và gần đây nhất là Bancor, với khoản lỗ 12,5 triệu đô la đã được quy cho một backdoor trong hợp đồng thông minh, đã đẩy số Crypto bị mất để mã hóa lỗi tới 1 tỷ đô la.

 

Là một blockchain hoàn chỉnh, Máy ảo Ethereum có thể được sử dụng để ban hành các hợp đồng thông minh sử dụng logic cực kỳ phức tạp. Vấn đề là, phức tạp hơn mà logic, càng có nhiều khả năng của một lỗi có thể khai thác leo. Solidity, ngôn ngữ chính được sử dụng để mã hóa các hợp đồng thông minh Ethereum, nổi tiếng là khéo léo để làm chủ. Các blockchains hỗ trợ hợp đồng thông minh xuất hiện đã có ý định loại bỏ những lỗi như vậy. Điều này đòi hỏi phải di chuyển ra khỏi Solidity.

Trong một cuộc nói chuyện với Jordan Andrews, ông cho rằng Solidity trong “giai đoạn phát triển tinh tế, nơi bạn không thể thực sự đi ngược lại các hợp đồng. Thực tế vấn đề là bạn có thể kiểm toán chỉ khoảng 1% các hợp đồng trên Ethereum bởi vì về cơ bản, các trình giải mã không hoạt động. ” Trong khi Stratis chủ yếu tập trung vào việc chấp nhận doanh nghiệp và Tezos sẽ sử dụng xác minh chính thức cho các hợp đồng thông minh của mình dưới hình thức Michelson, một ngôn ngữ lập trình đơn giản mà đã nhận được giải thưởng bảo mật trên nhiều chức năng

 

Jordan Andrews của Stratis tự tin rằng việc tăng cường áp dụng xác minh chính thức sẽ làm cho các hợp đồng thông minh trở nên dễ bị lỗi hơn: “Tôi nghĩ hệ sinh thái cho cả Stratis và Solidity sẽ có rất nhiều cải tiến. Một điều hiện ra rất nhiều là xác minh chính thức, ý tưởng rằng bạn có thể xác minh hợp đồng sẽ hoạt động. Đây rõ ràng là một việc làm to lớn… Stratis sẽ có tiềm năng để làm điều đó, và tôi biết rằng họ cũng đang tìm kiếm điều đó với Ethereum. ”

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

Mi_A

Là member của nhóm Core Team - Team chuyên phân tích các dự án Coins, ICO chuyên nghiệp của Bigcoinvietnam.

Bài viết liên quan

© Copyright 2017 - BIGCOIN VIỆT NAM
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ệ