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

Vitalik Buterin: Những dự án hứa hẹn TPS cao là một đống RÁC tập trung

Đăng bởi: admin  - 09/02/2019 - 1918 lượt xem
Chia sẻ
 

Trong bài phát biểu quan trọng được đưa ra tại một Hội Nghị vào nửa đầu tháng 1 năm 2019, đồng sáng lập Ethereum và là một người có ảnh hưởng trong lĩnh vực blockchain- Vitalik Buterin đã đưa ra một tuyên bố gây tranh cãi và khiến nhiều người phải “cau mày”.

Khi một thành viên khán giả hỏi anh ta về khả năng xử lý số giao dịch trên mỗi giây của công nghệ Casper CBC sắp tới, Buterin đã nhanh chóng ngắt lời thành viên khán giả này trước khi đưa ra tuyên bố không khỏi bất ngờ cho khán giả về việc có bao nhiêu người hiện đang hiểu lầm và ưu tiên không chính đáng “tỷ lệ TPS cao” (số giao dịch/giây).

Trong tuyên bố này, anh nói rằng các dự án sử dụng các thuật toán thay thế để đạt được tỷ lệ TPS cao “một cách vô lý” đều được coi là một “đống rác tập trung”.

RẺ, Nhanh, Bảo Mật- Chỉ chọn 2 tính chất

Trước khi chúng ta đi sâu vào phân tích kỹ thuật của CBC Casper sắp tới, chúng ta cần thảo luận về những gì Buterin đang muốn nhấn mạnh ở đây. Ngoài ra, tại sao Buterin lại cảm thấy rằng các dự án mà quá tập trung vào TPS (giao dịch mỗi giây) đang cố gắng tận dụng những từ ngữ gây hiểu lầm thay vì thực sự hướng đến việc phát triển một công nghệ ổn định và phi tập trung?

Để hiểu rõ hơn, TPS đề cập đến số lượng giao dịch mà một mạng lưới tiền mã hóa có thể xử lý được trên mỗi giây. Bitcoin có thể xử lý một lượng TPS tương đối thấp. Điều này càng bị ảnh hưởng hơn bởi nhu cầu mua bán Bitcoin cực kỳ cao trên mạng đôi khi dẫn đến việc phí giao dịch tăng cao.

Ngoài ra, các mạng lưới gần đây có tỷ lệ TPS cao hơn, nhưng có lẽ tính bảo mật lại không cao bằng mạng lưới Bitcoin (điều mà mạng blockchain của Bitcoin luôn tự hào). Ví dụ, mặc dù bitcoin có TPS tương đối thấp, cho đến ngày nay, nó chưa bao giờ bị tấn công 51%, tấn công chênh thời gian hoặc bất kỳ đợt tấn công lớn nào khác.

So sánh điều này với các dự án mới hơn và có TPS cao hơn như Verge -đã bị tấn công thành công nhiều lần trước đó. Các bạn đừng hiểu nhầm rằng việc có nhiều TPS hơn sẽ tự động làm cho dự án kém an toàn hơn. Thay vào đó, điều này nhắc nhở rằng chỉ cần có TPS cao là không đủ để xây dựng một mạng lưới mã hóa đáng tin cậy, an toàn và đáng tin cậy.

Giải quyết vấn đề TPS là một điểm nhức nhối đối với những người đam mê công nghệ mã hóa. Các cuộc tranh luận xung quanh điều này có thể trở nên khó chịu đến nỗi nhiều cuộc nội chiến “ảo” đã diễn ra. Ví dụ kinh điển là Bitcoin Cash tách ra khỏi bitcoin, chủ yếu do mong muốn có TPS cao hơn và phí giao dịch thấp hơn. Trước đó, một sự cố tương tự đã xảy ra với Litecoin (mặc dù nó không gây tranh cãi vì Litecoin mang một tên và danh tính hoàn toàn khác, trái ngược với tuyên bố hướng đến việc trở thành “bitcoin thật”).

“Một đống RÁC tập trung”?

Theo Buterin, có nhiều cách để đạt được TPS cao và không phải tất cả các phương thức này đều giống nhau.  Buterin đặc biệt nêu ra các thuật toán như VFT, và tuyên bố rằng cách duy nhất các dự án này có thể đạt được số TPS đáng tự hào của họ là tập trung hóa.

Đội nhóm của Buterin đang phát triển theo hướng ngược lại. Thay vì cố gắng hết sức để đạt tỷ lệ TPS cao nhất có thể, mục tiêu của họ là tập trung vào hai điều. Đầu tiên, làm việc kiểm duyệt hoặc đảo ngược khối khó hơnlượng thời gian thực hiện các giao dịch an toàn. Theo Buterin, hai mối quan tâm này mới là vấn đề, không phải là tỷ lệ TPS cao ngất trời.

 

Buterin chia sẻ cụ thể:

 “Khi một dự án blockchain tuyên bố: Chúng tôi có thể thực hiện 3500 TPS vì chúng tôi có thể phát triển một thuật toán khác, điều tôi thực sự muốn nói là họ chỉ giống một đống rác tập trung chỉ hoạt động vì mạng lưới có những BẢY NODE đang vận hành.”

Nói cách khác, Buterin tuyên bố rằng các dự án này chỉ có thể đạt được TPS của họ vì họ dựa vào những gì thực chất là điểm trung tâm của sự thất bại. Phương pháp thiết kế mạng này là phản đề cho cách các mạng tiền mã hóa được cho là hoạt động

