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 - 2736 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ẻ  
  
  
  
64.03% Rating
Điểm: 3.2 / 5
124 Bình chọn

Prometeus là gì? Hệ sinh thái mua bán dữ liệu cá nhân


1. Là gì?

Mạng lưới Prometeus được phát triển bởi công ty Prometeus Labs như một hệ sinh thái phi tập trung cung cấp một thị trường dữ liệu do chính chủ sở hữu kiểm soát. Prometeus cung cấp cơ sở hạ tầng để thu thập, xác minh, xử lý và phân phối thông tin bởi chính chủ sở hữu của những nguồn thông tin đó. 

2. Vấn đề giải quyết?

Chủ sở hữu thật sự của dữ liệu cá nhân không được trả tiền khi cung cấp dữ liệu và thường bị coi như một loại tài sản hơn là một con người thật sự. Hơn nữa, dữ liệu chưa qua xử lý hầu như không thể dùng được và không có giá trị sử dụng với người mua. 

  • Dữ liệu bị phân tán

 

 

Dữ liệu người dùng bị phân tán ở nhiều nền tảng khác nhau và bị trao đổi trong khi người sở hữu không được hưởng lợi ích gì. Thông tin người dùng hiện đang chủ yếu bị kiểm soát bởi những ông lớn như Google, Facebook, Apple, v.v. nên nhiều công ty khởi nghiệp rất bị hạn chế trong việc tiếp cận thông tin và phát triển công nghệ AI.

  • Khả năng tiếp cận và chất lượng thông tin

Các thông tin chưa qua xử lý bằng công nghệ AI sẽ không có nhiều giá trị sử dụng. Tuy nhiên hiện nay chưa có một cách nào để mua dữ liệu có thể sử dụng được một cách hợp pháp nên “chợ đen”, nơi thông tin không có nguồn gốc rõ ràng và đôi khi không đảm bảo chất lượng, trở thành điểm đến duy nhất cho các nhà phân tích. 

  • Quy định về quyền dữ liệu cá nhân

GDPR (quy định bảo vệ dữ liệu chung) và vụ bê bối dữ liệu Facebook - Cambridge Analytica buộc các nền tảng mạng xã hội phải hạn chế sử dụng dữ liệu người dùng bằng cách giảm giao diện lập trình ứng dụng (API), thậm chí khiến chúng không thể thu thập dữ liệu. 

3. Ứng dụng

Prometeus được phát triển như một hệ sinh thái dữ liệu giúp giải quyết những vấn đề hiện tại của thế giới với một thị trường dữ liệu có giá trị, đa dạng, tin cậy và do người dùng sở hữu. 

Thị trường dữ liệu sở hữu bởi người cung cấp

Hệ thống Prometeus bao gồm tất cả những đối tượng quan tâm đến thị trường dữ liệu như nhà cung cấp dữ liệu, những người xác minh thông tin, các chuyên gia học máy và người mua...

Thị trường tiếp thị ảnh hưởng (Influencer Marketing)

Hệ sinh thái của Prometeus sẽ được ra mắt như một ứng dụng - tiếp thị ảnh hưởng. Thị trường sẽ cung cấp các thông tin, dữ liệu về nhân khẩu học và tâm lý học tiêu dùng của những người có ảnh hưởng trên các mạng xã hội và khán giả của họ. 

4. Lợi ích của những người tham gia hệ sinh thái

Những người có ảnh hưởng (influencer): tạo danh tính riêng, an toàn trên hệ thống Blockchain và tổng hợp thông tin, dữ liệu các nhân từ tất cả các tài khoản xã hội khác; bán dữ liệu cá nhân; quảng bá danh tính và tiếp cận với các blogger để quảng cáo.

Đại lý quảng cáo, doanh nghiệp, nền tảng: tìm kiếm blogger phù hợp; thu thập thông tin có giá trị từ các blogger; trao đổi, mua bán thông tin trên một nền tảng an toàn.

Các nhà khoa học dữ liệu và AI: có thêm thu nhập bằng cách tham gia vào việc xử lý dữ liệu người dùng; phát triển thuật toán thông qua tiếp cận với nhiều nguồn dữ liệu khác nhau. 

5. Công nghệ

Lưu trữ dữ liệu 

Một mạng lưới lưu trữ dữ liệu đám mây phi tập trung sẽ được sử dụng để tổng hợp thông tin, giảm thiểu ảnh hưởng của lỗi thiết bị đối với dữ liệu trên hệ sinh thái. Hiện nay, Prometeus đang xem xét nhiều công nghệ để lưu trữ dữ liệu như: ipfs , BigchainDB, OrbitDB, Fluence, Ethereum Swarm, Picolo, Postchain (ChromaWay) và sẽ đưa ra quyết định sau khi kiểm tra.

Mã hóa

Tất cả dữ liệu trong hệ sinh thái Prometeus sẽ được lưu trữ dưới dạng mã hóa sử dụng chìa khóa của chủ sở hữu và tất cả hoạt động với dữ liệu sẽ được kiểm soát bởi hợp đồng thông minh. 

Chế độ “Dead man switch”

Chế độ “Dead man Switch” giữ vai trò đại điện cho chủ sở hữu dữ liệu, tạo ra chìa khóa mã hóa lại cho dữ liệu để giao dịch với người mua khi người chủ sở hữu không không có mặt trong một thời gian nhất định. 

Kiểm soát dữ liệu

Việc kiểm soát dữ liệu sẽ được thực hiện qua chìa khóa cá nhân của chủ sở hữu. Dữ liệu cá nhân được mã hóa bằng chìa khóa riêng của chủ sở hữu cho phép thay đổi thông báo đến các hợp đồng thông minh và gửi tín hiệu đến các node để xóa dữ liệu khỏi hệ thống lưu trữ khi cần. 

