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 - 78 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.

Tổng thống Nga: Thị trường xuống giá không phải là lý do để chôn vùi tiền mã hóa


Thị trường xuống giá không phanh 2018 không phải là lý do để chôn vùi tiền mã hóa, Thủ tướng Nga Dmitry Medvedev tuyên bố trong một bài phát biểu tại diễn đàn Gaidar. Hãng thông tấn Nga TASS đưa tin về những bình luận của Medvedev hôm qua, 15/1.

Medvedev cho rằng tình hình thị trường tiền mã hóa hiện nay là một trong những câu hỏi chính trong chương trình nghị sự cộng đồng thế giới, cùng với những thách thức khác như thay đổi trong thị trường truyền thống, gia tăng chủ nghĩa bảo hộ và bất bình đẳng xã hội, và tốc độ và phạm vi chuyển đổi kỹ thuật số toàn cầu.

Phát biểu tại hội nghị khoa học quốc tế thường niên về kinh tế, thủ tướng Nga và cựu tổng thống kêu gọi công chúng quan sát chặt chẽ tình trạng của thị trường tiền mã hóa.

Chỉ ra khối lượng biến động bất thường trong năm qua, Medvedev lập luận rằng đó không phải là lý do để "chôn vùi" tiền điện tử, đồng thời cũng nhấn mạnh rằng bất kỳ hiện tượng kinh tế và xã hội nào cũng có mặt sáng và mặt tối.

“ Nhưng chắc chắn, đó không phải là lý do để chôn vùi tiền mã hóa. Có cả một mặt sáng và một mặt tối ở đây, cũng như trong bất kỳ hiện tượng xã hội và bất kỳ tổ chức kinh tế nào. Chúng ta nên theo dõi cẩn thận những gì đang diễn ra trong lĩnh vực này.”

Đầu tuần này, người đứng đầu Ủy ban Nga về thị trường tài chính tuyên bố rằng phòng dưới của quốc hội Nga đang lên kế hoạch thảo luận về dự thảo luật về quy định về tiền mã hóa vào tháng 1 hoặc tháng 2.

Quốc hội Nga lần đầu tiên thông qua dự luật về tiền mã hóa, về “tài sản tài kỹ thuật số”, trong lần đọc đầu tiên vào tháng 5 năm 2018. Sau các báo cáo về việc thiếu một số khái niệm chính như khai thác tiền mã hóa, dự thảo luật đã được gửi trở lại lần đọc đầu tiên sân khấu.

Tuy nhiên, vào giữa tháng 12, phó thủ tướng Nga Maxim Akimov tuyên bố rằng các tác giả của dự luật không có kế hoạch thực hiện bất kỳ thay đổi đáng kể nào.

Bạn đang đọc bài viết Tổng thống Nga: Thị trường xuống giá không phải là lý do để chôn vùi tiền mã hóa tại mục Tin tức

Biên dịch Bigcoinvietnam

Nguồn Cointelegraph

Chia sẻ  
  
  
  
100% Rating
Điểm: 5 / 5
1 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ệ