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

Tương lai của Ethereum Phần 1: Kỷ băng hà sắp đến

Đăng bởi: Coca  - 18/09/2018 - 1942 lượt xem
Chia sẻ
 

Kỷ băng hà Ethereum đang đến gần, nhưng chúng ta  không cần phải lo lắng. Mặc dù điềm báo trước gọi tên, nhưng kỷ băng hà không có gì đáng sợ, cũng không phải là 'difficulty boom' có thể làm nổ tung mạng lưới. Trên thực tế, cả “difficult bomb” và kỉ băng hà là những công cụ do nhóm phát triển Ethereum tạo ra sẽ đóng một vai trò quan trọng trong việc thực hiện cập nhật phát triển lớn tiếp theo của Ethereum: Ethereum 2.0.


Có thể bạn quan tâm: 

Trong phần 1 của loạt bài hai phần này về tương lai của Ethereum, chúng tôi sẽ đề cập đến mọi thứ bạn cần biết về kỷ băng hà của Ethereum và quả bom khó nhằn. Bạn sẽ hiểu được những công cụ phát triển này là gì, tại sao chúng được tạo ra và tại sao chúng lại xuất hiện trong tin tức gần đây.

Sau đó, trong phần 2 của loạt bài này, chúng tôi sẽ giới thiệu các bản cập nhật chính cho Ethereum hiện đang được phát triển, bao gồm Thuật toán đồng thuận Proof of stake  Sharding, Plasma và Ethereum (PoS) được chờ đợi từ lâu: Casper. Cùng với nhau, các thành phần này sẽ kiến tạo nên Ethereum 2.0.

Nhưng trước khi tham gia vào các kế hoạch dài hạn của Ethereum, trước tiên chúng ta phải nắm giữ cổ phần và những gì cần thiết trước khi bất kỳ bản cập nhật lớn nào có thể được thực hiện, điều đó đưa chúng ta trở lại kỷ băng hà.

Kỷ băng hà Ethereum là gì?

Kỷ băng hà Ethereum là sự suy giảm kế hoạch của mạng lưới Ethereum lần đầu tiên được giới thiệu vào năm 2015. Bản thân kỷ băng hà là kết quả của một 'difficulty bomb' được đặt ở một giai đoạn nhất định trong sự phát triển của Ethereum - cùng thời điểm mà Ethereum sẽ được chuyển từ thuật toán Proof of work (PoW) hiện tại của nó sang thuật toán Casper PoS.

Hình ảnh minh họa cho Kỷ băng hà Ethereum

Kể từ khi được phát hành vào năm 2015, Ethereum đã sử dụng một thuật toán khai thác PoW, được gọi là ETHash. Khai thác được sử dụng để duy trì an ninh mạng, (được sử dụng bởi nhiều loại tiền mã hóa bao gồm Bitcoin, Monero và Zcash) một quá trình liên quan đến ‘miner’ sử dụng máy tính mạnh để cạnh tranh với nhau trong cuộc đua để giải quyết một câu đố phức tạp. Cho dù miner tìm thấy giải pháp nào trước tiên được trao quyền ở thêm khối tiếp theo vào blockchain và được thưởng bằng loại tiền mã hóa mới được đúc.

Hầu hết các loại tiền mã hóa, bao gồm Ethereum, được mã hóa sao cho độ 'khó' của thuật toán khai thác thay đổi với số lượng miner đang cố giải quyết các câu đố. Hệ thống này làm nên điều đó vì vậy tốc độ các miner tìm ra giải pháp cho khối tiếp theo (và tốc độ mà token mới được phát hành) vẫn tương đối ổn định theo thời gian - mặc dù các minner liên tục đầu tư vào phần cứng khai thác mới hơn và mạnh mẽ hơn.

Điều này đưa chúng ta đến gặp “difficulty bomb”. Như được gợi ý bởi cái tên, quả bom là một điểm mà tại đó sự khó khăn khai thác Ethereum sẽ bùng nổ - trở nên khó khăn theo cấp số nhân trong một khoảng thời gian ngắn. Khi khó khăn khai thác tăng lên, do đó cũng sẽ mất khoảng thời gian để khai thác từng khối. Difficult bomb sẽ mạnh đến mức mạng Ethereum ở dạng hiện tại của nó cuối cùng sẽ dừng lại, một trạng thái được gọi là kỷ băng hà Ethereum

Tại sao thực hiện Difficulty Bomb?