Bạn có thể nghĩ theo cách này. Mỗi khối bitcoin chỉ có thể chứa 1 MB dữ liệu. Theo tiêu chuẩn của ngày hôm nay, khối lượng dữ liệu đó là rất nhỏ. Nếu chúng ta lưu trữ tất cả sức mạnh xử lý của mạng bitcoin trên mạng, dịch vụ đám mây AWS của Amazon, nó có thể dễ dàng xử lý hàng tỷ hoặc thậm chí hàng nghìn tỷ giao dịch mỗi giây.

Vậy tại sao chúng ta không làm vậy? Đáp án đơn giản. Bitcoin được thiết kế là một mạng lưới phi tập trung/ phân cấp, điều đó có nghĩa là nó miễn nhiễm với sự kiểm duyệt và nỗ lực của các thể lực bên ngoài (ví dụ như chính phủ, cảnh sát, v.v.). Nếu tất cả các giao dịch mạng bitcoin nếu được vận hành trên một dịch vụ đám mây sẽ thuộc sở hữu của một công ty và có thể bị gỡ xuống trong vài giây theo yêu cầu của một thực thể chính phủ mà công ty điều hành mạng sẽ buộc phải tuân thủ.

Về cơ bản những gì chúng ta đang có chính là một sự đánh đổi. Mạng bitcoin hy sinh tốc độ cực cao và khả năng thông lượng lớn- các đặc điểm của một hệ thống tập trung phát triển cao để đổi lấy hệ thống chậm hơn nhiều, tuy nhiên miễn nhiễm với kiểm duyệt và gỡ xuống.

Ý chính trong tuyên bố của Buterin là những dự án không tên mà ông đang đề cập đến về cơ bản là đi theo con đường này. Họ đang chọn tập trung hóa và tốc độ cao thay vì tính phân cấp và bảo mật.

Để hỗ trợ điều này, anh nói: “Mục đích của các thuật toán đồng thuận không phải là tạo ra một blockchain có tốc độ xử lý nhanh mà là tạo ra một blockchain an toàn.”

Tổng quan về Casper CBC

Làm thế nào một dự án có thể đạt được TPS cao trong khi vẫn giữ được tính chất phi tập trungbảo mật?

Buterin tuyên bố rằng thay vì dựa vào công nghệ dành riêng để tối đa hóa TPS, tỷ lệ TPS cao hơn có thể đạt được bằng cách sử dụng các công nghệ như sharding và các công nghệ lớp 2 khác (ví dụ khác là Lightning Network hoặc Plasma).

Một công nghệ như vậy mà Ethereum Foundation đang phát triển được gọi là Casper CBC. CBC là viết tắt của độ-chính-xác-được-xây-dựng (correction-by-construction). Nó liên quan đến một bộ các giao thức mới sẽ tác động đến cách đạt được sự đồng

Thành viên R & D của Ethereum Aditya Asgaonkar mô tả CBC như thế này: được gọi là độ-chính-xác-được-xây-dựng (hay CBC) bởi vì tính chính xác của các giao thức mới được đảm bảo ngay khi xây, bằng cách tăng dần xác định một giao thức trừu tượng (và có thể chính xác) hơn nữa.

Việc triển khai Casper đã được dự đoán từ khá lâu và hứa hẹn sẽ giúp mạng lưới thay đổi từ cơ chế đồng thuận bằng chứng công việc (PoW) được cho là lãng phí - nghĩa là khai thác trên các thiết bị ASIC tiêu thụ lượng lớn năng lượng và tài nguyên- sang cơ chế đồng thuận mới- cơ chế bằng chứng cổ phần (PoS).

Cơ chế này đòi hỏi nhiều kỹ thuật tiên tiến hơn để đạt được tỷ lệ TPS cao, nhưng hoàn toàn có thể, miễn là các nhà phát triển tìm ra cách để làm điều đó mà không làm mất tính bảo mật của mạng.

Nói tóm lại thì…

Bàn về các dự án, công nghệ và con người khác gần như là một đặc trưng nơi Buterin. Trong quá khứ khi anh đã đưa ra những lời tuyên bố như thế này, và câu trả lời thường được chia làm 2 phần: những người đồng ý với ý kiến của anh và những người thấy nơi anh “sự khoa trương thiển cận hoặc không đầy đủ”. Trong trường hợp này, Buterin đã không đề cập đến bất kỳ dự án cụ thể nào, và vì vậy chúng ta thấy đây là những phỏng đoán có giáo dục về những mạng lưới “nào đó” mà anh ấy đang đề cập.

Tuy nhiên, trong ngắn hạn, các bình luận của Buterin vẫn chưa có nhiều sự ủng hộ. Một số thông tin đã được công khai liên quan đến sự phát triển của Casper và CBC, nhưng công chúng vẫn chưa được cấp quyền truy cập đầy đủ vào Casper. Do đó, chúng ta chưa biết là liệu lời hứa của Buterin có trở thành sự thật hay không.

Có lẽ chúng ta sẽ biết thêm chi tiết về Casper và có thể xác định trực tiếp bao nhiêu sự thật được chứa trong tuyên bố đầy cảm xúc của Buterin trước thềm năm mới ở những cập nhật lần sau. Nhưng dù sao đây cũng là một quan điểm đánh chú ý và đánh giá!

Bạn đang đọc: Vitalik Buterin: Những dự án hứa hẹn TPS cao là một đống RÁC tập trung

Theo Blockonomi

Chia sẻ  
  
  
  
69.78% Rating
Điểm: 3.49 / 5
45 Bình chọn

admin

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

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.

 

Chia sẻ  
  
  
  
69.78% Rating
Điểm: 3.49 / 5
45 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