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 - 7653 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.09% Rating
Điểm: 2.95 / 5
483 Bình chọn

Với 35 triệu người dùng, liệu chuỗi trò chơi Kaleido có làm nên lịch sử?


Kể từ khi thành lập, dự án game kaleido đã có ý tưởng tham gia ngành công nghiệp trò chơi phát triển trên nền tảng công nghệ blockchain và tích cực thúc đẩy phát triển các dự án trò chơi.

Sự phát triển chung của dự án trò chơi kaleido như sau: Dựa trên blockchain hiệu suất cao, dựa trên phương thức đồng thuận Algorand, những điểm chưa hợp lý của trò chơi được giải quyết thông qua mạng truyền thông tự phát triển P2P đáng tin cậy và nền tảng KAL Game cho phép người dùng trải nghiệm sự phi tập trung hóa cơ bản. Một trò chơi blockchain vừa mang tính giải trí vừa mang tính trải nghiệm.

Xây dựng cơ sở hạ tầng dựa trên cơ chế đồng thuận của Algorand

Tiền đề của công nghệ blockchain phục vụ nền kinh tế là nhu cầu đáp ứng các yêu cầu cơ bản về hiệu suất và ứng dụng. Hiện nay, nhiều Public Blockchain chính thống đang phải đối mặt với vấn đề nan giải trong quá trình cải thiện hiệu suất mà vẫn cân bằng tính phi tập trung và bảo mật.

Các thuật toán đồng thuận như POS, DPoS và PBFT được áp dụng trong các dự án khác nhau, nhưng trong thử nghiệm và ứng dụng thực tế, chúng sẽ phải đối mặt với nhiều thách thứ về hiệu suất hoặc tính phi tập trung. Vì vậy, để tìm thấy một cơ chế đồng thuận tương đối hoàn hảo trong ngành chưa hẳn là dễ.

Song, người chiến thắng giải thưởng Turing, sau khi giáo sư MIT người Mỹ Micali phát hành tài liệu thuật toán đồng thuận Algorand,các nhà phát triển blockchain đã được tiếp thêm hy vọng. Giá trị của thuật toán đồng thuận Algorand nằm ở sự đổi mới của cơ chế quyết định trên chuỗi:

1. Việc nắm giữ Token chỉ ảnh hưởng đến xác suất được rút ra với tư cách là thành viên của ủy ban bỏ phiếu trong chuỗi hoặc người đề xuất, điều đó không xác định sức mạnh cuối cùng để tạo ra một khối;

2. Nhiều người đề xuất khối sẽ được rút ra trong quá trình đồng thuận.

Khối xác nhận cuối cùng được chọn dựa trên Proof của VRF. Các nhà tài trợ được đảm bảo công bằng và không thể đoán trước.

Là dự án đầu tiên hiện thực hóa dự án Public Blockchain của Algorand, kaleido sử dụng đầy đủ các lợi thế của thuật toán đồng thuận Algorand, giúp mức độ phân cấp, hiệu quả và bảo mật của mạng chính kaleido cân bằng hoàn hảo và chuỗi này thực tế hơn Ethereum, EOS và các chuỗi công khai khác.

Hiệu suất của Public Blockchain cơ bản quyết định trải nghiệm và sự phong phú của ứng dụng trên. Hiện tại, hiệu suất của chuỗi cơ sở kaleido có thể đáp ứng các viễn cảnh thương mại của hầu hết các ứng dụng.

Liên kết P2P để xây dựng một môi trường trò chơi đáng tin cậy

Sự công bằng và tin tưởng luôn là những giá trị mà xã hội loài người đang theo đuổi. Tương tự như vậy, chúng tôi quay trở lại ngành công nghiệp trò chơi và xây dựng một môi trường đáng tin cậy công bằng và minh bạch, cho phép người chơi trải nghiệm sự thú vị của trò chơi trong một môi trường bình đẳng, công bằng. Đó cũng là lý tưởng của kaleido.

