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

Phi tập trung có ý nghĩa gì ?

Đăng bởi: Anna   - 05/10/2018 - 1827 lượt xem
Chia sẻ
 

“Phi tập trung” là một trong những từ ngữ được sử dụng trong không gian nền kinh tế crypto thường xuyên nhất, và thậm chí còn được xem là lý do cho sự tồn tại của blockchain nhưng nó cũng là một trong những từ có lẽ là được định nghĩa nghèo nàn nhất.


Có thể bạn quan tâm:

Hàng ngàn giờ nghiên cứu và hàng tỷ đô cho hashpower đã được chi ra chỉ dành cho một mục đích đó là đạt được sự phi tập trung và bảo vệ và cải thiện nó và khi bắt đầu có sự cạnh tranh trong các cuộc thảo luận, thì một điều cực kỳ phổ biến đối với những người ủng hộ một giao thức (hoặc mở rộng giao thức) đó là họ sẽ nhận định rằng các đề suất đối lập về sự “tập trung” chính là những lập luận cứng cỏi.

Nhưng chúng ta vẫn còn hoang mang không biết từ này thật sự có nghĩa là gì. Ví dụ, bên dưới là một sơ đồ hoàn toàn không giúp ích được gì nhưng thật không may nó lại quá phổ biến:

Sự khác biệt giữa mạng tập trung, phi tập trung và phân tán

Sự khác biệt giữa mạng tập trung, phi tập trung và phân tán

Bây giờ, hãy xem hai câu trả lời trên Quora về câu hỏi “ phân tán (distributed ) và  phi tập trung ( decentralized) khác nhau như thế nào?”. Về cơ bản, câu trả lời đầu tiên giống như sơ đồ trên, ngược lại câu trả lời thứ 2 lại đưa ra nhận đinh hoàn toàn khác cho rằng distributed được hiểu là không phải tất cả các giao dịch đều diễn ra tại cùng một địa điểm”, ngược lại “decentralized nghĩa là một tổ chức không quản lý toàn bộ quy trình xử lý giao dịch”. Trong khi đó, câu trả lời hàng đầu trên  Ethereum stack exchange  cũng đưa ra một sơ đồ tương tự, nhưng chỉ khác là hai từ “decentralized” và “distributed đổi chỗ cho nhau. Rõ ràng, đã có sự phân loại theo thứ tự.

 

3 loại phi tập trung

 