Khi đọc lần đầu, điều này nghe có vẻ giống như một thảm họa. Tại sao các nhà phát triển của Ethereum lại muốn mạng bị đóng băng?

null

Hình ảnh minh họa cho Difficulty Bomb

Như đã đề cập ở trên, difficult bomb được dự định sẽ nổ trong khi Ethereum chuyển từ khai thác PoW sang hệ thống Casper PoS. Sự thay đổi này rất quan trọng vì nó sẽ đòi hỏi một độ hard fork của blockchain Ethereum. Một khi bản cập nhật Casper được phát hành, sẽ có hai mạng Ethereum: mạng cũ, sử dụng PoW và mạng mới sẽ sử dụng PoS.

Với bất kỳ độ hard fork nào, tiền mã hóa sẽ dẫn đến nguy cơ các miner sẽ không di chuyển sang chuỗi cập nhật và thay vào đó sẽ tiếp tục khai thác chuỗi cũ. Đây chính là những gì đã xảy ra với Ethereum vào năm 2016; mạng lưới hard fork được chia nhỏ để trả lại tiền cho người dùng theo sau DAO hack, nhưng một số thành viên cộng đồng từ chối di chuyển sang chuỗi mới. Hai chuỗi sau đó tồn tại song song — chuỗi cập nhật được gọi là Ethereum và chuỗi cũ được gọi là Ethereum Classic

Để tránh tình huống như vậy, các nhà phát triển Ethereum đã mã hóa difficult bomb như một công cụ để thuyết phục các miner di chuyển sang chuỗi PoS theo sau Hard fork Serenity (sẽ bao gồm việc thực hiện đầy đủ Casper). Quả bom về cơ bản sẽ làm cho việc khai thác PoW trên dây chuyền cũ trở nên khó khăn đến nỗi nó sẽ không còn có lợi nhuận cho các minner để làm việc nữa.

Một bài đăng blog phát triển tháng 8 năm 2015 của Stephen Tual, giám đốc thương mại của Ethereum, sau đó đã cung cấp thông tin chi tiết bổ sung về lý do đằng sau quả bom:

“Rất nhiều bạn đã tự hỏi làm thế nào chúng tôi thực hiện một chuyển đổi từ PoW để PoS trong thời gian cho Serenity. Điều này sẽ được xử lý bởi sơ đồ điều chỉnh độ khó vừa được giới thiệu, mà nó đảm bảo một mức hard fork trong 16 tháng tới… nó hoạt động như sau: bắt đầu từ khối 200.000 (khoảng 17 ngày kể từ bây giờ), độ khó sẽ trải qua một hàm mũ tăng, mà sẽ trở nên phổ biến trong khoảng một năm. Vào thời điểm đó (chỉ quanh việc phát hành cột mốc Serenity), chúng ta sẽ thấy sự gia tăng đáng kể về độ khó sẽ bắt đầu đẩy thời gian giải quyết khối lên trên. ”

Ông Stephen Tual - Co-founder của ETH

Nếu bạn chú ý đến dòng thời gian được mô tả trong câu nói trên, bạn sẽ nhận thấy rằng chúng tôi hiện đang rời khỏi lịch trình mà nhóm Ethereum dự định ban đầu. Quả thực, “difficulty bomb” đã bị trì hoãn vài lần trong vài năm qua vì sự phát triển của Casper đã kéo dài hơn đáng kể so với dự kiến. Quả bom phải xảy ra đồng thời với việc phát hành Casper, do đó, mỗi sự chậm trễ trong Casper cũng kéo theo nó một sự chậm trễ trong quả bom.

Tin tức gần đây về Difficulty bomb

“Difficulty bomb” đã trở thành một chủ đề nóng trong vài tháng qua vì quả bom cuối cùng được lên kế hoạch cất cánh vào đầu năm 2019; tuy nhiên, nhóm Ethereum đã thông báo rằng bản cập nhật Casper sẽ vẫn chưa sẵn sàng vào thời điểm đó. Kết quả là, quả bom phải bị trì hoãn một lần nữa để cung cấp thêm thời gian cho team Ethereum để hoàn thành Casper.

Ethereum dự kiến sẽ có hard fork gọi là Constantinople vào ngày 30 tháng 10. Sự phân chia này sẽ giới thiệu một phiên bản thu nhỏ của PoS sẽ chạy cùng với thuật toán PoW hiện có để chuẩn bị cho phiên bản đầy đủ của Casper, đang được lên lịch vào năm 2019 (nếu như  không có sự chậm trễ nào thêm).