Xung quanh mục tiêu ban đầu này, chúng tôi đã phát triển một mạng truyền thông P2P chuỗi đáng tin cậy dựa trên chuỗi công khai hiệu suất cao, giúp cho việc tương tác giữa các trò chơi và chuỗi phức tạp trở nên đơn giản và khả thi, và sự tương tác giữa người chơi với người chơi và trò chơi dựa trên môi trường đáng tin.

Giao tiếp P2P theo chuỗi tin cậy dựa trên Zero knowledge proof. Việc đọc, sửa đổi và viết dữ liệu của các trò chơi phức tạp được hoàn thành theo chuỗi. Chỉ cho biết kết quả cuối cùng được đồng bộ hóa với chuỗi, giảm tối đa trọng tải của dữ liệu đồng bộ hóa nút mạng trên chuỗi. Đồng thời, Zero knowledge proof cũng có thể đảm bảo tính xác thực và độ tin cậy của dữ liệu.

Việc tạo ra một mạng truyền thông P2P theo chuỗi có thể khiến một số trò chơi ra khỏi máy chủ tập trung, nhận ra sự tương tác trực tiếp giữa máy khách trò chơi và chuỗi và giảm rủi ro của máy chủ trung tâm.

Hiện tại, nhóm dự án kaleido đã xác minh tính khả thi và ổn định của liên kết P2P theo chuỗi dựa trên Zero knowledge proof thông qua hai trò chơi tự phát triển. Trong tương lai, mã nguồn công nghệ sẽ dần dần được mở cho các chuỗi tham quan khác và đổi mới công nghệ sẽ giúp nâng cấp ngành công nghiệp trò chơi, do đó thúc đẩy sự phát triển của ngành kinh tế kỹ thuật số.

Nền tảng KAL Game liên kết người dùng và trò chơi

Đổi mới công nghệ cho phép tích hợp tốt hơn các trò chơi và chuỗi khối, đem lại trải nghiệm trò chơi tốt hơn. Đối với các trò chơi trực tuyến chính của kaleido, làm thế nào để giới thiệu những trò chơi này vào các game thủ thực sự, đây là liên kết chính trong hệ sinh thái trò chơi kaleido.

KAL Game là nền tảng đa phương tiện chuỗi trò chơi hệ sinh thái kaleido, liên kết 35 triệu người dùng ở nước ngoài của tất cả các trò chơi và đối tác chuỗi kaleido trong tương lai. Thông qua hợp tác sâu rộng với VN Ngày Nay, một nền tảng tin tức nổi tiếng ở Đông Nam Á với hơn 35 triệu người dùng, nền tảng KAL Game sẽ hỗ trợ lưu lượng truy cập cho các trò chơi khác nhau trong nền tảng thông qua việc gia tăng người dùng liên tục.

Hiện tại, nền tảng KAL Game đã hoàn thành việc nghiên cứu và phát triển hoàn thiện. Nền tảng này sẽ tạo điều kiện phát triển cho tất cả các trò chơi điện tử và trò chơi truyền thống. Nguồn vốn sẵn sàng cũng sẵn sàng để tài trợ và hỗ trợ lưu lượng. Tất cả các nhà phát triển, nhà điều hành và người chơi đều được chào đón tham gia.

Đổi mới công nghệ thúc đẩy nâng cấp ngành công nghiệp trò chơi, nâng cấp công nghệ mang lại lợi ích kinh tế kỹ thuật số hiệu quả hơn.

Kaleidochain đang trên đường khai phá blockchain và giá trị trò chơi. Chúng tôi không ngừng mở rộng hợp tác, phát triển, hãy cùng đồng hành, tham gia với chúng tôi!

Bigcoinvietnam tổng hợp

Chia sẻ  
  
  
  
59.09% Rating
Điểm: 2.95 / 5
483 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