lý lịch

lý lịch

Bắt đầu từ năm 2018, StarkWare đã đi tiên phong trong việc sử dụng bằng chứng hợp lệ của STARK để giải quyết vấn đề về khả năng mở rộng của Ethereum. Nó đã ra mắt StarkEx dựa trên mô hình kinh doanh SaaS, tạo ngôn ngữ lập trình Cairo và xây dựng Starknet, mạng phi tập trung đầu tiên trong sản xuất cho phép viết logic tùy chỉnh.

StarkWare cam kết tập trung kép bao gồm công nghệ, toán học, đổi mới và phân phối sản phẩm; hỗ trợ các nhóm khác phát triển Ethereum và/hoặc STARK; đồng thời cố gắng làm cho sản phẩm trở thành nguồn mở, phi tập trung và tập trung vào STARK như một sản phẩm công khai.

Trong tương lai, StarkWare sẽ làm việc để biến Starknet thành một bản tổng hợp hợp lệ phi tập trung không cần xin phép do Starknet Foundation quản lý và tập trung vào việc phi tập trung hóa các thành phần khác nhau của Starknet, chẳng hạn như Prover, Sequencer và quản trị.

Công nghệ của STARK dựa trên bằng chứng, cụ thể là bằng chứng về tính toàn vẹn. STARK sử dụng toán học để đảm bảo tính toàn vẹn, đảm bảo rằng các phép tính được thực hiện chính xác ngay cả khi không có ai theo dõi. Khái niệm về kỹ thuật này bắt đầu với một bài báo năm 1991 của Lszl Babai, Lance Fortnow, Leonid Levin và Mario Szegedy, đưa ra khái niệm sử dụng một máy tính đáng tin cậy duy nhất để giám sát một nhóm các siêu máy tính không đáng tin cậy. Được mệnh danh là "PCP", kỹ thuật này theo dõi toán học và đảm bảo tính toàn vẹn của các phép tính lớn.

tiêu đề cấp đầu tiên

Starkware:

tiêu đề phụ

đội ngũ phần mềm

Eli Ben-Sasson: Đồng sáng lập & Nhà khoa học trưởng, Giáo sư Khoa học Máy tính tại Viện Công nghệ Israel.

Nhà khoa học sáng lập Zcash, người phát minh ra zkSNARK.

Alessandro Chiesa: Đồng sáng lập & Nhà khoa học trưởng, Giáo sư Khoa học Máy tính tại UC Berkeley.

Nhà khoa học sáng lập Zcash, đồng phát minh ra zk-SNARK, nhà phát triển cốt lõi của libsnark.

Kolodny: Đồng sáng lập & Giám đốc điều hành, Uri là một doanh nhân nối tiếp với kinh nghiệm kinh doanh phong phú và khả năng hợp tác tốt.

tài chính

tài chính

tiêu đề cấp đầu tiên

StarkEx

Một công cụ mở rộng quy mô Lớp 2 dành riêng cho ứng dụng dựa trên chuỗi khối Ethereum, được thiết kế để giải quyết vấn đề về khả năng mở rộng của các mạng chuỗi khối Lớp 1 như Ethereum. StarkEx cho phép giao dịch nhanh, chi phí thấp mà không ảnh hưởng đến bảo mật, quyền riêng tư và quyền tự giám sát bằng cách sử dụng hệ thống mật mã tiên tiến có tên là bằng chứng STARK.

Nó cung cấp một loạt các quy trình ứng dụng cho điện toán ngoài chuỗi giá rẻ, đóng gói nhiều giao dịch trong một bằng chứng STARK, sau đó xác minh chúng trên chuỗi, giảm chi phí gas trung bình cho mỗi giao dịch. Nguyên tắc hoạt động của công cụ mở rộng StarkEx bao gồm bốn bước: xử lý hàng loạt, xác minh và cập nhật, tạo bằng chứng và xác minh chuỗi.

StarkEx đã được triển khai thành công trong nhiều ứng dụng như dYdX, Immutable, Sorare, DeversiFi và Celer.

Sự khác biệt so với StarkNet là:

StarkEx và StarkNet là hai công nghệ khác nhau được phát triển bởi StarkWare, cả hai đều sử dụng công nghệ bằng chứng không kiến ​​thức của STARK, nhưng có các mục tiêu và cách sử dụng khác nhau.