Khi mọi người nói về phi tập trung phần mềm, thực tế họ đang nói đến 3 mặt tách biệt của phi tập trung/tập trung. Mặc dù nhiều khi bạn sẽ cảm thấy khó khăn khi có cái này mà không có cái kia, nhưng nhìn chung phi tập trung và tập trung khá là độc lập với nhau. Dưới đây là 3 mặt của vấn đề đã nêu trên:

  • Architectural (de)centralization (tạm dịch: Phi tập trung/tập trung về cấu trúc - hệ thống được xây dựng dựa trên bao nhiêu chiếc máy tính? Có bao nhiêu máy trong số máy tính này có thể chịu sự hỏng hóc tại một thời điểm nào đó?
  • Political (de)centralization (tạm dịch: Phi tập trung/tập trung về chính trị) - Có bao nhiêu tổ chức, cá nhân cuối cùng nắm quyền kiểm soát đối với các máy tính mà đã xây dựng nên hệ thống?
  • Logical (de)centralization (tạm dịch: Phi tập trung/tập trung về sự logic - Giao diện và cấu trúc dữ liệu của hệ thống giống một vật đơn nhất hơn hay giống đám đông vô hình hơn? Một lời giải thích đơn giản đó là: nếu bạn chia đôi hệ thống ra, bao gồm nhà cung cấp và người dùng, thì cả hai nửa có tiếp tục hoạt động như các đơn vị độc lập không?

Chúng ta có thể thử đặt 3 yếu tố này vào sơ đồ dưới đây:

Sự khác biệt giữa tập trung về logic và phi tập trung về logic

Sự khác biệt giữa tập trung về logic và phi tập trung về logic

Lưu ý rằng nhiều vị trí ở trên có khả năng gây nhiều tranh cãi. Nhưng hãy thử xem qua một vài trường hợp:

  • Các công ty truyền thống có sự tập trung về mặt chính trị (một CEO nắm quyền quản lý), tập trung về cấu trúc (một cơ quan đầu não ) và tập trung về tính logic (không thể chia công ty ra làm 2 được).
  • Civil law (luật dân sự) phụ thuộc vào một cơ quan làm luật tập trung, ngược lại common law (thông luật) được xây dựng dựa trên các tiền lệ. Civil law vẫn có tính phi tập trung về cấu trúc vì còn nhiều tòa án vẫn cần xem xét thận trọng, còn common law có nhiều tính phi tập trung về cấu trúc hơn. Cả hai hệ thống luật đều là tập trung về logic (vì luật chính là luật).
  • Ngôn ngữ mang tính phi tập trung về logic; Tiếng Anh giao tiế giữa Alice và Bob và Tiếng Anh giao tiế giữa Charlie và David không cần thiết phải khớp nhau về mặt ý nghĩa. Không có cơ sở hạ tầng tập trung nào đòi hỏi phải có một ngôn ngữ, và không phải bất cứ một người nào có thể tạo ra và kiểm soát các quy tắc ngữ pháp Tiếng Anh ( trường hợp ngoại lệ, Quốc tế ngữ Esperanto ban đầu được tạo ra bởi Ludwig Zamenhof, dù đến nay nó như một ngôn ngữ đang tồn tại có sự phát triển lớn mạnh trên thế giới nhưng không bị quyền lực kiểm soát)
  • BitTorrent cũng phi tập trung về tính logic tương tự như Tiếng Anh. Mạng phân phối nội dung (ntent delivery network - CDN) cũng tương tự nhưng lại được kiểm soát bởi một công ty.
  • Công nghệ blockchain lại phi tập trung về chính trị (không ai nắm quyền kiểm soát) và phi tập trung về cấu trúc (thất bại không phải do vấn đề về cơ sở hạ tầng) nhưng blockchain lại tập trung về tính logic (có một trạng thái được thỏa thuận chung và hệ thống hoạt động giống như một máy tính).

Nhiều khi người ta nói về các ưu điểm của một blockchain, họ mô tả các lợi ích tiện lợi của việc có “một cơ sở dữ liệu trung tâm”; sự tập trung đó là tập trung về logic, và đó là một loại tập trung được cho là mang lại lợi ích  trong nhiều trường hợp (mặc dù Juan Benet từ IPFS cũng đẩy mạnh tính phi tập trung về logic bất cứ khi nào có thể được, bởi vì hệ thống phi tập trung về tính logic có xu hướng phát triển tốt trong việc vượt qua sự phân chia mạng, hoạt động tốt tại các khu vực có kết nối kém trên thế giới, v.v.)

Tập trung về cấu trúc thường dẫn đến sự tập trung về chính trị, mặc dù không cần thiết phải có trong mạng lưới. Có thể sẽ có sự phi tập trung về  cấu trúc chứ không phải chính trị trong các hệ thống được vận hành bởi máy tính nếu có một cộng đồng sử dụng một diễn đàn tập trung vì mục đích tiện lợi nhưng ở đâu có một thỏa thuận xã hội  (một thoả thuận không thống nhất (thường mang tính giả thiết hoặc tưởng tượng)) nếu người sở hữu diễn đàn đó có dã tâm thì mọi người sẽ chuyển sang một diễn đàn khác (các cộng đồng được hình thành xung quanh việc nổi dậy chống lại những gì họ thấy khi cơ quan kiểm duyệt trong một diễn đàn khác có thể có đặc điểm này trong thực tế).

Tập trung về logic gây khó khăn cho phi tập trung về cấu trúc hơn nhưng không phải là không thể - hãy xem các mạng lưới đồng thuận phi tập trung đã chứng tỏ được tính hiệu quả của nó như thế nào.  Và sự tập trung về logic gây khó khăn hơn cho phi tập trung về chính trị - trong các hệ thống tập trung về logic thì việc giải quyết những tranh cãi chỉ đơn giản bằng cách đồng ý “tồn tại và để nó tồn tại” sẽ khó khăn hơn.

 

3 lý do tại sao cần phi tập trung

 

Câu hỏi tiếp theo là, tại sao phi tập trung lại mang lại nhiều lợi ích đến thế? Nhìn chung nhiều người đã đưa ra quan điểm riêng của họ:

  • Chống lỗi - hệ thống phi tập trung có ít khả năng gây lỗi hơn bởi chúng phụ thuộc vào nhiều thành tố riêng biệt.
  • Chống sự tấn công - rất khó để tấn công, phá hủy hay thao túng các hệ thống phi tập trung bởi chi phí để làm việc đó đắt đỏ hơn so với việc tấn công vào các hệ thống xung quanh có cơ quan trung ương nhạy cảm.
  • Chống sự câu kết - trong hệ thống phi tập trung, những người tham gia sẽ gặp nhiều khó khăn hơn khi họ cố gắng câu kết để trục lợi từ những người khác, ngược lại, những người lãnh đạo của các công ty và chính phủ dễ dàng câu kết với nhau không chỉ tư lợi bản thân mà còn làm tổn hại đến người dân, khách hàng, công nhân viên chức và công chúng nói chung.

3 lập luận đều quan trọng và hợp lý nhưng 3 quan điểm trên đều dẫn đến một số kết luận thú vị và khác biệt khi bạn bắt đầu nghĩ về quyết định giao thức với 3 quan điểm trong đầu.  Chúng ta hãy mở rộng từng lập luận một.

Về chống lỗi, lập luận cốt lõi này rất đơn giản. Cái gì ít có khả năng xảy ra: một máy tính bị hỏng hay 5 trong 10 máy tính đều bị hỏng cùng một lúc? Quy tắc ở đây không phải là điều đáng tranh cãi và được sử dụng trong cuộc sống thật trong nhiều tình huống khác nhau bao gồm cả động cơ máy bay phản lực, máy phát điện dự phòng, đặc biệt là những nơi như bệnh viện, cơ sở hạ tầng quân sự, sự đa đạng hóa về danh mục tài chính và các mạng máy tính.

Tuy nhiên, mặc dù vẫn hiệu quả và có tính quan trọng cao nhưng loại phi tập trung này thường không giải quyết được mọi vấn đề, không bằng một mô hình toán học đôi khi dùng để dự báo.  Nguyên nhân là do lỗi chế độ cách chung (common node) Chắc chắn rồi, 4 động cơ phản lực ít có khả năng xảy ra lỗi hơn so với một động cơ nhưng chuyện gì sẽ xảy ra nếu tất cả 4 động cơ phản lực được sản xuất trong cùng một nhà máy và cùng một công nhân cẩu thả gây ra lỗi trong tất cả 4 động cơ phản lực ?

Blockchain như ngày này có đang cố gắng để bảo vệ nó khỏi lỗi chế độ cách chung không? Điều đó không cần thiết. Hãy xem các kịch bản dưới đây:

  • Tất cả các node trong blockchain chạy cùng một phần mềm client và cuối cùng phát hiện ra phần mềm client này có lỗi.
  • Tất cả các node trong blockchain chạy cùng một phần mềm client và đội ngũ phát triển của phần mềm này hóa ra là đã liên kết với nhau để kiểm soát mọi thứ.
  • Đội ngũ nghiên cứu đề xuất những bản cập nhật giao thức hóa ra lại liên kết với nhau để kiểm soát mọi thứ.
  • Trong một proof of work, 70% thợ đào cùng đến từ một nước và chính phủ của nước ngày quyết định thắt chặt tất cả các nông trại đào coin vì mục đích an ninh quốc gia.
  • Phần lớn phần mềm đào coin được sản xuất tại cùng một công ty, và công ty này bị hối lộ hoặc ép buộc tạo ra một “cửa hậu” cho phép phần cứng này ngừng hoạt động theo ý muốn.
  • Trong một proof of stake của  blockchain, 70% số coin được nắm giữ tại một sàn giao dịch.

Một cái nhìn toàn diện về sự phi tập trung chống lỗi trong tất cả các khía cạnh này, và cách  giảm các khía cạnh này đến mức tối thiểu.  Đã có một số kết luận khá là rõ ràng:

  • Có nhiều ngôn ngữ lập trình cạnh tranh nhau là một điều cực kỳ quan trọng.
  • Kiến thức về việc xem xét kỹ thuật đằng sau việc nâng cấp giao thức phải được dân chủ hóa, để nhiều người có thể cảm thấy thoải mái hơn khi tham gia vào các cuộc thảo luận nghiên cứu và chỉ trích những thay đổi giao thức xấu.
  • các nhà phát triển và nhà nghiên cứu cốt lõi nên làm việc cho nhiều tổ chức và công ty  (hoặc một vài trong số họ làm việc cho các công ty và tổ chức trên tinh thần tự giác)
  • Các thuật toán đào coin nên được thiết kế sao cho giảm rủi ro về tính tập trung đến mức tối thiểu.
  • Chúng ta có thể sử dụng proof of stake để tránh xa khỏi rủi ro về tính tập trung trong phần cứng hoàn toàn (mặc dù chúng ta cũng nên cẩn thận với những rủi ro mới từ proof of stake).

Lưu ý rằng những yêu cầu về chống lỗi mà chưa bao giờ được thử nghiệm sẽ đặt trọng tâm vào tính phi tập trung về cấu trúc, nhưng khi bạn bắt đầu nghĩ về việc  chống lỗi của cộng đồng đang quản lý sự phát triển của giao thức, thì tính phi tập trung về chính trị cũng đóng vai trò quan trọng.

Bây giờ hãy xem tính chống tấn công. Trong một số mô hình kinh tế, đôi khi bạn sẽ nhận thấy rằng phi tập trung thậm chí chẳng phải là vấn đề cần quan tâm. Nếu bạn tạo ra một giao thức tại đó những người xác minh đảm bảo sẽ mất 50 triệu đô nếu xảy ra vụ tấn công 51% thì nếu những người xác minh được kiểm soát bởi một công ty hay 100 công ty không phải là vấn đề - 50 triệu đô hạn độ an ninh kinh tế chính là  50 triệu đô hạn độ an ninh kinh tế.  Trên thực tế, vẫn tồn tại lý do tại sao việc tập trung thậm chí có thể tối đa hóa quan niệm về an ninh kinh tế (mô hình lựa chọn giao dịch của các blockchains hiện tại phản ánh cái nhìn sâu sắc này, vì việc đưa các giao dịch vào các khối thông qua các thợ đào / những người đề xuất khối thực sự là một chế độ độc tài thay phiên nhau rất nhanh).

Tuy nhiên, một khi bạn áp dụng một mô hình kinh tế phong phú hơn, và đặc biệt là một mô hình thừa nhận khả năng cưỡng chế (hoặc nhiều thứ nhẹ nhàng hơn như tấn công DoS nhắm vào các node), việc phân quyền sẽ trở nên quan trọng hơn. Nếu bạn đe dọa giết chết một người nào đó, đột nhiên 50 triệu đô la sẽ không còn quan trọng với họ nữa. Nhưng nếu 50 triệu đô la được rải rác trong mười người, thì bạn phải đe dọa gấp mười lần số người, và làm tất cả cùng một lúc. Nói chung, tính không đối xứng trong phòng thủ/tấn công của kẻ tấn công là điểm đặc trưng trong thế giới hiện đại - một tòa nhà sẽ mất 10 triệu đô để xây có thể sẽ mất không đến 100, 000 đô la để phá hủy, nhưng đòn bẩy của kẻ tấn công thường là tuyến dưới: nếu một tòa nhà mất 10 triệu đô la để xây dựng sẽ mất 100.000 đô la để phá hủy, thì một tòa nhà có chi phí 1 triệu đô la để xây dựng có thể có chi phí thực tế có lẽ là 30.000 đô la để phá hủy.

Nguyên nhân này dẫn đến cái gì? Trước tiên, nó thúc đẩy sự ủng hộ proof of stake hơn proof of work, vì phần cứng máy tính dễ phát hiện, điều chỉnh hoặc tấn công, trong khi các đồng coin có thể dễ dàng bị ẩn hơn (proof of stake cũng có khả năng chống tấn công mạnh mẽ vì các lý do khác). Thứ hai, đó là một điểm có lợi cho việc phân phối rộng rãi các đội ngũ phát triển, bao gồm cả phân phối về mặt địa lý. Thứ ba, nó ngụ ý rằng cả mô hình kinh tế lẫn mô hình chống lỗi cần được xem xét khi thiết kế các giao thức đồng thuận.

Cuối cùng, chúng ta có thể biết được lập luận khó hiểu nhất trong ba lập luận trên, đó là chống câu kết. Câu kết rất khó để định nghĩa; có lẽ cách hợp lý duy nhất để đơn giản hóa đó là câu kết “ là một sự hợp tác mà chúng ta không thích”. Có rất nhiều tình huống trong cuộc sống thực tế, mặc dù có sự phối hợp hoàn hảo giữa mọi người sẽ là một sự kết hợp lý tưởng, một nhóm nhỏ có thể phối hợp trong khi những người khác không thể là một sự nguy hiểm.

Một ví dụ đơn giản đó là luật chống độc quyền - rào cản pháp lý có chủ ý được đặt ra để làm cho người tham gia ở một khía cạnh của thị trường trở nên khó khăn hơn và hành động như một nhà độc quyền và có được lợi nhuận khổng lồ từ chi phí của cả khía cạnh kia của thị trường và phúc lợi xã hội nói chung.  Một ví dụ khác là các quy tắc chống lại sự phối hợp hoạt động giữa các ứng cử viên và super PAC ở Hoa Kỳ, mặc dù những quy tắc này đã được chứng minh là khó thực thi trong thực tế.  Ví dụ nhỏ hơn nhiều đó là quy tắc trong một số giải đấu cờ vua nhằm ngăn không cho hai người chơi chơi nhiều trò chơi với nhau để cố gắng tăng điểm số của một người chơi.  Bất kể bạn nhìn vào ví dụ nào, nỗ lực ngăn chặn sự phối hợp không mong muốn trong các tổ chức phức tạp có mặt ở khắp mọi nơi.

Trong trường hợp của các giao thức blockchain, nguyên do về  toán học và kinh tế đứng đằng sau sự an toàn về sự đồng thuận thường dựa trên mô hình lựa chọn không được phối hợp, hoặc giả định rằng trò chơi bao gồm nhiều người chơ nhỏ có thể đưa ra quyết định một cách độc lập. Nếu bất kỳ một chủ thể nào nhận được hơn 1/3 sức mạnh đào coin trong một hệ thống proof of work, họ có thể thu được lợi nhuận khổng lồ từ hoạt động đào coin ích kỷ. Tuy nhiên, chúng ta có thể thực sự nói rằng mô hình lựa chọn không so sự phối hợp là một thực tế khi 90% sức mạnh đào coin của mạng Bitcoin được phối hợp đủ để có mặt cùng nhau tại cùng một hội nghị không?

Sức mạnh đào coin có đủ phối hợp tốt để xuất hiện cùng nhau tại hội nghị không?

Sức mạnh đào coin có đủ phối hợp tốt để xuất hiện cùng nhau tại hội nghị không?

Những người ủng hộ Blockchain cũng đã đưa ra các quan điểm cho rằng blockchain an toàn hơn vì họ không thể thay đổi các quy tắc của chúng một cách tùy tiện bất cứ khi nào họ muốn, nhưng trường hợp này sẽ khó bảo vệ nếu tất cả các nhà phát triển phần mềm và giao thức làm việc cho một công ty, là một phần của một gia đình và ngồi trong một phòng. Vấn đề ở đây là các hệ thống này không nên hoạt động như các hệ thống độc quyền đơn nhất để tư lợi. Do đó, bạn có thể cho rằng blockchains sẽ được an toàn hơn nếu họ không câu kết với nhau.

Tuy nhiên, điều này thể hiện một nghịch lý cơ bản. Nhiều cộng đồng, bao gồm cả Ethereum, thường được ca ngợi vì có tinh thần cộng đồng mạnh mẽ và có thể phối hợp nhanh chóng trong việc triển khai, phát hành và kích hoạt một đợt hard fork để khắc phục các vấn đề từ chối dịch vụ trong giao thức trong vòng sáu ngày. Nhưng làm thế nào chúng ta có thể nuôi dưỡng và cải thiện sự phối hợp tốt này, nhưng đồng thời cũng ngăn chặn cả sự “phối hợp xấu bao gồm việc các thợ đào cố gắng lừa đảo mọi người bằng cách liên tục thực hiện các cuộc tấn công 51%  ?

Có hai cách để trả lời câu hỏi này:

  • Đừng cố gắng giảm thiệu sự phối hợp không mong muốn, thay vào đó, hãy cố gắn xây dựng các giao thức để ngăn chặn nó.
  • Cố gắng tìm một phương tiện cho phép sự phối hợp vừa đủ để một giao thức có thể phát triển và có những bước tiến xa hơn, nhưng không đủ để cho phép tấn công.
  • Cố gắng phân biệt sự phối hợp có ích và sự phối hợp có hại và tạo điều kiện thuận lợi cho những sự phối hợp có ích và gây khó khăn cho sự phối hợp có hại.

Hướng tiếp cận này chiếm một phần lớn trong triết lý thiết kế Casper. Tuy nhiên, bản thân hướng tiếp cận này thì chưa đủ vì chỉ phụ thuộc vào kinh tế sẽ không thôi sẽ không thể giải quyết 2 vấn đề lo ngại khác về tính phi tập trung. Hướng tiếp cận thứ hai rất khó xảy ra đặc biệt là về lâu về dài nhưng nó thường xảy ra một cách không có chủ ý.  Ví dụ, thực tế là các nhà phát triển cốt lõi của bitcoin thường nói tiếng Anh nhưng các thợ đào nói tiếng Trung Quốc có thể được xem như một tai nạn vui vẻ, vì nó tạo ra một loại quản trị “lưỡng viện”gây khó khăn cho sự phối hợp cùng với lợi ích phụ đi kèm từ việc giảm rủi ro từ lỗi chế độ cách chung, vì cộng đồng nói tiếng Anh và Trung Quốc sẽ suy luận một phần nào đó khác biệt do khoảng cách và những khó khăn về giao tiếp và do đó cả hai cộng đồng ít có khả năng mắc cùng một lỗi.

Hướng tiếp cận thứ 3 là một thách thức về mặt xã hội hơn bất cứ hướng tiếp cận nào khác; các giải pháp về vấn đề này bao gồm:

  • Sự can thiệp xã hội cố gắng tăng sự trung thành vào cộng đồng của những người tham gia trong công nghệ blockchain nói chung và thay thế hoặc không khuyến khích khả năng của những người chơi ở một khía cạnh thị trường trung thành với nhau một cách trực tiếp.
  • Thúc đẩy giao tiếp giữa các “khía cạnh khác nhau của thị trường” trong bối cảnh tương tự để giảm khả năng của những người xác minh hoặc nhà phát triển hoặc người đào coin những người bắt đầu thấy mình là “tầng lớp” phải phối hợp với nhau để bảo vệ lợi ích của họ trước các tầng lớp khác.
  • Việc thiết kế giao thức theo cách này để giảm thiệu động cơ cho những người xác minh / thợ đào tham gia vào” mối quan hệ 1 -1 đặc biệt”, mạng lưới tập trung chuyển tiếp và các cơ chế siêu giao thức tương tự khác.
  • Các quy chuẩn rõ ràng về những tính chất cơ bản được cho là có trong giao thức, và về việc không nên làm những gì, hoặc ít nhất chỉ nên thực hiện trong trường hợp nào cực kỳ cần thiết.

Loại phi tập trung thứ ba, phi tập trung giống như việc tránh sự phối hợp không mong muốn, do đó có lẽ là loại khó khăn nhất để đạt được, và sự đánh đổi là điều không thể tránh khỏi. Có lẽ giải pháp tốt nhất có thể là phụ thuộc nhiều vào một nhóm người được đảm bảo tính phi tập trung đó là người dùng của giao thức.

 

Bạn đang đọc: Phi tập trung có ý nghĩa gì ? tại Tin tức

Theo Vitalik Buterin - Medium

Biên dịch: Bigcoinvietnam

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

Anna

Thành viên của đội ngũ dịch bài từ các trang web uy tín ở nước ngoài luôn cập nhật nhanh nhất về những tin tức trên thế giới trong ngành công nghiệp mới nổi và còn non trẻ này.

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
Bigcoin Việt Nam - Phân tích đầu tư Bitcoin và các dự án công nghê Blockchain