6. Khách hàng của dự án

Reebok, Clarins, L’oréal, Sony Music, Neilsen, Cartier, Furla, Viacom, …

7. Đội ngũ

Arthur Suilin (giám đốc điều hành) là một doanh nhân khởi nghiệp và nhà khoa học dữ liệu với hơn 15 năm kinh nghiệm. Ông sáng lập thành công 2 công ty là Webvisor và Talk.ru (đã được mua lại bởi Yandex và Mail.ru)

Sergey Bryukov (giám đốc công nghệ) là một nhà lãnh đạo về công nghệ trong nhiều lĩnh vực như kiến trúc, kinh doanh,... với hơn 10 năm kinh nghiệm làm việc tại bộ phận Nghiên cứu và Phát triển tại Intel và Bosch. Ông từng làm trưởng bộ phận Nghiên cứu và Phát triển tại LAToken. Ông cũng từng tham gia phát triển hợp đồng thông minh cho các dự án như Acropolis, Melonport, DHARMA và từng đảm nhiệm vị trí trưởng bộ phân Market Making.

Armen Beglaryan (quản lý điều hành) đã có hơn 15 năm kinh nghiệm trong lĩnh vực IT và có nhiều kinh nghiệm trong quản lý, lãnh đạo doanh nghiệp về nhiều lĩnh vực như bán lẻ, bán buôn, xuất/nhập khẩu. 

Ngoài ra, các thành viên khác của team đều là những người giàu kinh nghiệm về IT, kinh tế, quản lý, blockchain, ngôn ngữ lập trình và đặc biệt là những người đã tham gia thị trường crypto từ những năm đầu.

8. Ban cố vấn

Alex Mizrahi đã bắt đầu lập trình từ khi 10 tuổi và là người đầu tiên trên thế giới ứng dụng Bitcoin phiên bản 2.0. Ông tốt nghiệp thạc sĩ bằng xuất sắc ngành toán học ứng dụng tại trường quốc gia Donetsk. Ông là giám đốc công nghệ và đồng sáng lập của Chromaway. 

Iddo Bentov đã tham ra vào lĩnh vực Bitcoin từ năm 2011 và là một nhà nghiên cứu cấp sau tiến sĩ tại trường đại học Cornell. Ông là tác giả của rất nhiều nghiên cứu học thuật về tiền mã hóa. Ông là tiến sĩ ngành khoa học máy tính tại trường Technion. 

9. Đối tác và nhà đầu tư

Snowfox Technology - một công ty công nghệ chuyên cung cấp các giải pháp tài chính công nghệ, phát triển phần mềm doanh nghiệp, ứng dụng điện thoại, marketing tự động và phân tích

Block Rock Capital - một công ty cung cấp các thuật toán đa chiến lược và một vườn ươm cho các dự án khởi nghiệp với hơn

NGC - được thành lập từ năm 2017 và là một trong những quỹ đầu tư lớn nhất vào công nghệ Blockchain với các đối tác tiêu biểu như: Zilliqa, Ontology, NKN, Oasis, Mainframe, Certik, Bluzelle, and Iotex

10. Roadmap

Quý 2, 2019 (hiện nay): hoàn thiện khái niệm, xuất bản whitepaper, bắt đầu gọi vốn vòng seed round

Quý 4, 2019: MVP ra mắt Testnet bản alpha

Quý 1, 2020: MVP ra mắt bản testnet bản beta

Quý 3, 2020: Ra mắt bản Mainnet

11. Token Metrics

Kí hiệu: Prom

Loại token: Utility 

Hardcap: 4.850.000

Private sale: 4.000.000

Public sale: 850.000 (đã IEOtrên sàn Tokenman, bán hết trong vòng 2 giây, giá 1 Prom = 1 USD:

Lưu thông ban đầu: 2.450.000 

Lockup: 1.600.000 token từ private sale và 850.000 token từ public sale sẽ được trả để giao dịch khi chính thức listing. Số token còn lại của private sale sẽ được trả 6 tháng sau khi listing.  

11. Các trang xã hội

LinkedIn: https://www.linkedin.com/company/prometeus-labs/

Telegram (chat group): https://t.me/promnetwork

Telegram (announcement group): https://t.me/promnetwork_ann

Twitter: https://twitter.com/Prometeus_net

Medium: https://medium.com/prometeus-network 

Kakaotalk: https://open.kakao.com/o/g9l6x2hb 

 

Kết luận

Công ty có sự tham gia của nhiều nhà kinh tế học và các chuyên gia nhiều năm kinh nghiệm trong lĩnh vực IT, blockchain nên có tiềm năng phát triển cả về mặt kinh doanh và công nghệ. 

Mặc dù dự án không phải là dự án tiên phong trong lĩnh vực nền tảng giao dịch dữ liệu người dùng trực tiếp nhưng của dự án có lợi thế cạnh tranh là định hướng tập chung vào những người có ảnh hưởng trên các trang mạng xã hội. 

Dự án đã kêu gọi vốn được từ một số quỹ nên đã phần nào chứng minh được khả năng thực hiện và có tiềm lực phát triển các giai đoạn tiếp theo. 

Token metrics hiện tại khá hợp lý để kiểm soát token trên thị trường. 

Dù dự án mới chỉ trong giai đoạn đầu phát triển nhưng qua một số điểm nổi bật trên, tác giả cho thấy dự án xứng đáng được nhà đầu tư theo dõi tình hình và xem xét đầu tư nếu thấy ổn. 

Chia sẻ  
  
  
  
64.03% Rating
Điểm: 3.2 / 5
124 Bình chọn
Bigcoin Việt Nam - Phân tích đầu tư Bitcoin và các dự án công nghê Blockchain