1. StarkEx: StarkEx là một công cụ mở rộng quy mô Lớp 2 dành riêng cho ứng dụng, tập trung vào việc tối ưu hóa hiệu suất của một ứng dụng duy nhất trên chuỗi khối Ethereum. Nó cho phép các giao dịch nhanh hơn, chi phí thấp hơn bằng cách gộp nhiều giao dịch và xác thực chúng ngoài chuỗi. Nó chủ yếu được sử dụng cho các sàn giao dịch phi tập trung (DEX), thị trường NFT và trò chơi, v.v.

2. Bằng cách sử dụng công nghệ chứng minh STARK, StarkEx cung cấp trải nghiệm giao dịch an toàn, hiệu quả và chi phí thấp. StarkNet là một giải pháp Lớp 2 tổng quát và đầy đủ hơn mà không cần sự cho phép, cung cấp một nền tảng điện toán phi tập trung cho toàn bộ hệ sinh thái Ethereum, nơi các nhà phát triển có thể triển khai các hợp đồng thông minh được viết bằng ngôn ngữ Cairo.

StarkNet hỗ trợ tương tác với các hợp đồng khác, cho phép thành phần giao thức phong phú và có thể tương tác với các hợp đồng Ethereum thông qua nhắn tin không đồng bộ. Mục tiêu là cung cấp một môi trường có thể mở rộng, chi phí thấp và an toàn để các nhà phát triển có thể xây dựng và triển khai các hợp đồng thông minh. Không giống như StarkEx, StarkNet có thể được coi là một hệ điều hành Lớp 2 toàn diện cho phép các nhà phát triển tạo ra các ứng dụng phi tập trung khác nhau, không chỉ là các giải pháp dành cho mục đích cụ thể.

tiêu đề cấp đầu tiên

Starknet

Starknet là một mạng gấp tính hợp lệ phi tập trung không được phép (còn được gọi là "ZK-Rollup"). Nó hoạt động như một mạng L2 trên Ethereum, cho phép bất kỳ ứng dụng dApp nào mở rộng quy mô điện toán vô hạn mà không ảnh hưởng đến khả năng kết hợp và bảo mật của Ethereum, nhờ vào sự tin cậy của Starknet vào hệ thống bằng chứng mật mã an toàn và có thể mở rộng nhất STARK.

Hợp đồng Starknet và hệ điều hành Starknet được viết bằng Cairo - cho phép triển khai và mở rộng quy mô của mọi trường hợp sử dụng, bất kể logic kinh doanh. Starknet là một giải pháp mạng lớp 2 phi tập trung được thiết kế để cung cấp khả năng mở rộng và hiệu suất cao hơn cho các ứng dụng phi tập trung (dApps). Bằng cách chạy trên Ethereum, nó có thể tận dụng cơ sở hạ tầng và bảo mật hiện có đồng thời cung cấp sức mạnh tính toán cao hơn.

Cairo là ngôn ngữ lập trình được thiết kế dành riêng cho Starknet, nhằm mục đích đơn giản hóa việc phát triển và triển khai các hợp đồng thông minh. Bằng cách sử dụng Cairo, các nhà phát triển có thể dễ dàng xây dựng các ứng dụng có khả năng mở rộng cao cho nhiều trường hợp sử dụng khác nhau, bao gồm tài chính, trò chơi, chuỗi cung ứng, v.v.

Starknet là một bản tổng hợp hợp lệ, có nghĩa là việc thực thi trong mỗi khối cần phải được chứng minh và đây là lúc STARK trở nên hữu ích. hợp đồng. Để khắc phục khoảng cách này, Cairo đã được phát triển.

tiêu đề cấp đầu tiên

cập nhật phiên bản mới

Cái gì tiếp theo? Starknet Alpha v 0.11.0: Bắt đầu quá trình chuyển đổi sang Cairo 1.0

- Cải thiện ngôn ngữ hơn nữa so với Cairo 1.0

- Cải thiện hiệu suất: Như đã hứa, Starknet tiếp tục hướng tới cải thiện đáng kể TPS. Bước tiếp theo trong lộ trình là chuyển đổi sang trình sắp xếp Rust, được phát triển mở theo giấy phép Apache 2.0. Trình sắp xếp thứ tự mới sẽ sử dụng các nút đầy đủ Rust CairoVM và Papyrus để tạo thành Bộ ba hiệu suất.

