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

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

Đăng bởi: hoatracy  - 11/06/2019 - 8774 lượt xem
Chia sẻ
 

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.

 

Chia sẻ  
  
  
  
59.25% Rating
Điểm: 2.96 / 5
584 Bình chọn

Cypherium là gì? Thế hệ blockchain mới cạnh tranh trực tiếp với Ethereum 2.0


 Cypherium là gì? Sao lại có thể trực tiếp cạnh tranh với blockchain của Ethereum? Cypherium có đáng tin cậy không? Cypherium có thật sự hợp tác với Google, Microsoft, IMB không? Bạn hẳn sẽ quan tâm đến những câu hỏi này nếu bạn là một nhà đầu tư vào CPH hoặc một người theo dõi dự án Cypherium từ lâu. Vậy thì hôm nay chúng ta hãy cùng tìm hiểu tổng quan về dự án này nhé. 

 

1. Cypherium là gì?

 

Cypherium là một nền tảng hợp đồng thông minh có khả năng mở rộng mạnh mẽ. Cơ chế đồng thuận độc quyền có cơ chế đồng thuận Proof-of-Work (PoW) và HotStuff (cũng được thông qua bởi Libra của Facebook) có thể đạt được hàng nghìn giao dịch mỗi giây mà không phải hy sinh phân quyền.

Các đối thủ cạnh tranh của Cypherium bao gồm Cosmos, Polkadot, Libra và Ethereum 2.0. Hiệu suất và khả năng mở rộng của cơ chế đồng thuận của Cypherium tương đương Libra Cosmos, Polkadot, Eth 2.0. Cypherium là blockchain công khai hoàn toàn phi tập trung đầu tiên dựa trên thuật toán đồng thuận Libra.

Một ưu điểm khác của Cypherium so với Libra là chúng tôi không cần phải trải qua quá trình tuân thủ quy định kéo dài ở mọi quốc gia. Cypherium được phân cấp hoàn toàn. Chúng tôi sẽ khởi chạy mainnet trong vòng vài tuần. Trong khi sự ra mắt của Libra vẫn còn rất xa.

 

2. Cypherium giải quyết vấn đề gì?

 

 Cypherium được thành lập vào năm 2017. Theo Sky chia sẻ, đây là lần đầu tiên ông sử dụng hợp đồng thông minh Ethereum và cảm thấy nó thật tuyệt. Tuy nhiên, vì Ethereum không thể mở rộng quy mô, cộng với việc nó không có sự trao đổi, ông nhận ra rằng vấn đề về khả năng mở rộng của Ethereum sẽ ngăn nó được chấp nhận một cách rộng rãi. Từ đây, ông quyết định tạo ra một blockchain tốt hơn để giải quyết những thiếu sót của Ethereum. 

Nhiều dự án blockchain tuyên bố rằng họ đã giải quyết được các vấn đề về khả năng mở rộng của Bitcoin và Ethereum, nhưng điều đó không hoàn toàn đúng. Đầu tiên, nhiều blockchain đang sử dụng các thiết kế tập trung, chẳng hạn như EOS. Thứ hai, chỉ các cơ chế đồng thuận dựa trên Khả năng chịu lỗi của Byzantine mới có tính năng cuối cùng của giao dịch tuyệt đối. Tuy nhiên, thuật toán BFT duy nhất có thể mở rộng đến hàng trăm nút trong khi duy trì hàng nghìn giao dịch mỗi giây là HotStuff, được cả Libra và Cypherium áp dụng. Libra’s HotStuff, hay còn gọi là LibraBFT,  tập trung. Cypherium’s HotStuff hoàn toàn không được phép và phi tập trung. Blockchain của Cypherium hướng tới phục vụ hàng tỷ người dùng với giao dịch hoàn tất tức thì.

EVM và Solidity của Ethereum cũng là rào cản đối với việc áp dụng quy mô lớn hơn. Cypherium sử dụng Máy ảo Java và ngôn ngữ lập trình Java cho các hợp đồng thông minh. Java là ngôn ngữ lập trình phổ biến nhất thế giới, với hơn 10 triệu nhà phát triển trên toàn thế giới và hàng tỷ thiết bị chạy JVM. Bằng cách hỗ trợ Java, Cypherium sẵn sàng đến với thị trường ứng dụng di động và doanh nghiệp.

 

 

3. Cypherium có những sản phẩm gì?

 

Về mặt ứng dụng thực tế cho các doanh nghiệp truyền thống

