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 - 6983 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
427 Bình chọn

[Đánh giá] Conflux là gì? Dự án xây dựng nền tảng blockchain thế hệ mới


Conflux là hệ thống blockchain công hiện đại có khả năng đạt số giao dịch trên giây cao mà không phải đánh đổi tính chất phi tập trung của hệ thống hay tính an toàn của mạng lưới. Conflux mang đến một cải tiến mới về công nghệ bằng cách kết hợp thuật toán tiên tiến và độc đáo với một cấu trúc hoàn toàn mới có tên là Tree Graph (TG), từ đó, việc đồng thuận trên mạng lưới không còn là một trở ngại, và các vấn đề khác liên quan đến việc công nghiệp hóa các blockchain công cũng không cònlà khó khăn nữa. Trong giai đoạn đầu, Conflux sẽ sử dụng PoW (thuật toán đồng thuận Bằng Chứng Công Việc) làm nền tảng cho những cải tiến nêu trên.

Thực trạng:

Blockchain được sinh ra với nhiều giá trị cốt lõi, trong đó có 3 yếu tố chúng ta thường được nhắc tới bao gồm tính phi tập trung, bảo mật và khả năng mở rộng. Tuy nhiên, các nền tảng công nghệ hiện có chưa thực sự đáp ứng được nhu cầu của đại đa số người dùng. Trên thực tế, dù blockchain của Bitcoin (được mệnh danh là blockchain 1.0) hỗ trợ người dùng lưu trữ tài sản một các bảo mật, và tính phi tập trung cao, nhưng về khả năng mở rộng, đây không phải là một ưu thế của blockchain này. Ethereum blockchain (blockchain 2.0) cũng gặp phải vấn đề tương tự. Trong năm 2018, đầu 2019, có nhiều dự án đã vẽ ra nhiều mô hình về blockchain 3.0 với nhiều tính năng cải tiến, và hi vọng sẽ giải quyết vấn đề mà blockchain của Bitcoin hay Ethereum đang gặp phải, tuy nhiên với sự non trẻ của công nghệ, các ý tưởng đó dần tỏ ra không khả thi hoặc không phù hợp.

Giải pháp:

Blockchain Conflux trông như thế nào?

Conflux, theo hướng tiếp cận giải quyết vấn đề này, đã đưa ra cải tiến về mặt công nghệ.  Đầu tiên, cấu trúc mạng lưới blockchain mà dự án sử dụng là mô hình DAG được kết cấu nên từ các block (các khối) và các edge (các cạnh), thay vì mô hình blockchain chuỗi như trong các dự án hiện tại. Trong cấu trúc sổ cái này, mỗi một giao dịch hay block sẽ được gắn một mã id đặc trưng nhằm duy trì tính thống nhất của dữ liệu trong mạng lưới.  Điểm khác biệt lớn nhất giữa Conflux và các blockchain truyền thống là các khối và cạnh giúp mạng lưới tạo thành DAG thay vì một khối chuỗi liên tiếp. Do các block di chuyển trong hệ thống, mỗi một node sẽ quan sát thấy một mô hình DAG khác nhau do độ trễ của hệ thống. Ý tưởng của dự án là duy trì mô hình DAG cho mỗi node để sau đó tất cả các node sẽ có thể cùng nhau thống nhất trật tự chung của cho các block và các giao dịch.

Ngoài ra, các node tham gia mạng lưới sẽ được kết nối với nhau qua hệ thống tin đồn (hay còn gọi là Gossip). Các node khi tiếp nhận các giao dịch hay block mới sẽ truyền tin cho các node khác sử dụng hệ thống tin đồn này.  Theo như thông tin được mô tả, tại mỗi node sẽ có một hoặc một nhóm các giao dịch chờ xử lí. Các giao dịch này đã được tiếp nhận bở các node, nhưng chưa được ghi chép trong bất cứ block nào cả. Khi node đó sử dụng hệ thống tin đồn để truyền tin đi, các node khác sẽ nhận thấy giao dịch, và khi có bất cứ block mới nào, giao dịch sẽ được thêm vào trong block đó theo thứ tự.

Cấu trúc blockchain của Conflux

Để chứng minh xem liệu các lý thuyết kia là đúng hay sai, dự án đã thử nghiệm và đánh giá bằng cách sử dụng 20 000 các node đầy đủ trên 800 máy ảo EC2 của Amazon. Trong quá trình thử nghiệm, kết quả cho thấy, nếu sử dụng bang thông 20 Mbps cho mỗi full node (điều kiện thí nghiệm tương tự Algorand), Conflex có thể đạt thông lượng lên đến 4MB mỗi 5 giây, và thông lượng giao dịch lên đến 2.88GB/giờ, kết quả này cao hơn 11.62 lần so với thông lượng từ Bitcoin và GHOST, cao hơn 3.84 lần so với Algorand. Trong điều kiện bang thông khoảng 40Mbps, mạng lưới xử lí mỗi khối 4MB trong vòng 2.5 giây và từ đó, thông lượng giao dịch cũng lên đến 5.76GB/giờ, lên đến 6400 giao dịch trên giây. Sau thí nghiệm này, dự án còn nhận ra rằng, trong mạng lưới Conflux, vấn đề không còn nằm ở thông lượng mạng lưới đơn thuần, mà còn có thể năm ở khả năng xử lí của mỗi node cá nhân.

Đội Ngũ