- DA ngoài chuỗi

Trong phiên bản này, Starknet xử lý phần tính toán chi phí giao dịch. Trong một bản phát hành sắp tới, chi phí dữ liệu trên chuỗi, là chi phí chính của một giao dịch trung bình hiện nay, sẽ được giải quyết.

Dưới đây là mô tả thêm về trình sắp xếp chuỗi của Starknet:

Sequencer đề cập đến StarkNet Sequencer, là một phần của StarkNet nhằm mục đích tăng đáng kể thông lượng (số lượng giao dịch mỗi giây) bằng cách chuyển sang trình sắp xếp thứ tự Rust, sử dụng các nút đầy đủ Rust CairoVM và Papyrus, do đó tạo thành một "bộ ba hiệu suất" .

"Bộ ba hiệu suất" đề cập đến ba thành phần của StarkNet Sequencer: Rust sequencer, Rust CairoVM và các nút đầy đủ Papyrus. Trong số đó, bộ sắp xếp Rust là cốt lõi của StarkNet Sequencer, chịu trách nhiệm xử lý các giao dịch và tạo khối. Rust CairoVM là một máy ảo có thể chạy các hợp đồng thông minh trên StarkNet. Nút đầy đủ giấy cói là một nút trong mạng StarkNet, nơi lưu trữ tất cả dữ liệu trên StarkNet và có thể xử lý các giao dịch. Ba phần này hoạt động cùng nhau để tăng đáng kể thông lượng (giao dịch mỗi giây) của StarkNet.

Starknet v 0.11.0 (hiện chỉ có trên Goerli testnet)

Khi giai đoạn Goerli beta kết thúc, Starknet v 0.11.0 sẽ được phát hành trên mạng chính.

Starknet v 0.10.3 (22/12, 12/12)

Hiệu suất - tính toán cam kết trạng thái riêng biệt khỏi thực thi giao dịch Thêm lệnh starknet-class-hash để tính toán hàm băm lớp cho các hợp đồng Starknet đã biên dịch

Starknet v 0.10.2 (29/11/22)

Bản phát hành này giới thiệu song song hóa trình tự! Một điểm cuối ước tính_fee_bulk mới đã được thêm vào cổng trung chuyển. Điều này sẽ cho phép ước tính phí của một số giao dịch cùng một lúc, trong đó mỗi giao dịch được thực hiện liên quan đến trạng thái kết quả của giao dịch trước đó được áp dụng.

Starknet v 0.10.1 (25 tháng 10 22)

Thêm giao dịch DeployAccount (nó sẽ thay thế giao dịch Deploy thành hợp đồng tài khoản triển khai). Để sử dụng nó, trước tiên bạn phải thêm đủ tiền vào địa chỉ tài khoản của mình để trang trải phí giao dịch, sau đó bạn có thể gọi DeployAccount Chia lệnh starknet deploy_accountCLI thành starknet new_account và starknet Deploy_account Hợp đồng tài khoản được triển khai theo cách này sẽ triển khai điểm nhập validate_deployDeployAccount(), điều này sẽ kiểm tra chữ ký của giao dịch Tính phí L1 được cải thiện: Tính phí dựa trên sự khác biệt của API trạng thái được lưu trữ: entry_point_type Xóa trường khỏi thông tin giao dịch

Starknet v 0.10.0 (5 ngày 22 tháng 9)

Bản phát hành này giới thiệu bước tiếp theo trong thiết kế tóm tắt tài khoản Starknet, cụ thể là phân tách xác minh/thực thi.

Starknet v 0.9.1 (20 ngày 22 tháng 7)

API thay đổi Starnet CLI

Starknet v 0.9.0 (6.06.22)

tiêu đề cấp đầu tiên

Giới thiệu về tài khoản

Cấu trúc tài khoản Ethereum

Trong Ethereum, tài khoản người dùng cá nhân được gọi là Tài khoản thuộc sở hữu bên ngoài (EOA).

EOA khác với hợp đồng thông minh vì chúng không được kiểm soát bằng mã. EOA được xác định bởi một cặp khóa riêng và khóa chung.

