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

Ứng cử viên tổng thống Hoa Kỳ Andrew Yang kêu gọi có quy định rõ ràng về tiền điện tử Crypto


Ứng cử viên tổng thống Hoa Kỳ Andrew Yang kêu gọi có quy định rõ ràng về tiền điện tử Crypto

Andrew Yang, một ứng cử viên tổng thống của đảng Dân chủ Hoa Kỳ cho cuộc bầu cử năm 2020, đang ủng hộ các quy định rõ ràng về tài sản kỹ thuật số. Yang đưa các điểm quan trọng trong một chính sách được công bố trên trang web chiến dịch của mình.

Yang - một doanh nhân đã đóng góp 120.000 đô la để thành lập công ty liên doanh  Venture For America (VFA), một công cụ tăng tốc nhằm xây dựng các công ty mới khởi nghiệp ở các thành phố mới nổi - đang tranh cử tổng thống vào năm 2020. Là một phần của chiến dịch tranh cử tổng thống của ông, Yang là người thực hiện tiền điện tử Crypto và kỹ thuật số quy định tài sản trong nước.

Trong bản phát hành, Yang phác thảo rằng chính phủ đã thất bại trong việc phát triển và đưa ra khuôn khổ quốc gia để điều chỉnh tài sản kỹ thuật số, trong khi một số cơ quan liên bang tuyên bố các khu vực pháp lý mâu thuẫn. Yang nhấn mạnh sự cần thiết phải xác định cách xử lý và quy định tài sản kỹ thuật số để đảm bảo rằng các nhà đầu tư có thể nắm được tất cả các thông tin liên quan trước khi tiến hành đầu tư. Yang nói:

”Chúng ta nên cho các nhà đầu tư, công ty và cá nhân biết sẽ có các hướng giải quyết để hỗ trợ cho sự đổi mới và phát triển. Blockchain có tiềm năng rất lớn.”

Yang cũng chỉ ra rằng thị trường tiền điện tử Crypto và tài sản kỹ thuật số phát triển nhanh hơn các quy định có thể theo kịp và một số tiểu bang có các quy định mâu thuẫn. “Tạo ra các hướng dẫn rõ ràng trong thế giới tài sản kỹ thuật số để các doanh nghiệp và cá nhân có thể đầu tư và đổi mới trong khu vực mà không sợ sự thay đổi về quy định,” Yang tiếp tục.

Vào tháng 1, Cointelegraph đã báo cáo rằng Thượng nghị sĩ Hoa Kỳ và nhà phê bình tiền điện tử Crypto Elizabeth Warren đã tuyên bố sẽ bỏ phiếu cho chủ tịch vào năm 2020. Phát biểu tại một phiên điều trần của Ủy ban Ngân hàng Thượng viện vào tháng 10, Warren đã khẳng định rằng “thách thức là làm thế nào để nuôi dưỡng các khía cạnh sản xuất của tiền điện tử Crypto với việc bảo vệ người tiêu dùng.” Thượng nghị sĩ cũng nêu ra rằng người tiêu dùng Mỹ đang trở thành nạn nhân của những kẻ lừa đảo tiền điện tử.

Đầu tháng này, Đại diện Warren Davidson và Darren Soto đã giới thiệu lại Đạo luật phân loại mã thông báo. Dự luật sẽ loại trừ tiền điện tử Crypto khỏi việc được phân loại là bảo mật. Đạo luật này cũng theo đuổi việc giới thiệu sự chắc chắn về quy định cho các doanh nghiệp và cơ quan quản lý trong ngành công nghiệp blockchain của Hoa Kỳ, cũng như làm rõ các sáng kiến ​​và phán quyết pháp lý mâu thuẫn.

Bạn đang đọc: Ứng cử viên tổng thống Hoa Kỳ Andrew Yang kêu gọi có quy định rõ ràng về tiền điện tử Crypto

Trích nguồn: Cointelegraph

Chia sẻ  
  
  
  
100% Rating
Điểm: 5 / 5
1 Bình chọn
Bigcoin Việt Nam - Phân tích đầu tư Bitcoin và các dự án công nghê Blockchain