Về phần Casper thì vẫn chưa sẵn sàng và quả bom Ethereum gặp khó khăn trong vài tháng, nhiều người trong cộng đồng Ethereum đã đưa ra các đề xuất bổ sung cho bản cập nhật Constantinople và trì hoãn bom, giải quyết một số vấn đề liên quan.

Một loạt các đề xuất cộng đồng được đưa ra để giải quyết các difficulty bomb xuất hiện. Vào ngày 31 tháng 8, nhóm phát triển Ethereum đã quyết định đề xuất EIP1234, sẽ trì hoãn difficulty bomb trong khoảng 12 tháng, đồng thời giảm các phần thưởng khai thác trên Ethereum từ 3 ETH mỗi khối xuống còn 2 ETH. Sự trì hoãn (hy vọng) cung cấp cho nhóm Ethereum đủ thời gian để hoàn thành Casper trước khi quả bom nổ ra, và phần thưởng khai thác giảm sẽ đảm bảo rằng số lượng Ether mới được đưa vào mạng sẽ không vượt quá tầm kiểm soát do giảm khó khăn khai thác.

Việc giảm phần thưởng khai thác cũng mang lại ý nghĩa quan trọng đối với tỷ lệ lạm phát của Ethereum. Không giống như nhiều cryptocurrencies khác, Ethereum không có giới hạn về số lượng tạo ra Ether. Việc thiếu một giới hạn khiến Ethereum dễ bị lạm phát hơn nhiều tiền mã hóa khác.

Trước khi giảm phần thưởng sắp tới có Constantinople, tỷ lệ lạm phát ước tính trên Ethereum là khoảng 7,4%. So sánh điều này với Bitcoin, ước tính khoảng 4,25%. Giảm phần thưởng khai thác từ 3 ETH xuống 2, dự kiến ​​sẽ đặt tỷ lệ lạm phát của Ethereum đáng kể gần hơn với các đồng tiền khác và mang lại phần thưởng khai thác nhiều hơn phù hợp với giá trị của mạng.

Kết luận

Đến đây là kết thúc Phần 1 của loạt bài về tương lai của Ethereum. Bây giờ bạn đã có một sự hiểu biết vững chắc về kỷ băng hà Ethereum, difficulty bomb, cũng như những thay đổi đối với lạm phát được đặt ra cùng với bản cập nhật Constantinople vào tháng Mười.

Hãy theo dõi Phần 2 của loạt bài này, bao gồm mọi thứ bạn cần biết về Ethereum 2.0, bao gồm Sharding, Plasma và Casper

Bạn đang đọc: Tương lai của Ethereum Phần 1: Kỷ băng hà sắp đến tại chuyên mụcPhân tích

Biên dịch: Bigcoinvietnam

Theo cryptoglobe

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

Coca

We all have our own life to pursue, our own kind of dream to be weaving, and we all have the power to make wishes come true, as long as we keep believing.

CertiK là gì? - An ninh mạng công nghệ Blockchain


1. Certik là gì?

CertiK là công ty khởi nghiệp đầu tiên về an ninh mạng sử dụng công nghệ Blockchain được thành lập bởi các giáo sư chuyên về khoa học máy tính tại trường đại học Yale và Columbia. Bằng cách áp dụng công nghệ Kiểm Định Hình Thức (Formal Verification) cho các giao thức hợp đồng thông minh và Blockchain, CertiK đã và đang bảo vệ cho hơn 1,2 tỉ đô la Mỹ tài sản, bao gồm rất nhiều các dự án Blockchain hàng đầu trên thế giới.

2. Công nghệ lõi của CertiK

Kiểm định hình thức (Formal Verification) – kiểm chứng các chương trình quan trọng bằng phương pháp toán học

Quét tự động (AutoScan) – công nghệ xác minh và sửa chữa các lỗ hổng an ninh

DeepSEA-Blockchain – ngôn ngữ lập trình cho các hợp đồng thông minh với tính năng kiểm định hình thức

3. Hệ sinh thái phần mềm CertiK

Hệ sinh thái của CertiK gồm:

Blockchain của CertiK