Địa chỉ của tài khoản được lấy từ các khóa này và chỉ người sở hữu khóa riêng tư mới có thể bắt đầu giao dịch từ tài khoản. Mặc dù các hợp đồng Ethereum là "thụ động", tức là chúng chỉ có thể thay đổi khi được gọi trong một giao dịch, EOA có thể bắt đầu giao dịch.

Mặc dù đơn giản nhưng EOA có một nhược điểm lớn là không có tính linh hoạt trong hành vi của tài khoản, giao thức Ethereum quy định thời điểm giao dịch do EOA khởi xướng là hợp lệ (sơ đồ chữ ký đã được sửa). Đặc biệt, quyền kiểm soát khóa công khai cho phép kiểm soát hoàn toàn tài khoản. Mặc dù về lý thuyết, đây là một phương pháp quản lý tài khoản an toàn, nhưng trên thực tế, nó có một số nhược điểm như yêu cầu bạn giữ an toàn cho cụm từ hạt giống trong khi bạn có thể truy cập cụm từ đó và hạn chế tính linh hoạt trong chức năng ví .

EIP-4337 là một đề xuất thiết kế cho Ethereum, phác thảo khái niệm tài khoản trừu tượng quản lý tất cả các tài khoản thông qua các hợp đồng thông minh chuyên dụng trên mạng Ethereum để cải thiện tính linh hoạt và khả năng sử dụng. Bạn có thể thêm logic tùy chỉnh vào đầu chức năng EOA cơ bản, mang lại sự trừu tượng hóa tài khoản cho Ethereum.

Tóm tắt tài khoản là gì?

Ý tưởng đằng sau việc trừu tượng hóa tài khoản là cho phép linh hoạt hơn trong việc quản lý tài khoản, thay vì để hành vi của chúng được xác định ở cấp độ giao thức. Điều này có thể đạt được bằng cách giới thiệu hợp đồng tài khoản - hợp đồng thông minh với logic có thể lập trình để xác định hành vi tài khoản của người dùng.

Bằng cách sử dụng tóm tắt tài khoản, giờ đây bạn có thể lập trình chức năng tài khoản của mình.

Ví dụ: bạn có thể:

Xác định ý nghĩa của chữ ký hợp lệ hoặc hợp đồng nào mà tài khoản của bạn được phép tương tác. Điều này được gọi là "trừu tượng hóa chữ ký" để thanh toán phí giao dịch bằng các mã thông báo khác nhau - điều này đôi khi được gọi là "trừu tượng hóa phí" để thiết kế cơ chế bảo vệ phát lại của riêng bạn và cho phép nhiều giao dịch không liên quan được gửi song song. So sánh điều này với giải pháp nonce tuần tự được sử dụng trong Ethereum, khiến các giao dịch có tính chất tuần tự và ngay cả khi bạn muốn gửi hai giao dịch song song, bạn phải đợi một số xác nhận về giao dịch đầu tiên trước khi gửi Hai giao dịch thứ hai. Nếu không, giao dịch thứ hai có thể bị từ chối do nonce không hợp lệ. Sử dụng trừu tượng hóa tài khoản, có thể thảo luận các giải pháp khác nhau để tránh yêu cầu nonce tuần tự. Điều này được gọi là "trừu tượng nonce".

Ngày nay, Starknet cung cấp tính năng trừu tượng hóa chữ ký. Trong tương lai, Starknet sẽ làm phong phú thêm thiết kế trừu tượng hóa tài khoản hiện tại.

Hai ví dụ về chức năng tài khoản tùy chỉnh sử dụng trừu tượng hóa tài khoản

Khôi phục trên mạng xã hội là một quá trình mà khi bạn mất ví, nó có thể được lấy lại thông qua mạng xã hội mà bạn chọn, giúp cải thiện đáng kể trải nghiệm khôi phục ví điển hình. Thao tác với tài khoản của bạn thông qua nhận dạng khuôn mặt Với ​​tính năng trừu tượng hóa chữ ký, bạn có thể sử dụng phần cứng gốc của điện thoại để ký các giao dịch, khiến việc chiếm đoạt tài khoản của người dùng khác hầu như không thể xảy ra (ngay cả khi chính điện thoại bị đánh cắp).