Vào tháng 2, Cypherium đã cùng nhau phát triển một trường hợp sử dụng của hệ thống nhân sự phi tập trung với công ty nhân sự lớn nhất thế giới, Randstad và Google Cloud. Cypherium đã trở thành thành viên sáng lập của Viện tiền tệ kỹ thuật số, được thành lập bởi tổ chức tư vấn ngân hàng trung ương toàn cầu, OMFIF. Về lâu dài, đội ngũ Cypherium muốn kết nối thị trường Tiền tệ Kỹ thuật số Ngân hàng Trung ương nghìn tỷ đô la trên khắp thế giới. Cypherium đã ký MOU với Tô Châu, một trong những thành phố thí điểm của dự án DC / EP của Trung Quốc. Ngoài ra, Cypherium đã bắt đầu một loạt các cuộc thảo luận với các ngân hàng trung ương về các lựa chọn công nghệ và thiết kế CBDC. Bên cạnh việc tổ chức 1 podcast với Ngân hàng Thái Lan và tuần trước, Cypherium đã có một cuộc thảo luận lịch sử với Ngân hàng Anh, Ngân hàng Quốc gia Thụy Sĩ, Ngân hàng Trung ương Hungary và ING.

Về mặt phát triển sản phẩm trong hệ sinh thái 

 Cypherium đã ra mắt Mainnet và đang dần hoàn thiện ví để đưa lên Google Play và Appstore. Sắp tới Cypherium đã lên kế hoạch ra mắt CypherSwap - sản phẩm DEX của Cypherium và nhiều sản phầm khác trong hệ sinh thái. 

 

4. Mô hình kinh tế token

 

Tên token: CPH

Tổng cung: 800.000.000 CPH

Giá Public sale: 0.25$/token 

Lưu thông ban đầu: 25.000.000$ (theo giá public sale)

Lịch mở khóa: 

Pre-Sale (600 triệu CPH Tokens) 

Tháng 0 - 10% (ra mắt Mainnet)

Tháng 1 - 10%

Tháng 2 - 15%

Tháng 3 - 20%

Tháng 4 - 20%

Tháng 5 - 15%

Tháng 6 - 10%

(mở khóa toàn bộ sau 6 tháng từ khi ra mắt mainnet)

 

Public Sale  (300 triệu CPH Tokens) 

Tháng 0 - 20% (ra mắt Mainnet)

Tháng 1 - 10%

Tháng 2 - 10%

Tháng 3 - 15%

Tháng 4 - 15%

Tháng 5 - 15%

Tháng 6 - 15%

(mở khóa toàn bộ sau 6 tháng từ khi ra mắt mainnet)

 

5. Đội ngũ

 

CEO - Sky Gou. Sky là một nhà cố vấn về UN blockchain, một nhà bình luận trên báo Caixin Media và một tác giả chuyên về Blockchain trên báo Nasdaq. 

CTO - Dr. Slolomo. Ông tốt nghiệp tiến sĩ trường đại học Khoa học và Công nghệ Trung Quốc, là học giả trường đại học Massachussets Amherst và hiện tại đang phụ trách xây dựng cơ sở hạ tầng và cấu trúc dữ liệu cấp cao cho Cypherium. 

Trưởng bộ phận phát triển kinh doanh - James Chang. Ông tốt nghiệp cử nhân trường đại học Cornell. 

Chuyên gia nghiên cứu blockchain - Jake Orbison. Ông tốt nghiệp cử nhân trường đại học Yale và đại học Cambridge. 

Giám đốc phát triển kinh doanh - Hobai Gong

Ngoài ra, Cypherium còn sở hữu một đội ngũ các nhà cố vấn kinh nghiệm đến từ các quỹ lớn như CEO của NV Global Ventures, đối tác tại Ausum Ventures, J Wolf Advisors. 

 

6. Đối tác 

 

Cypherium có thể được coi là một trong số ít những công ty blockchain hợp tác với những công ty lớn về công nghệ như Microsoft, Google, IBM, Amazon,...để đưa blockchain ứng dụng vào thực tế. 

Vào tháng 8, Cypherium đã gia nhập Startup-Flow của Société Générale, một trong những ngân hàng lớn nhất và uy tín nhất trên thế giới. Startup-Flow cam kết tìm kiếm các công ty lớn với tinh thần đổi mới và mang lại các giải pháp đột phá cho lĩnh vực tài chính.

Pháp luôn đi đầu trong các thí nghiệm CBDC của Châu Âu. Vào tháng 5 năm nay, Ngân hàng Trung ương Pháp và Societe Generale đã trở thành quốc gia đầu tiên thử nghiệm thành công đồng euro kỹ thuật số trên blockchain. Cypherium sẽ khám phá và hợp tác với Societe Generale trên CBDC.

