Tổng quan
Blockchain ra đời với khát vọng giải quyết vấn đề bảo mật và quyền riêng tư, từ Bitcoin đến Ethereum đã phần nào giải quyết được vấn đề này. Tuy nhiên, lại phát sinh ra vấn đề mở rộng, mở rộng đến vô hạn, điều mà Ethererum đang cố gắng giải quyết bao nhiêu năm qua vẫn chưa xong. StarkWare tiên phong với Stark of Proof mong muốn giải quyết 3 vấn đề lớn của blockchain là mở rộng, bảo mật và quyền riêng tư.
Mọi thắc mắc của các bạn sẽ được GFS Blockchain giải đáp thông qua bài viết nghiên cứu dưới đây.
StarkWare là gì?
StarkWare là nhà phát triển các giải pháp dựa trên STARK cho ngành công nghiệp blockchain. Các sản phẩm của StarkWare cho phép hoạt động an toàn, không tin cậy và có thể mở rộng cho các ứng dụng blockchain. StarkWare là đơn vị cung cấp giải pháp cho các dự án nổi tiếng như: DyDx, IMX, Sorare …
Đội ngũ phát triển
Đội ngũ phát triển cốt lõi của StarkWare
StarkWare được phát triển bởi một đội ngũ kỹ sư xuất sắc trong ngành công nghiệp blockchain.
- Eli Ben-Sasson (Co-Founder, President tại Starkware): Eli là người đồng sáng lập kiêm chủ tịch hội đồng quản trị của StarkWare. Anh ấy đã nghiên cứu bằng chứng mật mã và Zero Knowledge Proofs of Computational kể từ khi anh ấy nhận bằng tiến sĩ về khoa học máy tính lý thuyết từ đại học Hebrew vào năm 2001. Eli là người đồng phát minh ra các giao thức STARK, FRI và Zerocash. Ông là nhà khoa học sáng lập của Zcash. Trong nhiều năm, ông giữ các vị trí nghiên cứu tại Viện nghiên cứu cao cấp tại Princeton, Harvard, MIT và gần đây nhất là Giáo sư CS tại Technion.
- Uri Kolodny (Co-Founder, CEO tại Starkware): Ông có bằng B.Sc. (Magna cum Laude) về khoa học máy tính của đại học Hebrew và bằng MBA của MIT Sloan. Uri là người đã đồng sáng lập một số công ty công nghệ, trong số đó có OmniGuide (một công ty MIT phát triển sợi quang học cho phẫu thuật nội soi) và Mondria (nhà phát triển các công cụ trực quan hóa dữ liệu lớn). Trước đây, Uri cũng từng là EIR với hai công ty VC của Israel và là nhà phân tích tại McKinsey.
- Michael Riabzev (Co-Founder, Chief Architect tại Starkware): Ông có bằng tiến sĩ khoa học máy tính từ Viện Công nghệ Technion Israel, nơi ông tập trung vào việc phát triển các hệ thống thực tế để tính toàn vẹn trong tính toán không có kiến thức, đỉnh cao là phát triển và triển khai hệ thống zk-STARK. Michael có bằng B.Sc. trong toán (cum Laude) và một M.Sc. trong khoa học máy tính, cả từ Technion. Ông có 14 năm kinh nghiệm phát triển phần mềm, bao gồm tại phòng thí nghiệm nghiên cứu của Intel và IBM. Michael đã làm việc về hardware acceleration, cryptographic algorithms, GPGPU, SDN, phát triển web…
- Alessandro Chiesa (Co-Founder, Chief Scientist tại Starkware): Ông là giảng viên khoa học máy tính tại UC Berkeley. Nghiên cứu của ông mở rộng các lĩnh vực lý thuyết độ phức tạp, mật mã và bảo mật, đồng thời tập trung vào các cơ sở lý thuyết và triển khai thực tế của Zero Knowledge Proofs, ngắn gọn và dễ xác minh. Anh ấy là người đồng phát minh ra giao thức Zerocash và là tác giả của libsnark, thư viện mã nguồn mở hàng đầu cho Succinct Zero Knowledge Proofs. Alessandro là nhà khoa học sáng lập công ty Zcash. Ông đã nhận được B.Sc. bằng Khoa học Máy tính và Toán học, và bằng Tiến sĩ trong Khoa học Máy tính, từ MIT.
- Bên cạnh 4 nhà sáng lập xuất sắc thì đội ngũ của StarkWare gồm 40 thành viên cũng là những kỹ sư tài năng và kinh nghiệm phong phú trong ngành công nghiệp blockchain.
Ban cố vấn khoa học của StarkWare
- Avi Wigderson: là giáo sư toán học tại viện nghiên cứu cao cấp (IAS) ở Princeton và là thành viên của học viện khoa học quốc gia Hoa Kỳ từ năm 2013. Wigderson là người nhận giải thưởng Nevanlinna (1994), giải thưởng Gödel (2009), giải Knuth (2019) và giải Abel (2021).
Wigderson đã học đại học tại Technion (Israel). Ông đã nhận bằng tiến sĩ của mình vào năm 1983 cho công việc tính toán phức tạp dưới sự giám sát của Richard Lipton tại Princeton. Ông gia nhập giảng viên của đại học Hebrew vào năm 1986 và vào năm 2003 ông đã theo học toàn thời gian tại IAS.
- Madhu Sudan (cố vấn khoa học cho StarkWare): là giáo sư khoa học máy tính Gordon McKay tại đại học Harvard. Ông lấy bằng cử nhân của học viện công nghệ Ấn Độ tại New Delhi năm 1987 và bằng tiến sĩ tại đại học California tại Berkeley năm 1992. Trước khi gia nhập Harvard, Madhu Sudan đã làm việc tại IBM, MIT và Microsoft Research. Madhu Sudan là người nhận giải thưởng Nevanlinna (2002) cho công trình của mình về chứng minh có thể kiểm tra theo xác suất và giải mã danh sách và là người nhận giải thưởng Infosys Foundation về toán học năm 2015. Ông là thành viên của ACM, IEEE và AMS, đồng thời là thành viên của Học viện khoa học Quốc gia. Các mối quan tâm nghiên cứu chính của Madhu Sudan là giao tiếp đáng tin cậy và sự phức tạp trong tính toán.
- Shubhangi Saraf (cố vấn khoa học cho StarkWare): là phó giáo sư khoa toán và khoa học máy tính tại đại học Toronto. Trước đó, cô đảm nhiệm vị trí giảng viên tại đại học Rutgers. Mối quan tâm nghiên cứu của cô chủ yếu nằm trong khoa học máy tính lý thuyết, tập trung vào độ phức tạp số học, mã sửa lỗi và thuật toán thời gian tuyến tính. Cô nhận bằng cử nhân toán học của MIT năm 2007 và sau đó là bằng tiến sĩ khoa học máy tính của MIT vào năm 2011. Trước khi gia nhập giảng viên của đại học Rutgers vào năm 2012, cô đã dành một năm với tư cách là nhà nghiên cứu sau tiến sĩ tại viện nghiên cứu cao cấp (IAS). Cô đã nhận được học bổng nghiên cứu Alfred P. Sloan và giải thưởng NGHỀ NGHIỆP NSF.
- Swastik Kopparty (cố vấn khoa học cho StarkWare): là phó giáo sư toán học và khoa học máy tính tại đại học Toronto. Các lĩnh vực nghiên cứu của ông bao gồm mã sửa lỗi, lý thuyết độ phức tạp tính toán, trường hữu hạn, tính ngẫu nhiên và tính ngẫu nhiên giả. Swastik lấy bằng tiến sĩ khoa học máy tính tại MIT năm 2010, là postdoc tại viện nghiên cứu cao cấp ở Princeton trong giai đoạn 2010-2011 và là giảng viên khoa toán và khoa học máy tính tại đại học Rutgers từ năm 2011 đến năm 2021. Anh ấy là người được nhận của học bổng nghiên cứu Alfred P. Sloan và giải thưởng NGHỀ NGHIỆP NSF.
Đội ngũ cố vấn của StarkWare
- Balaji Srinivasan: là một nhà đầu tư và doanh nhân thiên thần. Trước đây là CTO của Coinbase và đối tác chung tại Andreessen Horowitz, ông cũng là đồng sáng lập của Earn.com (được Coinbase mua lại), Counsyl (được mua lại bởi Myriad), Teleport (được mua lại bởi Topia) và Coin Center.
Ông đã được đặt tên cho MIT TR35, giành được giải thưởng sáng tạo của tạp chí phố Wall và có bằng BS/MS/PhD về kỹ thuật điện và MS về kỹ thuật hóa học, tất cả đều từ đại học Stanford. Tiến sĩ Srinivasan cũng giảng dạy các lớp học không thường xuyên tại Stanford, bao gồm cả MOOC trực tuyến vào năm 2013 đã tiếp cận hơn 250.000 sinh viên trên toàn thế giới.
- Joseph Lubin: là người đồng sáng lập Ethereum và là người sáng lập ConsenSys. Có nền tảng học thuật về kỹ thuật điện và khoa học máy tính từ đại học Princeton và kinh nghiệm nghiên cứu trong lĩnh vực Robotics Learning. Cựu phó giám đốc công nghệ tại Goldman Sachs trong bộ phận quản lý tài sản tư nhân.
- Naval Ravikant: là chủ tịch và đồng sáng lập của AngelList và CoinList. Anh ấy cũng là người sáng lập và là đối tác của quỹ altcoin lâu đời nhất, MetaStable Capital. Anh ấy là nhà đầu tư hạt giống của Twitter, Uber, Wish, Thumbtack, Postmate, Kraken, Yammer, Stack Overflow, ZCash, Protocol Labs, BlockStack, Chia, Basis và OpenDoor. Anh ấy trên Twitter với tên @naval và các blog tại startupboy.com
Công nghệ
Bắt đầu từ những năm 1980 và đến những năm 1990, một dòng công trình lý thuyết xuất sắc về Interactive Proofs (IP), Zero Knowledge Proofs (ZKP) và Probabilistically Checkable Proofs (PCP) đã chỉ ra cách giải quyết triệt để cả các vấn đề về khả năng mở rộng và quyền riêng tư. Và Starkware đã theo đuổi công nghệ Zero Knowledge Proofs (ZKP) để giải quyết vấn đề này.
- ZK-STARK: do StarkWare phát minh, thực thi tính toàn vẹn và quyền riêng tư của các tính toán trên blockchain, sử dụng các bằng chứng mật mã mới và đại số hiện đại. ZK-STARK cho phép các blockchain di chuyển các tính toán đến một phương thức STARK ngoài chuỗi duy nhất và sau đó xác minh tính toàn vẹn của các tính toán đó bằng cách sử dụng trình xác minh STARK trực tuyến.
- ZK (Zero-Knowledge): đầu vào được sử dụng bởi phương ngữ off-chain không được tiết lộ trên blockchain, do đó bảo vệ quyền riêng tư của người dùng.
- STARK: là một hệ thống bằng chứng. Nó sử dụng mật mã tiên tiến để cung cấp tài nguyên xác minh đa số và kích thước bằng chứng, với các giả định tối thiểu và hậu bảo mật lượng tử.
Tài chính
StarkWare không chỉ được đầu tư bởi những quỹ danh tiếng được xếp hạng top trong ngành công nghiệp blockchain mà cả những cá nhân kiệt xuất như Naval Ravikant, Vitalik Burterin.
Vào ngày 25/3/2021 StarkWare thông báo huy động được 75 triệu USD.
Sản phẩm
Lấy công nghệ ZK-STARK làm trung tâm, StarkWare phát triển 3 sản phẩm chính: Cairo, StarkNet, StarkEx.
Cairo – Một ngôn ngữ lập trình hoàn chỉnh Turing
Để chứng minh tính hợp lệ của một phép tính trong chứng minh STARK, nó phải được biểu diễn dưới dạng đại số. Cairo là một kiến trúc CPU, được thiết kế để cho phép biểu diễn chương trình thuận tiện bằng cách sử dụng Cairo-Assembly và chứng minh hiệu quả việc thực thi cho các chương trình như vậy bằng cách sử dụng biểu diễn đại số được chỉ định cho Cairo-Architecture. Cairo giúp dễ dàng phát triển, kiểm tra và bảo trì bằng cách tách đại số khỏi logic nghiệp vụ.
StarkWare định nghĩa Cairo-Architecture và triển khai nó như một máy ảo gốc và dưới dạng một dạng đại số được tối ưu hóa. StarkWare phát triển các công cụ dành cho nhà phát triển bổ sung xung quanh ngôn ngữ lập trình Cairo, chẳng hạn như trình biên dịch từ các ngôn ngữ cấp cao hơn, trình gỡ lỗi, hỗ trợ IDE…
Chuỗi công cụ Cairo được phát triển bằng Python để có tính linh hoạt và khả năng đọc cao. Prover được tối ưu hóa cho hiệu suất bằng cách triển khai C ++ và một số lắp ráp cấp thấp. Trình xác minh được triển khai trong Solidity, cho phép các bằng chứng được xác minh trên chuỗi khối Ethereum.
StarkNet – Một ZK-Rollup phi tập trung – Trái tim của StarkWare
StarkNet là một ZK-Rollup phi tập trung, là một mạng L2 trên Ethereum. StarkNet giúp các dApp đạt được quy mô không giới hạn cho các tính toán của mình, trong khi vẫn tận dụng được tính bảo mật của Ethereum. Các nhà phát triển có thể viết các hợp đồng StarkNet và triển khai chúng trên mạng và người dùng có thể gửi các giao dịch tới các hợp đồng này (theo cách tương tự như cách thực hiện trên Ethereum).
Node StarkNet (được gọi là sequencer) được triển khai bằng Python. Môi trường thực thi giao dịch StarkNet, được gọi là StarkNet OS (tương tự như Máy ảo Ethereum), được triển khai ở Cairo. Điều này tối ưu hóa hiệu suất chứng minh của mỗi lần thực hiện giao dịch. Một hợp đồng Solidity được triển khai trên Ethereum kết nối mạng StarkNet (L2) với Ethereum (L1).
Các mốc quan trọng StarkNet
StarkEx – Dịch vụ được quản lý
StarkWare cung cấp các dịch vụ tùy chỉnh cho khách hàng cao cấp. Các dịch vụ như vậy thực hiện việc giao tiếp với sổ cái và hợp đồng thông minh ứng dụng (qua StarkNet hoặc Ethereum), để áp dụng logic ngoài chuỗi theo yêu cầu và hiển thị API dành riêng cho ứng dụng, cho phép khách hàng tập trung vào năng lực cốt lõi của họ.
Các dịch vụ ngoài chuỗi được triển khai bằng Python và thường triển khai kiến trúc dịch vụ vi mô. Hợp đồng thông minh ứng dụng được triển khai ở Cairo và được triển khai qua mạng StarkNet, công khai hoặc riêng tư. StarkEx đã có phiên bản 3.0
Cột mốc đạt được
Các tính năng của StarkEX 3.0
Lộ trình phát triển
StarkWare đang xây dựng StarkNet theo bốn bước:
- Bước 0 – Cơ sở (hoàn thành)
- Bước I – Planet: bản tổng hợp một ứng dụng
- Bước II – Constellations: bản tổng hợp nhiều ứng dụng
- Bước III – Universe: bản tổng hợp phân cấp
StarkWare dự kiến sẽ triển khai Bước I trong một vài tháng ngắn ngủi và sẽ tiến tới Bước II & III vào cuối năm 2021.
Bước 0 – Cơ sở
StarkWare đã hoàn thành việc đặt ra một số nền tảng quan trọng cho StarkNet như: Cairo, ngăn xếp phần mềm Stark, StarkEx.
Bước I – Planet: bản tổng hợp một ứng dụng
Bước này sẽ cho phép các nhà phát triển xây dựng và triển khai các ứng dụng có thể mở rộng của riêng họ trên StarkNet.
Bước II – Constellations: bản tổng hợp nhiều ứng dụng
Bước tiếp theo sẽ hỗ trợ nhiều ứng dụng chạy trên cùng một phiên bản StarkNet và truy cập vào cùng một trạng thái L2 chung. Điều này sẽ cho phép khả năng tương tác giữa các ứng dụng khác nhau, cũng như giảm chi phí khí đốt do tính kinh tế theo quy mô được cải thiện.
Bước III – Universe: bản tổng hợp phân cấp
Bước cuối cùng trong quá trình phát triển của StarkNet là phân cấp hoạt động của nó.
Đối thủ cạnh tranh
Đối thủ cạnh tranh của StarkWare là các nền tảng layer 1 như: Near, Sol, Avalanche, Polkadot… và các nền tảng layer 2 như: Polygon, Arbitrum…
Sự cạnh tranh trong phát triển nền tảng hạ tầng blockchain để mở rộng, bảo mật và riêng tư như Starkware là rất lớn.
Đối tác hiện tại
StarkWare có nhiều khác hàng và là đối tác lớn như: DYDX, Immutable, Sorare….
Tokenomics
Đang cập nhật…
Cộng đồng
Các kênh thông tin và cộng đồng hiện nay của Starkware:
Kết luận
Các giải pháp mở rộng quy mô của StarkWare sử dụng các bằng chứng hợp lệ dựa trên STARK để đảm bảo trải nghiệm người dùng an toàn, nhanh chóng và liền mạch với Ethereum. Chúng hỗ trợ một loạt các chế độ cung cấp dữ liệu. Các giải pháp của StarkWare cung cấp cùng một mức chi phí khí cận biên thấp cho mỗi giao dịch cho tất cả các ứng dụng, bất kể quy mô của chúng. Giờ đây, mọi người có thể giao dịch mua bán NFT trên Immutable với phí bằng 0, hay trade trên DYDX với một mức phí khá thấp. Có lẽ StarkWare làm mọi người tạm thời quên đi ông cụ già nua Ethererum và lạc quan vào nền tảng Layer 2 với công nghệ do StarkWare cung cấp.
Hy vọng bài viết này giúp các bạn hiểu về StarkWare và công nghệ Stark mà họ phát minh. GFS Blockchain sẽ liên tục cập nhật thông tin mới về thị trường, mọi người hãy theo dõi thường xuyên chuyên mục thông tin dự án tại website và đừng quên tham gia vào nhóm cộng đồng của GFS để thảo luận nhé.