CertiK đang xây dựng một Blockchain sử dụng “phần mềm CertiK” (Certik software) riêng, dự kiến sẽ ra mắt testnet vào cuối tháng 6/2019. Blockchain sử dụng phần mềm CertiK sẽ áp dụng thuật toán đồng thuận DPOS và được trang bị với máy ảo đã qua kiểm định (Certified Virtual Machine) sẽ có khả năng linh hoạt cao về thiết kế và khả năng ứng dụng trong khi duy trì độ tin cậy và tính an toàn cao.

Nền tảng xác thực của CertiK

Phần mềm CertiK cung cấp các công cụ kiểm định để phát triển bằng chứng toán học của hợp đồng thông minh và áp dụng vào nền tảng Blockchain. Với các công cụ được chứng nhận và báo cáo trong thời gian thực của CertiK, các nhà phát triển có thể sửa lỗi tiềm ẩn trong hệ thống ngay từ khi bắt đầu.

Mô hình coin kép

Sự khác biệt giữa CertiK và các dự án khác là Blockchain của CertiK sẽ sử dụng mô hình coin kép. Đầu tiên, CTK (đồng tiền chính của hệ thống) sẽ được đưa ra thị trường. CKT - token quản trị, chỉ có giá trị sử dụng trong việc xác thực và đạt được sự đồng thuận trong giao dịch.

Sau đó, CKG - gas sử dụng(utility gas), sẽ được tạo ra để trao thưởng cho những node xác thực. CGK có giá trị sử dụng để tham gia chương trình Bounty hunter, đăng ký tham gia hệ thống và nhiều lợi ích khác sẽ được tiếp tục bổ sung.

Image result for team certik background

4. Tính năng hiện tại

Kiểm chứng độ bảo mật (Security audits)

Tìm ra và loại bỏ các lỗ hổng an ninh bằng các kỹ thuật an ninh mạng chính xác. CertiK sẽ kiểm tra nguồn code, tìm kiếm lỗ hổng an ninh có thể có, gợi ý sửa và đưa ra kết luận tổng hợp.

Kiểm tra khả năng thâm nhập (Penetration testing)

Kiểm tra hệ thống bằng cách dàn dựng các vụ tấn công có thể xảy ra để kiểm tra và xác định lỗ hổng trong hệ thống và cơ sở IT tầng đáy. Với đội ngũ Hacker mũ trắng (white hat hackers), CertiK sẽ khảo sát, quét và kiểm tra thủ công toàn bộ hệ thống, phân tích rủi ro và đưa ra báo cáo đánh giá chi tiết về an ninh hệ thống bao gồm gợi ý sửa lỗi.

Điều chỉnh nền tảng (Platform Customization)

Bổ sung thêm tính năng và tăng cường an ninh cho các nền tảng khi kết hợp với lõi của cơ chế Formal Verification. CertiK có một đội ngũ chuyên gia để phân tích các nền tảng, từ đó đưa ra mô hình toán học phù hợp với ngôn ngữ của hệ thống để bảo vệ hệ sinh thái blockchain và các DApp.

5. Lợi thế chính của Certik

- Công nghệ Formal Verification toàn diện và có thể điều chỉnh

- Báo cáo Audit minh bạch và chi tiết

- Review code bởi các chuyên gia về an ninh

- Audit trên tất cả loại ngôn ngữ và giao thức chính

- Re-Audit code không giới hạn

- Công nghệ kiểm tra khả năng thâm nhập tân tiến

6. Team

