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 - 8578 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

LIEN là gì? Tất tận tật về dự án LIEN


Đa số mọi người hiện nay trong thị trường tiền điện tử chỉ đơn giản nắm giữ các đồng tiền điện tử và hi vọng giá tăng để kiếm lợi nhuận. Hầu hết những hình thức đầu cơ này đều mang tính rủi ro cao để mang lại lợi nhuận cao. Để giải quyết vấn đề này, LIEN giới thiệu mô hình giao thức giảm thiểu rủi ro khi đầu tư nhờ vào cơ chế cân bằng cung cầu. Vậy LIEN là gì và hoạt động như thế nào? 

 

1. LIEN là gì?

LIEN là một hệ thống thuật toán mới để phát hành một đồng tiền ổn định (fiat) được hỗ trợ bởi tiền điện tử và được gắn với một loại tiền fiat. Hệ thống giảm thiểu sự biến động của giá token bằng cách yêu cầu các nhà đầu cơ bảo hiểm rủi ro. Việc cung cấp đồng tiền ổn định của chúng tôi, mã thông báo iDOL, được quản lý bởi một hợp đồng thông minh được triển khai trên Ethereum; khi nó được khởi chạy, hệ thống sẽ tự động tiếp tục phát hành các đồng tiền ổn định ra thị trường mà không cần sự can thiệp của con người, cũng như mạng lưới blockchain đằng sau nó không yêu cầu người trung gian tiếp tục hoạt động. 

 

LIEN xây dựng hệ thống đồng tiền ổn định theo hai bước. Đầu tiên, LIEN giới thiệu một lớp phái sinh, Solid Bond Token (SBT) và Liquid Bond Token (LBT). Hai loại token này được tạo ra bằng cách tách, hoặc "phân nhánh", Ether. Vào ngày đáo hạn, hợp đồng phái sinh (hợp đồng thông minh được triển khai trên Ethereum) trả lại một số tiền cố định cho người nắm giữ SBT (bất cứ khi nào có thể) và trả lại số tiền còn lại (nếu có) cho người nắm giữ LBT. Gần như tất cả rủi ro tỷ giá hối đoái sẽ do người nắm giữ LBT, giảm thiểu sự biến động của SBT. Thứ hai, LIEN xây dựng một số SBT với nhiều ngày đáo hạn khác nhau và phát triển token iDOL như một đồng tiền ổn định được hỗ trợ bởi số SBT đó. 

 

 

Bất kỳ ai cũng có thể “bán” (đặt cọc) SBT vào một hợp đồng iDOL và nhận các token iDOL tương ứng. Chủ sở hữu token cũng có thể sử dụng mã thông báo iDOL của họ để “mua” (mua lại) SBT. Số lượng token iDOL được phát hành bởi hợp đồng iDOL được điều chỉnh theo giá trị của các SBT do hợp đồng iDOL nắm giữ. iDOL là tiền đại diện với giá trị được hỗ trợ bởi quỹ SBT được nắm giữ bởi hợp đồng iDOL. Giá trị của mỗi SBT vẫn ổn định vì nó là một phần của “phân nhánh cấp cao” trong hệ thống và (gần như) tất cả sự biến động giá của ETH được chịu bởi LBT được ghép nối với SBT. Bằng cách này, tỷ giá hối đoái tiền ổn định của token iDOL được giữ ổn định.



2. Sản phẩm

iDOL 

iDOL là một đồng tiền ổn định được hỗ trợ bở các sản phẩm phái sinh của ETH hay còn được gọi là Solid Bond Token. Hoàn toàn phi tập trung và không thế chấp hơn mức cần thiết.

 

Quyền chọn vĩnh viễn

Quyền chọn vĩnh viễn là một nền tảng quyền chọn được xây dựng trên nền tảng Ethereum cho phép bạn đoán giá tài sản trong một khoảng thời gian nhất định. 

 

Lien Token(LIEN) 

Lien Token(LIEN) là một token tiện ích cho phép người nắm giữ được nhận giảm phí khi thực hiện các giao dịch trên giao thức Prototol và Fairswap hoặc có cơ hội nhận tiền hoàn lại mỗi tháng. 

 

Fairswap

Fairswap là một nền tảng giao dịch phi tập trung (DEX) cho phép người dùng có cơ hội giao dịch các tài sản tiền điện tử dựa trên mô hình Liên tục Làm Giá Sản phẩm. 

 

 

3. Đội ngũ

LIEN Finance không công khai danh tính thành viên của đội ngũ. 

 

4. Đối tác

Chainlink: là một dịch vụ oracle phi tập trung, và là nền tảng blockchain đầu tiên trong loại hình oracle. ChainLink cung cấp giải pháp là cầu nối giữa các hợp đồng thông minh (Smart Contract), cho phép người dùng sử dụng các phần mềm trong mạng lưới để lấy dữ liệu từ các giao diện lập trình ứng dụng (API), các nhóm dữ liệu và tài nguyên khác để tích hợp chúng vào Blockchain. Về cơ bản, ChainLink lấy thông tin bên ngoài các ứng dụng blockchain và đặt nó vào on-chain.

 

 

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.

 

 

Concensys Diligence: Công ty kiểm duyệt hợp đồng thông minh và blockchain Ethereum. 

 

5. Token metrics

Tại thời điểm viết bài, LIEN đã hoàn thành vòng private sale với hình thức đấu giá 3 vòng khi ra mắt Testnet vào tháng 7,2020. LIEN sẽ được list và bán công khai trên Uniswap. Listing dự kiến sẽ cùng thời điểm với ra mắt Giao thức. 

Địa chỉ ví Etherscan chính thức: https://etherscan.io/token/0xab37e1358b639fd877f015027bb62d3ddaa7557e#balances

 

6. Tài nguyên

Website: http://lien.finance/

Twitter: https://twitter.com/lienfinance

Telegram Group: https://t.me/lien_finance

Medium: https://medium.com/lien-finance 

 

7. Kết luận

LIEN là dự án còn khá mới từ năm 2020. Mọi thông tin về token metrics, sản phẩm chưa hoàn chỉnh và sẽ được cập nhật trong thời gian tới. Đội ngũ đứng sau và các nhà đầu tư đều không được công khai. Tuy nhiên, điểm mạnh của dự án là có kế hoạch phát triển sản phẩm cụ thể trong xu hướng DeFi hiện nay. LIEN đã có hợp tác với Chainlink - một dự án khá nổi tiếng và tin cậy để tích hợp công nghệ Oracle. LIEN đã được CertiK và Concensys Diligence kiểm duyệt bộ code và có kết quả bảo mật và hiệu quả cao. Do đó, nếu xem xét đầu tư thì mọi người nên theo dõi để có thêm thông tin công khai về các yếu tố trước khi đưa ra quyết định. 

 

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/channel/UCSqu48gRo3ClM71WAUgFgx

 

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