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 - 8474 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.18% Rating
Điểm: 2.96 / 5
583 Bình chọn

Mô hình hoá giá trị Bitcoin dựa trên tính khan hiếm theo Stock-to-Flow 


Mô hình hoá giá trị Bitcoin dựa trên tính khan hiếm theo Stock-to-Flow 

Giới thiệu

Satoshi Nakamoto đã phát hành whitepaper của Bitcoin vào ngày 31 tháng 10 năm 2008, tạo khối đầu tiên trên blockchain của bitcoin vào 3 tháng 1 năm 2009, và có những dòng code đầu tiên vào 8/1/2009. Điểm khởi đầu đưa Bitcoin đến một đồng coin có vốn hoá 171 tỉ đô tại thời điểm dịch bài.

Bitcoin là tài sản điện tử khan hiếm đầu tiên trên thế giới, khan hiếm giống vàng và bạc, và có thể được gửi qua mạng Internet.

“Hãy tưởng tượng chúng ta có một loại kinh loại nền tảng quý hiếm như vàng, có một số đặc điểm khác biệt: màu xám nhạt, không sinh ra điện, không cứng… không hữu ích trong bất cứ mục đích trang sức nào … nhưng là một tài sản đặc biệt, kì diệu : có thể di chuyển qua lại qua kênh truyền thông” – Nakamoto

Thứ quý hiếm này chắc chắn có giá trị. Nhưng trị giá bao nhiêu? Trong bài báo này, tôi sẽ đánh giá sự khan hiếm sử dụng mô hình S2F, và sử dụng S2F để định hình giá trị của Bitcoin.

Sự khan hiếm và mô hình S2F

Trong từ điển, sự khan hiếm được ví như “một tình huống nào đó mà thứ này khó kiếm hoặc tìm”, và “thiếu thứ gì”.

“Đồ cổ, thời gian và vàng có điểm chung là gì? Chúng đắt đó, do giá trị trong quá khứ hoặc tính không khả thi của lịch sử, và rất khó để làm giả mạo … Cũng có một vài vấn đề liên quan đến việc áp dụng những điều trên lên một chiếc máy tính. Nếu chúng ta giải quyết được các vấn đề trên, chúng ta có thể có được vàng số.” – Szabo

“Các kim loại quý giá và đồ sưu tập quý giá có sự khan hiếm không thể chối cãi do tính đắt đỏ sẵn có khi tạo ra chúng. Đây cũng là một yếu tố khiến tiền trở nên có giá trị mà hoàn toàn độc lập không có sự can thiệp từ các bên thứ 3…nhưng chúng ta không thể thanh toán trực tuyến bằng kim loại quý giá. Do đó, sẽ thật tuyệt vời nếu có một giao thức nào đó tạo ra những dòng code quý giá trực tuyến, mà không phụ thuộc vào bên thứ 3, lưu trữ, chuyển qua lại an toàn, và không bị ràng buộc quá nhiều bởi “niềm tin” – Szabo.

Thật ra Bitcoin cũng có tính đắt đỏ, vì phải dùng rất nhiều điện năng để tạo ra các bitcoin mới. Tạo ra Bitcoin không dễ gì mà làm giả được. Phải lưu ý rằng đây là điểm khác biệt so với tiền pháp định và các altcoins mà không có lượng cung tối đa, không cần bằng chứng công việc, hashrate thấp, và chỉ có một nhóm nhỏ người và công ty có thể ảnh hưởng nguồn cung …

Saifedean Ammous đã bàn về tính khan hiếm vì tỉ lệ S2F. Ông giải thích tại sao vàng và Bitcoin khác biệt so với các hàng hoá tiêu dùng như đồng, kẽm, niken, thau vì chúng có S2F cao.

“Đối với bất kì hàng hoá tiêu dùng nào .. việc tăng gấp đôi sản lượng sẽ phá vỡ dòng hàng, khiến giá giảm mạnh và làm các bên thiệt hại. Đối với vàng, việc tăng giá mà khiến tăng gấp đôi sản lượng mỗi năm sẽ không đáng kể”

“Việc nguồn cung khá ổn định ở mức thấp là một trong những nguyên nhân cơ bản mà vàng có thể có vai trò quan trọng trong toàn bộ lịch sử loài người.”