Những ví dụ này cho thấy cách trừu tượng hóa tài khoản có thể được tận dụng để cung cấp cho người dùng trải nghiệm quản lý tài khoản và ví linh hoạt, an toàn và tùy chỉnh cao hơn. Bằng cách viết logic tùy chỉnh, người dùng có thể tùy chỉnh chức năng tài khoản theo nhu cầu và sở thích của họ, cải thiện tính dễ sử dụng đồng thời tăng tính bảo mật.

Hợp đồng tài khoản Starknet phải bao gồm hai chức năng sau

validate

execute

Các chức năng này có các mục đích khác nhau để đảm bảo rằng chỉ chủ sở hữu tài khoản mới có thể bắt đầu giao dịch và có thể tính phí bạn cho các tài nguyên được sử dụng.

Loại tài khoản của Starknet được lấy cảm hứng từ EIP-4337 của Ethereum, trong đó thay vì EOA (tài khoản thuộc sở hữu bên ngoài), giờ đây bạn sử dụng tài khoản hợp đồng thông minh với logic xác minh tùy ý.

Bằng cách sử dụng các hợp đồng thông minh, tính linh hoạt hoàn toàn đạt được trong việc triển khai tài khoản.

tiêu đề phụ

Kinh tế mã thông báo:

Vai trò của token

Phí giao dịch:

Hiện tại, phí trong StarkNet được thanh toán bằng Ether (ETH). Nhưng vào một ngày sau đó, chúng tôi hy vọng các khoản phí sẽ được thanh toán hoàn toàn bằng mã thông báo StarkNet gốc. Để hỗ trợ trải nghiệm người dùng tốt, cơ chế trên chuỗi tự động và phi tập trung sẽ cho phép người dùng thanh toán phí bằng ETH.

Lời hứa:

Một số dịch vụ quan trọng đối với sự sống động và bảo mật của StarkNet có thể yêu cầu đặt cược mã thông báo StarkNet. Các dịch vụ này có thể bao gồm đặt hàng, đồng thuận L2 tạm thời cho đến khi đạt được kết quả cuối cùng của L1, dịch vụ bằng chứng STARK và cung cấp tính khả dụng của dữ liệu.

Quản trị:

Các đề xuất để cải thiện StarkNet sẽ yêu cầu ngưỡng hỗ trợ mã thông báo tối thiểu, được xác định sau. Tất cả các thay đổi đối với giao thức quan trọng đối với sự sống động, bảo mật và bảo trì của StarkNet đều yêu cầu biểu quyết, trực tiếp hoặc thông qua ủy quyền. Ví dụ: tất cả các bản cập nhật lớn cho hệ điều hành StarkNet đều cần có sự chấp thuận của chủ sở hữu mã thông báo.

Tổng số tiền: 10 tỷ, phân bổ mã thông báo ban đầu: kinh tế mã thông báo

17% — Nhà đầu tư của StarkWare

32,9% — Những người đóng góp cốt lõi: StarkWare cùng các nhân viên và chuyên gia tư vấn của công ty cũng như các đối tác phát triển phần mềm của StarkNet

StarkWare tài trợ 50,1% cho Tổ chức cho các mục đích sau:

9% — Quà tặng cộng đồng: Được sử dụng để thưởng cho những người làm việc trên StarkNet và hỗ trợ công nghệ cơ bản của nó, chẳng hạn như những người đã sử dụng hệ thống StarkEx L2 trong quá khứ. Điều quan trọng là tất cả các nguồn cấp dữ liệu của cộng đồng sẽ dựa trên công việc có thể kiểm chứng đã được thực hiện trong quá khứ. Ví dụ: đối với những người dùng StarkEx trước đây, việc phân bổ sẽ dựa trên việc sử dụng công nghệ StarkEx có thể kiểm chứng trước ngày 1 tháng 6 năm 2022.

9% — Chiết khấu cộng đồng: Một phần được sử dụng để trang trải chi phí chuyển từ Ethereum sang StarkNet. Để ngăn chặn trò chơi hóa, giảm giá cộng đồng chỉ có sẵn cho các giao dịch xảy ra sau khi cơ chế giảm giá được công bố.

12% — Tài trợ cho nghiên cứu và phát triển, thử nghiệm, triển khai và bảo trì giao thức StarkNet.

10% — Dự trữ chiến lược để tài trợ cho các hoạt động của hệ sinh thái phù hợp với sứ mệnh của Quỹ.

