Gửi bài viết tới BigCoin

(Phần 2) "Mã nguồn mở" là gì và tại sao nó quan trọng đối với các dự án tiền mã hóa và blockchain mở?

Đăng bởi: Aurora  - 16/03/2018 - 305 lượt xem
Chia sẻ
 

Luật và Mã nguồn mở

Hỗ trợ sắp xếp pháp lý và, trong một số trường hợp, khuyến khích phát triển mã nguồn mở. Phần mềm mã nguồn mở, giống như tất cả phần mềm khác, đều có bản quyền, nhưng tác giả của nó cho phép sử dụng và sửa đổi nó mà không cần xin phép cụ thể hoặc thanh toán cho người sáng tạo ban đầu (ví dụ giấy phép của MIT). Một số giấy phép thậm chí còn đưa ra một điều kiện đơn giản về việc sử dụng và sửa đổi trong tương lai, với những yêu cầu ví dụ như những sự thay đổi phát sinh mới được tự phát hành, theo cùng một giấy phép không độc quyền, do đó phát triển và mở rộng cơ sở mã nguồn mở. Đây được gọi là giấy phép phần mềm phổ biến  hoặc copyleft (ví dụ: LGPL-3).

Mã nguồn Mở trong các Dự án Token và Tiền mã hóa

Linux có lẽ coi là ví dụ lớn nhất và quan trọng nhất của mô hình mã nguồn mở, ngoài ra còn một số mã nguồn mở khác. Trong số đó có tất cả các các dự án blockchain mở và tiền mã hóa chính. Tất cả các dự án này tạo ra các mạng máy tính cho phép những người tham gia được kết nối đạt được thỏa thuận về dữ liệu được chia sẻ (blockchain của tiền mã hóa). Phần mềm cho phép bất kỳ người tham gia cụ thể nào kết nối với mạng được gọi là khách hàng và phần mềm khách hàng đó được phát hành và phát triển mã nguồn mở. Thông thường, các khách hàng này được phát triển bởi một số người tham gia không liên quan như một phiên bản đơn giản thông thường của phần mềm mạng (tức là một khách hàng tham chiếu), từ đó việc đào coin, ví, trao đổi hoặc các phần mềm tương thích mạng khác có thể được xây dựng.

Khách hàng tham khảo Bitcoin Core là sản phẩm của hơn 15.000 mã đóng góp độc đáo từ hơn 450 nhà phát triển cá nhân bên ngoài. Phần mềm này có thể sử dụng miễn phí và tự do sửa đổi theo giấy phép bản quyền của MIT, và toàn bộ lịch sử phát triển đó có thể được xem trong kho phần mềm công cộng do Github, nhà cung cấp dịch vụ điện toán đám mây tổ chức, cho phép tất cả mọi người đăng ký tài khoản, tải mã mới và theo dõi các thay đổi. Nếu kho lưu trữ mã bạn tạo được mở cho mọi người xem, nhận xét và sửa đổi đề xuất thì bạn thậm chí không phải trả tiền cho tài khoản Github.

Kho lưu trữ công cộng cũng theo dõi cái gọi là "fork" của mã trong khách hàng tham chiếu. Một "fork" tạo ra một bản sao của phần mềm gốc mà sau đó có thể được sửa đổi cho một số mục đích cụ thể mà không thay đổi kho gốc. Các nhà phát triển tự do “fork” kho Bitcoin Core Github vào việc (a) xây dựng các ứng dụng tương thích bitcoin với mục đích cụ thể (ví dụ như một ứng dụng ví cho điện thoại thông minh) hoặc (b) xây dựng một loại tiền mã hóa mới không còn tương thích với mạng bitcoin và từ đó tạo ra mạng tiền mã hóa mới (ví dụ Litecoin hoặc Zcash). Cho đến nay, khách tham chiếu Bitcoin Core đã được fork hơn 10.000 lần, và các kho lưu trữ mới cho các fork này cho thấy trạng thái phát triển mở liên tục của các dự án phái sinh này.

Dự án Ethereum hiện có ít nhất 121 kho phần mềm riêng biệt, mỗi nhóm tập trung vào các khía cạnh khác nhau của dự án (ví dụ như lập trình ngôn ngữ để viết hợp đồng thông minh, trình duyệt đồ hoạ người dùng cuối cho tương tác với mạng Ethereum và khách hàng tương thích để tham gia vào mạng). Có không ít hơn tám dự án phần mềm để phát triển các khách hàng tương thích của Ethereum và các khách hàng phổ biến hơn (go-ethereum và Parity) có hàng trăm nhà phát triển độc lập đóng góp cho mã nguồn. Mã của dự án Ethereum (và toàn bộ lịch sử của mã đó) giống như Bitcoin, được cung cấp công khai trong Github và các kho lưu trữ trực tuyến khác, và tất cả mã được phát hành theo LGPL-3, giấy phép copyleft yêu cầu tất cả các sản phẩm phái sinh trong tương lai phải là được phát hành dưới cùng một giấy phép không độc quyền.