“Tỉ lệ S2F của vàng khiếm mặt hàng này trở thành mặt hàng có nguồn cung mềm nhất.”

“Nguồn dự trữ hiện tại của Bitcoin vào năm 2017 lớn hơn 25 lần với số coin được tạo ra vào năm 2017. Con số này thâm chí chỉ bằng nửa tỉ lệ của vàng, nhưng vào khoảng năm 2022, tỉ lệ S2F của Bitcoin sẽ vượt qua vàng” – Ammous

Do đó, sự khan hiếm sẽ được đô lường bằng chỉ số SF.

SF = stock / flow

Stock có nghĩ là kích thước/số lượng hiện tại đang có. Flow chỉ con số được tạo ra mỗi năm. Thay vì SF, con người sử dụng tỉ lệ tăng trưởng nguồn cung (flow/stock). Lưu ý rằng SF = 1/tỉ lệ tăng nguồn cung.

Hãy nhìn các con số SF sau:

 

Vàng có chỉ số SF cao nhất là 63, có nghĩa là mất đến 62 năm khai thác mới có thể đạt được. Vàng đứng thứ 2 với chỉ số SF đạt 22. Chỉ số SF khiếm chúng trở thành mặt hàng tiền tệ.

Các loại kim loại và các hàng hoá khác hiếm khi có SF cao hơn một. Chỉ số stock hiện tại thương bằng hoặc thấp hơn tỉ lệ khai thác hàng năm, khiến việc khai thác vô cùng quan trọng. Để đưa chỉ số SF cao hơn là không hề đơn giản, với nếu người ta tập trung thu gom, giá cả tăng ca, sản lượng tăng, giá lại giảm. Cái bẫy này rất khó để thoát ra.

Chỉ số stock của Bitcoin hiện tại là 17,5 triệu coin và nguôn cùng mỗi năm là 0,7 triệu, tức chỉ cố SF bằng 25. Định giá thị trường Bitcoin giá hiện tại là 170 tỉ đô.

Nguồn cung Bitcoin là cố định. Bitcoin mới được tạo ra trong các block mới. Cứ 10 phút lại tạo ra một block (trung bình), khi thợ đào tìm ra mã hash, thoả mãn yêu cầu để tạo một block. Giao dịch đầu tiên trong mỗi khối, được gọi là “coinbase”, chứa phần thưởng khối cho người thợ đào tìm ra mã hash cho khối đó. Phần thưởng khối bao gồm phí giao dịch trong khối và số coin mới được tạo ra. Số coin mới ban đầu lên đến 50 Bitcoins, giảm một nửa sau mỗi 210 000 block (khoảng 4 năm). Đó là lí do tại sao “halving” rất quan trọng đến nguồn cung Bitcoin và chỉ số SF. Halving cũng ảnh hưởng đến tỉ lệ tăng cung (gọi là lạm phát tiền tệ).

 

Mô hình S2F và Giá Trị

Giả thuyết trong bài nghiên cứu này liên quan đến tính khan hiếm, được đo lường dựa trên chỉ số SF, trực tiếp làm tăng giá trị. Nhìn vào bảng trên chúng ta có thể thấy, giá trị cao hơn khi SF cao hơn. Bước tiếp theo là thu thập dữ liệu và thiết kế mô hình số liệu.

Dữ liệu

Tôi tính toán chỉ số SF và giá trị hàng tháng của Bitcoin từ tháng 12 năm 2019 đến tháng 2 năm 2020 (tổng là 111 điểm dữ liệu). Số block mỗi tháng có thể được đánh số với Python/RPC/bitcoind. Con số thực tế khá khác so với con số lý thuyết, vì các block không phải được tạo ra mỗi 10 phút (ví dụ năm đầu năm 2009, số lượng block thấp hơn dự tính khá nhiều). Biết số block được tạo ra mỗi tháng, cùng với số phần thưởng mỗi block, bạn có thể tính được chỉ số flow và chỉ số stock. Tôi chỉnh số coin bị mất bằng việc bỏ qua 7 triệu coin đầu tiên khi tính toán chỉ số SF. Việc này cho phép tôi tạo ra bài nghiên cứu chỉ số SF.