Zhong Shao (đồng sáng lập hiện đang là giáo sư Thomas L.Kempner và trưởng khoa khoa học máy tính tại trường Yale University. Ông tốt nghiệp tiến sĩ ngành công nghệ máy tính trường đại học Princeton. Zhong Shao là một cây cổ thụ trong lĩnh vực nghiên cứu như an ninh mạng, hệ thống vận hành và phần mềm chứng chỉ.

Ronghui Gu (đồng sáng lập và nhà phát triển chính) hiện đang là Assistant Professor tại khoa Khoa học máy tính của trường đại học Columbia. Ông tốt nghiệp tiến sĩ ngành khoa học máy tính tại trường đại học Yale và cử nhân trường Tsinghua University Distinction Dissertation Award trường đại học Yale năm 2016. Ông là một chuyên gia trong lĩnh vực Formal Verification cho phần mềm hệ thống.

Muhan Zuo (CSO - giám đốc chiến lược) từng có nhiều năm kinh nghiệm trong lĩnh vực thiết kế và phát triển các sản phẩm doanh nghiệp SaaS. Trước khi tham gia vào Certik, ông từng làm engineering lead tại Comcast và Full Stack engineer tại Oracle.

Daryl Hok (COO - giám đốc vận hành) từng là head bộ phận phát triển doanh nghiệp tại FiscalNote. Ông cũng từng là Product Manager phụ trách ý tưởng và phát hành các sản phẩm SaaS và phát triển cơ sở hạ tầng dữ liệu cốt lõi. Ông tốt nghiệp bằng kép khoa Kinh tế và Tâm lý học trường đại học Yale.

Ngoài ra, các thành viên khác trong core team đều là các chuyên gia, tiến sĩ về lĩnh vực an ninh mạng, phần mềm, kinh tế học, đến từ các trường đại học hàng đầu như Yale, Columbia, Chicago, Penn, Duke, … và có kinh nghiệm làm việc cho các ông lớn như Google, Oracle, Microsoft, HP, Microsoft, Samsung, …

7. Partners

Đến nay Certik đã có mối quan hệ hợp tác với hơn 30 dự án và quỹ. Những cái tên tiêu biểu có thể kể đến như Bitmain, Binance, Lightspeed, WinG, Matrix, DHVC, iCon, Fenbushi Digital, FBG Capital, NGC, OK Blockchain Capital, Kenetic, Vochain, NEO, ONTology, KOSMOS, QTUM, IOST, ….

Image result for certik logo

8. Token metrics

Ticker: CTK

Token type: ERC20

Total supply (dự tính): 100.000.000

Các thông tin còn lại đang được cập nhật

9. Roadmap chính

Năm 2017: dự án bắt đầu phát triển

Năm 2018: phát triền dịch vụ CertiK contract verification (xác thực hợp đồng CertiK) phiên bản alpha, 1.0, 2.0 và đạt mục tiêu có khoảng 30 đối tác doanh nghiệp và khách hàng

Tháng 6/2019 (dự tính): cho ra mắt Testnet

Tháng 12/2019 (dự tính): cho ra mắt Mainnet 1.0

Tháng 12/ 2020 (dự tính): cho ra mắt Mainnet 2.0 (đã hoàn thiện)

Image result for certik roadmap

10. Contacts

Twitter: https://twitter.com/certikorg

LinkedIn: https://www.linkedin.com/company/11831043/admin/

Telegram: https://t.me/certikorg

Medium: https://medium.com/certik

Website: https://certik.org/

 

Kết luận

Certik là một dự án đang được cộng đồng quan tâm sau khi công bố những phát triển về mặt công nghệ và quan hệ đối tác.

  • Dự án được xây dựng bởi các chuyên gia và giáo sư hàng đầu trong lĩnh vực an ninh mạng và phần mềm chứng chỉ, những công nghệ sẽ được ứng dụng trong hệ thống CertiK nên có khả năng ứng dụng thực tế cao.
  • Dự án đã có sản phẩm cụ thể và đang được áp dụng bởi nhiều dự án có tiếng như OnTology, NEO, Kardia Chain, OKex, Houbi … nên khá tin cậy.
  • CertiK đã chứng minh được sự tiềm năng khi nhận được quỹ đầu tư từ nhiều ông lớn trong lĩnh vực Blockchain như Binance, FBG Capital, Bitmain, ….

Tuy nhiên, dự án chưa tiết lộ bất cứ thông tin nào về IEO hay việc bán token. Đây chính là một chiến thuật của CertiK để thu hút cộng đồng tập chung vào công nghệ và bắt buộc các thành viên phải liên tục theo dõi, cập nhật tình hình. Theo tác giả, Certik là một trong những dự án có khả năng phát triển tốt và tính ứng dụng thực tế cao không chỉ trong lĩnh vực Blockchain. Với những gì dự án đã và đang đạt được, rất đáng để bất cứ ai, không chỉ nhà đầu tư mà những ai hứng thú với công nghệ hay doanh nghiệp muốn ứng dụng Blockchain quan tâm và theo dõi những cập nhật mới nhất từ CertiK.

 

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

NHẬN FREE VÉ THAM GIA SỰ KIỆN BLOCKCONFEX HỒ CHÍ MINH

"39 TIÊU CHÍ ĐẦU TƯ ICO THÀNH CÔNG và REVIEW ICO HOT hàng tuần"

Bigcoin Việt Nam - Phân tích đầu tư Bitcoin và các dự án công nghê Blockchain