Đội ngũ phát triển Conflux đều là các thành viên tiên phong có tên tuổi trong lĩnh vực blockchain. Đa số các thành viên đều có nhiều kinh nghiệm và năng lực tốt đến từ Viện Nghiên Cứu Công Nghệ Massachusetts (viết tắt là MIT), hay Đại học Carnegie Mellon (CMU),Đại học Tsinghua. Trước khi tham gia sáng lập Conflux, họ đã từng làm việc tại Wall Street và Silicon Valley.

Nhà đồng sáng lập Fan Long là tiến sĩ Khoa học máy tính đến từ MIT, trợ lí giáo sư đại học Toronto, từng học tại đại học Tsinghua. Ông giành 2 huy chương vàng trong giải Olympiad ngành Thông Tin 2005,2006 và là nhà vô địch khu vực trong Cuộc Thi Lập Trình ACM- ICPC.

Andrew Chi-Chih Yao là nhà đồng sáng lập cũng là nhà khoa học đầu tiên ở Châu Á nhận giải thưởng Turing, Trưởng Khoa Khoa Học Thông Tin Liên Ngành (IIIS) tại đại học Tsinghua, thành viên Học Viện Khoa Học Quốc Gia Hoa Kì …

CTO của dự án cũng là một gương mặt tài năng. Ông là tiến sĩ Khoa Học Máy Tính từ Viện Công Nghệ Điện Toán, nhà nghiên cứu cấp cao trong Tập Đoàn Nghiên Cứu Hệ Thống ở Viện Nghiên Cứu của Microsoft ở Châu Á.

Ngoài ra chúng ta có nhiều gương mặt tiềm năng, có nền tảng tốt về kỹ thuật tham gia vào dự án. Giám đốc Nghiên Cứu, ông Guang Yang là tiến sĩ Khoa Học Máy Tính ở IIIS, dành giải huy chương vàng ở Olympiad Toán Trung Quốc. Ông Zhe Yang- Kỹ sư cơ sở hạ tàng và Hệ thống lõi tốt nghiệp từ đại học Tsinghua, huy chương vàng giải Olympiad Quốc Gia Trung Quốc Ngành Thông tin năm 2006…

Nhìn chung, Conflux tập hợp được nhiều thành viên có nền tảng nghiên cứu khoa học, có năng lực. Theo nguồn tin từ dự án, hiện tại dự án có đến 50 thành viên, phân bổ trong các bộ phận khác nhau như Bộ phận công nghệ, vận hành, marketing, quảng bá, nhân sự và tài chính.

Lộ trình phát triển

Được tiến hành bắt đầu tư tháng 2 năm 2018, Conflux hiện nay sau gần 20 tháng đã đạt được nhiều dấu mốc về mặt công nghệ. Tính đến thời điểm hiện tại, dự án đã khởi động việc thử nghiệm mạng lưới với người dùng. Dự kiến dự án sẽ khởi động Mainnet vào quý 4 năm 2019 tức cuối năm nay, và đến quý 1 năm 2020, các tính năng liên quan đến hợp đồng thông minh sẽ được nâng cấp.

Tóm lại:

Về mặt ý tưởng, Conflux là một dự án sinh ra để giải quyết các vấn đề cho các blockchain hiện tại. Tại thời điểm này của thị trường, lợi thế về mặt công nghệ cho phép dự án gọi vốn và lấy niềm tin từ những nhà đầu tư tổ chức, đó là một điểm cộng cho Conflux. Tuy nhiên, để có được niềm tin từ cộng đồng, Conflux sẽ cần thêm thời gian, thêm hoạt động, thêm các chiến lược marketing và quan hệ đối tác.

Xét về khía cạnh công nghệ, Conflux mang đến một công nghệ không hẳn là mới nhưng có kết hợp khôn ngoan (giữa cơ chế PoW giống với cơ chế của Bitcoin, nhưng mô hình DAG ) giúp đây sẽ là dự án đầu tiên giải quyết được 3 yếu tố cốt lõi của blockchain (bảo mật, phi tập trung và khả năng mở rộng cao) nếu được thực hiện thành công.

Về mặt đội ngũ, nếu so sánh với giai đoạn cuối năm 2017, đầu đến giữa năm 2018, với ý tưởng và thành viên này, Conflux có thể gọi được gấp 2 đến 3 lần so với con số hiện nay. Điều đó chứng minh cho một đội ngũ phát triển có nền tảng tốt, có kinh nghiệm và danh tiếng trên thị trường.

Về mặt lộ trình phát triển, tính về mặt thời gian và sản phẩm, Conflux là một dự án đi nhanh. Dự án sẽ không phát hành token trước khi ra mainnet, điều đó đảm bảo rằng đây là một dự án thật, chứ không chỉ là bánh vẽ. Tuy nhiên, nếu dự án có thể bổ sung thêm các mốc liên quan đến phát triển kinh doanh, đối tác chiến lược, mô hình kinh doanh lên lộ trình, đó sẽ là một điểm cộng để thuyết phục các thành viên cộng đồng.

Trên đây là những đánh giá tổng quan về dự án Conflux, chúng ta hãy cùng quan sát các bước tiến về công nghệ để có những nhận định chuẩn xác hơn. Ở phần tiếp theo, chúng ta sẽ cùng nhìn vào các đối tác, nền kinh tế token của Conflux để cùng bàn luận sâu hơn về dự án. Hiện tại, Conflux đang triển khai nền tảng bounty, giúp những ai quan tâm đến dự án có thể sở hữu token qua những nhiệm vụ cụ thể Cùng tham khảo tại: https://bounty.conflux-chain.org/.

 

Nguồn: Bigcoinvietnam

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

admin

Mang giá trị lại cho tất cả mọi người

NHẬN ĐĂNG KÝ NHẬN TIN TỪ BIGCOIN VIETNAM

" 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