2% — được tặng cho các cơ quan và tổ chức có uy tín cao như trường đại học, tổ chức phi chính phủ, v.v., được xác định bởi những người nắm giữ mã thông báo StarkNet và Quỹ.

8,1% — Chưa phân bổ: Dự trữ tài chính chưa phân bổ của quỹ sẽ được sử dụng để hỗ trợ thêm cho cộng đồng StarkNet và phương thức hỗ trợ cụ thể do cộng đồng quyết định.

Để điều chỉnh các ưu đãi dài hạn của những người đóng góp và nhà đầu tư cốt lõi với lợi ích của cộng đồng StarkNet và theo thông lệ của hệ sinh thái phi tập trung, tất cả các mã thông báo được phân bổ cho những người đóng góp và nhà đầu tư cốt lõi sẽ phải chịu thời hạn khóa 4 năm. , với bản phát hành Tuyến tính và vách đá một năm.

Nếu bạn là người dùng cuối, chỉ sử dụng StarkNet nếu nó đáp ứng nhu cầu hiện tại của bạn. Sử dụng nó cho các giao dịch và ứng dụng quan trọng với bạn, thay vì mong đợi phần thưởng trong tương lai dưới dạng mã thông báo StarkNet. Khi nguồn cấp dữ liệu cộng đồng được công bố, chúng sẽ chỉ liên quan đến các ảnh chụp nhanh xảy ra trước ngày thông báo và dựa trên thông tin có sẵn tại thời điểm đó, việc sử dụng bị coi là lạm dụng và thao túng mạng sẽ bị lọc và loại trừ. Khi các khoản giảm giá của cộng đồng được thiết lập, chúng sẽ không bao giờ áp dụng cho các giao dịch xảy ra trước khi khoản giảm giá được công bố, vì vậy sẽ vô ích khi kỳ vọng các khoản giảm giá trong tương lai sẽ được giao dịch ngay hôm nay.

Dựa trên phân tích tóm tắt về kinh tế mã thông báo ở trên:

9% nguồn cung đầu tiên của cộng đồng có thể được phân phối trực tuyến cho người dùng, điều đó có nghĩa là người dùng sẽ được chia cho 450 triệu người làm việc cho Starknet và cung cấp hỗ trợ và phát triển kỹ thuật.

Khoản giảm giá cộng đồng 9% thứ hai được sử dụng để trợ cấp phí xử lý sau khi công bố các quy tắc giảm giá tiếp theo.Việc trả phí xử lý trước khi công bố các quy tắc là vô ích.

Dự trữ chiến lược 10% thứ ba được sử dụng cho các ứng dụng sinh thái trên chuỗi và được phân bổ cho các giao thức ứng dụng sinh thái.

tóm tắt:

tóm tắt:

StarkWare là một trong những công ty tốt nhất trong danh sách tổng hợp zk và các sản phẩm của công ty bao gồm StarkEX và StarkNet.

StarkEx là một công cụ mở rộng Lớp 2 cung cấp các dịch vụ kỹ thuật cho dApps.

StarkNet là một giải pháp Lớp 2 tổng quát và đầy đủ hơn, không yêu cầu quyền.

Có hơn 80 thành viên trong nhóm và các thành viên cốt lõi khá bắt mắt. Eli Ben-Sasson là nhà khoa học sáng lập Zcash và là người phát minh ra zkSNARK. Ông có nghiên cứu rất sâu và có ảnh hưởng trong lĩnh vực ZK-Rollup, và định giá hiện tại đã lên tới 8 tỷ. Các VC và cá nhân hàng đầu như Paradigm, Pantera, polychain và Vitalik là vốn của StarkWare.

Về ứng dụng sinh thái, do ngôn ngữ Cairo được sử dụng không tương thích với EVM nên tiến độ phát triển sinh thái sẽ tương đối chậm, hiện tại đang bắt đầu chuyển đổi sang Cairo 1.0 và phát triển theo hướng TPS cao hơn. Vì vậy, trải nghiệm ứng dụng hiện tại không được mượt mà lắm, giữa công nghệ và thực tế vẫn còn một khoảng cách, tôi hy vọng trong tương lai sẽ thấy sự phát triển tốt hơn của Starknet.