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

Chống lại FUD trước phiên điều trần của SEC


Trong một lá thư gửi các nhà đầu tư, Telegram khuyến khích các nhà đầu tư xem phiên điều trần của ủy ban chứng khoán và giao dịch Hoa Kỳ (SEC) gần đây đã được lên lịch lại vì đây là một bước tích cực.

 

null

 

Có thể bạn chưa biết:

FOMO và FUD - đọc để tránh nếu muốn đầu tư vào cryptocurrency

Phản hồi của Telegram về hành động của SEC

 

Nguyên nhân của sự lạc quan

Bức thư được gửi vào ngày 19 tháng 10, ngắn gọn trấn an các nhà đầu tư rằng việc sắp xếp lại các phiên điều trần gần đây cho đến ngày 18-19 tháng 2 là tin tốt trong khi công ty vẫn sẽ không phân phối token Gram cho đến thời điểm đó. Nói theo cách khác:

“Phần mềm Telegram coi sự phát triển này là một bước tích cực để giải quyết vấn đề thông qua hệ thống tòa án một cách nhanh chóng và chúng tôi cũng như các cố vấn sẽ sử dụng thời gian để đảm bảo rằng vị trí của Telegram được trình bày và hỗ trợ mạnh mẽ nhất có thể tại phiên điều trần tháng Hai.”

Một quyết định kết luận?

Đối số của Telegram phần lớn là các token Gram không đủ điều kiện làm chứng khoán do đó không thuộc phạm vi điều chỉnh của SEC. Trong thư, nhóm Telegram dự đoán các phiên điều trần tháng 2 giải quyết vấn đề này thỏa đáng hơn so với phiên điều trần dự kiến ​​ban đầu vào ngày 24 tháng 10 có viết:

Phiên điều trần tháng hai khác với phiên điều trần dự kiến ​​vào ngày 24 tháng 10 bởi vì trong phiên điều trần tháng hai, Telegram dự đoán sẽ yêu cầu tòa án đưa ra phán quyết cốt lõi rằng Grams không phải là chứng khoán. Ngược lại, phiên điều trần ngày 24 tháng 10 chỉ để xem xét liệu có nên bắt buộc trì hoãn mà không giải quyết một cách thuyết phục lý lẽ cốt lõi.

SEC và Telegram

Bức thư này là bức thư mới nhất trong một cuộc trao đổi qua lại giữa SEC và Telegram xung quanh việc ra mắt Telegram Open Network sau này và các token Gram liên quan của nó, phân phối là chủ đề của hành động khẩn cấp SEC vào ngày 11 tháng 10 .

Bằng cách xem xét các chứng khoán token Gram, SEC đã dán nhãn bán của họ ở Hoa Kỳ - đã thu về khoảng 1,7 tỷ đô la - một đề nghị bảo mật chưa đăng ký do đó nó là bất hợp pháp. Vào ngày 16 tháng 10, Telegram đã bác bỏ bản chất khẩn cấp của Hồi giáo về khiếu nại của SEC. Cách thức phản đối là chỉ trích các ủy ban thiếu hành động trong khi họ biết về sự ra mắt của TON.

 

Nguồn: Cointelegraph

Thảo luận thêm tại : 

Email : Bigcoinvietnam@gmail.com 

Hotline : (+84) 972 678 963 

Facebook Fanpage : + https://www.facebook.com/Bigcoinvietnam/ 

Facebook Group : +https://www.facebook.com/groups/Blockchain.Alliance/

Telegram : https://t.me/bigcoinvietnam

Twitter : https://twitter.com/bigcoinvietnam

Youtube channel : https://www.youtube.com/channel/UCSqu48gRo3ClM71WAUgFgxQ

 

 

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