Ngay cả những dự án gần đây do các start-up tư nhân mới cũng cho thấy sự cam kết sâu sắc với đặc tính mã nguồn mở này. Công ty phát triển giao thức Zcash một cách công khai và thông qua một kho lưu trữ công cộng, một số nhà đóng góp lớn không phải là nhân viên của công ty, và một tổ chức phi lợi nhuận công cộng đã được tạo ra để làm chủ sự chuyển đổi từ sự phát triển tập trung vào công ty sang phát triển tập trung vào cộng đồng dài hạn. Cơ sở mã Zcash được phát hành dưới giấy phép bản quyền của MIT. Các phòng thí nghiệm về Giao thức, nhà phát triển của Filecoin, dự định theo đuổi một mô hình mở tương tự và trước đây đã minh họa cho mô hình phát triển mã nguồn mở với dự án IPFS của nó, phát triển mã đó trong các kho công cộng và phát hành theo giấy phép của MIT.

 

Tại sao yếu tố “mở” lại có ý nghĩa

Các loại tiền mã hóa và các mạng blockchain mở có thể cung cấp các chức năng có thể được quy định nếu nó được cung cấp bởi một công ty. Một nhà phát hành tiền kỹ thuật số như Liberty Reserve hoặc E-gold là một doanh nghiệp chuyên kinh doanh dịch vụ tiền tệ, và phải đăng ký với FinCEN và được cấp phép chuyển tiền ở mọi tiểu bang. Nếu nhà phát hành đó quyết định tiếp thị các token của mình như một khoản đầu tư thì họ chúng có thể tồn tại dưới dạng chứng khoán và có thể nhà phát hành đó cần phải đăng ký với SEC. Những quy định này có ý nghĩa bởi vì các dịch vụ tập trung có nguy cơ rằng đối tượng ở giữa sẽ không giữ lời hứa của mình hoặc kiểm tra và bảo đảm các sản phẩm của mình một cách đầy đủ.

Tuy nhiên, các công nghệ như Bitcoin có thể tạo ra kết quả với chức năng tương tự với một mạng lưới mở và không thuộc sở hữu, chứ không phải là một công ty, ở trung tâm. Người dùng tham gia vào các mạng lưới này và phần mềm mã nguồn mở gắn liền các ưu đãi của họ với sự hợp tác và cuối cùng là thỏa thuận về mọi dữ liệu cần thiết để tạo ra một loại tiền tệ. Việc phân quyền được xây dựng dựa trên hai điều, cơ chế đồng thuận mở và phần mềm mã nguồn mở. Nếu mã không phải là mã nguồn mở, làm thế nào người tham gia (người lạ trên internet) có thể hiểu và tin tưởng vào hệ thống mà họ đang tham gia? Thật vậy, các dự án token dựa trên mã độc quyền có thể chỉ đơn giản là các nhà cung cấp dịch vụ tập trung ẩn sau những thuật ngữ và những điều vớ vẩn về blockchain.

Tuy nhiên, đối với các dự án chính hãng trong không gian này, mã tạo ra mạng lưới phân quyền, cho phép người tham gia tin tưởng lẫn nhau, sắp xếp các ưu đãi của họ, và trừng phạt các hành vi lừa đảo, chính loại mã này đã được phi tập trung hóa. Nó được phát triển tự do, miễn phí cho cả thế giới sử dụng và sửa đổi, hoàn toàn độc lập với một hoặc thậm chí một số lợi ích của các tập đoàn, và bởi hàng trăm người dùng đầy đam mê.

Theo coincenter.com

Tags
Chia sẻ  
  
  
  
100% Rating
Điểm: 5 / 5
1 Bình chọn

Aurora

Chúc các bạn tìm hiểu thêm nhiều thông tin bổ ích qua bigcoinvietnam.com!

CertiK là gì? - An ninh mạng công nghệ Blockchain


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.

 

Tags
Chia sẻ  
  
  
  
100% Rating
Điểm: 5 / 5
1 Bình chọn

NHẬN FREE VÉ THAM GIA SỰ KIỆN BLOCKCONFEX HỒ CHÍ MINH

"39 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