Dữ liệu giá Bitcoin có sẵn từ nhiều nguồn khác nhau và sẽ bắt đầu vào tháng 7 năm 2010. Tôi đã cho thêm giá bitcoin (một đô cho 1309 Bitcoin vào năm 2009, giá 0,003 đôla trên sàn BitcoinMarket năm 2010, 2 pi za trị giá 41 đô cho 10 000 BTC vàng tháng 5 năm 2010. Việc xem lại giữ liệu là vô cùng quan trọng cho việc nghiên cứu trong tương lai.

Chúng ta đã có sẵn điểm dữ liệu cho vàng (SF 62, định giá thị trường là 8,5 nghìn tỉ đô) và bạc (chỉ cố SF 22, với vốn hoá thị trường là 308 tỉ đô), trở thành khung so sánh cho tôi.

Mô hình

Điều thú vị là cả vàng với bạc dù là thị trường khác nhau nhưng lại đồng bộ với mô hình bitcoin về mặt giá trị theo chỉ số SF. Điều này khiến chúng ta tự tin hơn về mô hình này. Lưu ý rằng tại thời đỉnh điểm thị trường tăng tháng 12 năm 2017 chỉ số SF là 22 và giá trị thị trường Bitcoin là 230 tỉ đô, bằng với giá trị thị trường bạc.

Vì halving có nhiều ảnh hưởng lên chỉ số SF, tôi đặt mỗi tháng với mỗi sự kiện theo tháng. Màu xanh đậm là tháng halving, và màu đỏ là sau khi halving. Havling đã diễn ra vào tháng 5 năm 2020. Chỉ số SF hiện tại có thể đi lên 50, gần với số của vàng là 62.

Giá trị thị trường được ước tính của Bitcoin có thể lên đến 1 nghìn tỉ đô la, có nghĩa là giá mỗi Bitcoin là 55 000 đô la. Điều đó thật tuyệt vời. Tôi đóan thời gian sẽ trả lời và chúng ta có thể sẽ thấy điều đó trong 1 đến 2 năm nữa sau halving.

Vậy tiền ở đâu để đưa vốn hoá bitcoin lên 1 nghìn tỉ đô? Câu trả lời của tôi là: bạc, vàng hay tiền từ những quốc gia có lãi suất âm (Châu Âu, Nhật Bản, Hoa Kỳ), các quốc gia với nền chính phủ như Venezuela, Trung Quốc, Iran, Thổ Nhĩ Kỳ … các tỉ phú và triệu phú với Quỹ Nới Lỏng Định Lượng, và các nhà đầu tư những người đang tìm kiếm tài sản có cơ hội phát triển tốt trong 10 năm qua.

Chúng ta có thể mô hình hoá giá bitcoin trực tiếp với SF. Công thức này thì có nhiều tham số, nhưng kết quả thì tương đương, giá Bitcoin được dự đoán có giá 55 000 đô la với chỉ số SF là 50 say halving tháng 5 năm 2020.

 

Kết Luận

Bitcoin là tài sản điện tử hiếm có đầu tiên, giống vàng và bạc nhưng chúng không thể gửi qua Internet, hay vệ tinh.

Chắc chắn việc khan hiếm điện tử này có giá trị, và đó là lí do tại sao chúng ta có mô hình S2F để định giá Bitcoin.

Mỗi quan hệ về mặt số liệu giữa chỉ số S2F và giá trị thị trường là luôn tồn tại. Để tự tin hơn về mô hình này:

  • Vàng và bạc, 2 thị trường hoàn toàn khác biệt, đang đồng nhất về giá trị mô hình bitcoin liên quan đến chỉ số SF.
  • Có dấu hiệu của mối quan hệ pháp luật quyền lực.

Mô hình này cho chúng ta thấy giá trị thị trường bitcoin sẽ đạt con số 1 nghìn tỉ đô sau halving tới, và giá mỗi BTC là 55 000 đô la.

Theo PlanB

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

Youtube channel: https://www.youtube.com/channel/UCSqu48gRo3ClM71WAUgFgxQ

 

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

admin

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