Vào năm 2019, Cypherium đã hợp tác với Amazon Web Services để cung cấp cho khách hàng doanh nghiệp dịch vụ blockchain BaaS nền tảng cypherium Enterprise, được chính thức ra mắt trên AWS Marketplace.

Cuối năm 2019, Google đã công bố hợp tác với Cypherium để cùng cải thiện và quảng bá sản phẩm Cypherium Enterprise của dịch vụ doanh nghiệp của mình.

Năm 2020, Cypherium tham gia Chương trình Khởi nghiệp của Microsoft và mục tiêu là trở thành một phần trong blockchain của Microsoft như một dịch vụ (BaaS) trong vài tháng tới. Blockchain Cypherium sử dụng thuật toán đồng thuận hybird Proof of Work (PoW) và HotStuff. Dự án Libra của Facebook cũng được áp dụng.

Ranstad là một trong những công ty nhân lực lớn nhất thế giới và là một trong 500 công ty hàng đầu thế giới. Vào đầu năm nay, Randstad đã thông báo rằng họ đã chọn sử dụng giải pháp blockchain doanh nghiệp của Cypherium. Trường hợp này đã được minh chứng bởi Google Cloud và hiển thị dựa trên trang web chính thức.


7. Tài nguyên

 

 

Website: https://www.cypherium.io/

Twitter: https://twitter.com/cypheriumchain 

Reddit: https://www.reddit.com/r/Cypherium/

Github: https://github.com/cypherium 

Nhóm Cypherium VN: https://t.me/cypheriumvi 

Nhóm Cypherium EN: https://t.me/cypherium_supergroup 

Kênh Cypherium EN: https://t.me/cypherium 

Nhóm thảo luận giá: https://t.me/cypheriumhodlgang 

 

 

8. Kết luận 

 

Cypherium là một dự án lâu đời từ năm 2017 với tầm nhìn thực sự đưa blockchain vào ứng dụng thực tế. Thông qua việc hợp tác với nhiều tay to trong lĩnh vực công nghệ truyền thống, Cypherium đang thành công trong việc quảng bá thương hiệu và trên đường hiện thực hóa tầm nhìn và sứ mệnh đặt ra. Cypherium có một đội ngũ làm việc chuyên nghiệp và tâm huyết trên rất nhiều quốc gia như: Việt Nam, Pháp, Trung Quốc, Hàn Quốc, Italia, Mỹ, vân vân. Trong lĩnh vực blockchain, Cypherium đã 2 lần tổ chức AMA với Binance - 1 trong những sàn có khối lượng giao dịch lớn nhất thế giới, điều này đảm bảo tính an toàn và chính thống của dự án. 

Lợi thế cạnh tranh của Cypherium:

1) Công nghệ blockchain tiên tiến (Đồng thuận bằng chứng công việc kết hợp + HotStuff, hợp đồng thông minh Java) 

2) Quan hệ đối tác kinh doanh mạnh mẽ và tiềm năng tăng trưởng lớn (Google Cloud, Tô Châu, OMFIF) 

3) Ứng dụng nổi bật (ID Randstad trường hợp sử dụng) 

4) Một cộng đồng trung thành và nhiệt tình được thành lập từ năm 2017.

Mặc dù có thể giải thích rằng Cypherium đi chậm mà chắc, hướng tới hoàn thiện sản phẩm cho người dùng nhưng nhiều ý kiến cho rằng Cypherium đang phát triển khá chậm. Sau 3 năm phát triển, hiện nay ví của Cypherium vẫn chưa thực sự hoàn thiện, các sản phẩm khác chưa được ra mắt. Trong khi đó, việc bán token quá nhiều và lâu dẫn đến nhiều nghi ngờ về mặt tài chính của dự án. Hiện nay, tất cả các vòng bán token của Cypherium đã kết thúc, dự án đang chuẩn bị cho giai đoạn tiếp theo là niêm yết token trên sàn và phát triển nhiều sản phẩm, nên mọi người có thể theo dõi thêm. 

 

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

Email: Bigcoinvietnam@gmail.com

Hotline: (+84) 972 678 963

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

Telegram:  https://t.me/bigcoinvietnam

Twitter:  https://twitter.com/bigcoinvietnam

Kênh Youtube: https://www.youtube.com/c/Apaodj

Chia sẻ  
  
  
  
59.25% Rating
Điểm: 2.96 / 5
584 Bình chọn