OP_CAT là gì và tại sao tôi lại quan tâm đến nó? Máy tính của Bitcoin giống như một chiếc máy tính khoa học cồng kềnh, kiểu mà bạn thường thấy ở trường trung học. Mỗi nút được gọi là "op_code." Và thỉnh thoảng, cộng đồng Bitcoin có thể đồng ý thêm một nút mới. OP_CAT là một trong những nút tiềm năng như vậy. Satoshi đã thêm nó, rồi lại xóa nó, vào thời điểm đó. Chức năng của OP_CAT khá đơn giản: nó kết hợp hai chuỗi ký tự lại với nhau, như "copy-paste", vì vậy nó là một nút khá đơn giản và an toàn. Nhưng nếu bạn thêm nó vào chiếc máy tính khoa học mang tên Bitcoin, đột nhiên bạn cho phép máy tính của Bitcoin xác minh ZK-STARKs và các hệ thống chứng minh khác. Nó mở ra con đường cho các rollup và quy mô lớn, theo cách tự quản mà vẫn giữ đúng nguyên tắc của Bitcoin và Satoshi. Tôi hoàn toàn chắc chắn rằng Satoshi không còn ở đây. Nếu có, ông/cô ấy đã có OP_CAT (và nhiều op_code khác) trên Bitcoin từ rất lâu rồi.

Yêu thích cuộc trò chuyện này của @peter_szilagyi, đặc biệt là câu này: "Những gì tôi nghĩ Ethereum nên làm là quay lại cho phép bất kỳ ai cũng có thể chạy nó (một nút) trên một chiếc máy nướng bánh mì." Đồng ý!!!

Chào buổi sáng thế giới. Podcast crypto nào là yêu thích của bạn? Hãy chia sẻ những gợi ý của bạn nhé 🔥

Các nguyên tắc cốt lõi rất quan trọng.

Điều tôi thích nhất khi làm Giám đốc điều hành của StarkWare là lắng nghe và được các thành viên trong đội, những người thông minh và hiểu biết hơn tôi, sửa chữa.

Thời gian kể chuyện -- Người chứng minh nhanh nhất ở miền Tây và cách mà điều đó xảy ra. Khi chúng tôi thành lập StarkWare vào năm 2018, chúng tôi đã đặt mục tiêu xây dựng người chứng minh STARK đầu tiên đạt tiêu chuẩn sản xuất. Vào thời điểm đó, yếu tố hạn chế là chi phí gas trên Ethereum. Việc xây dựng một người chứng minh sử dụng các số lớn (256-bit) là đơn giản và rẻ nhất. Điều này dẫn đến một người chứng minh STARK đơn giản mà chúng tôi biết có thể được cải thiện hiệu quả bằng cách giảm kích thước trường. Nhanh chóng đến năm 2023. Cả thế giới bây giờ đều tin rằng zkSTARKs là trò chơi cuối cùng, và nhiều đội bắt đầu xây dựng hệ thống sử dụng các trường nhỏ, dẫn đến những người chứng minh nhanh hơn. Vào mùa hè năm 2023, chúng tôi đã bắt đầu một dự án để chọn công nghệ chứng minh thế hệ tiếp theo. Chúng tôi đã khảo sát tất cả các công nghệ chứng minh hiện có -- SNARKs, các thứ dựa trên gập, GKR, và nhiều hơn nữa. Chúng tôi rất nhanh chóng nhận ra rằng yếu tố hiệu suất chi phối là kích thước của trường hữu hạn là điều quan trọng, và các số nguyên tố 32 bit là tốt nhất. Tại sao? (1) tất cả các kiến trúc phần cứng hiện đại đều được tối ưu hóa cho những điều đó, (2) tại sao là số nguyên tố (và không phải nhị phân?) vì các GPU không hỗ trợ nhân nhị phân tốt. Được rồi, vậy điều đó để lại cho chúng tôi các công nghệ chứng minh như GKR và STARK, trên các số nguyên tố 32b. Bây giờ chúng tôi phải đối mặt với một vấn đề. Trường tốt nhất cho tính toán nhanh là M31, nhưng nó thiếu cấu trúc nhóm để có STARK nhanh. May mắn thay, bộ ba xuất sắc -- Ulrich Habock (khi đó tại Polygon, bây giờ làm việc toàn thời gian tại StarkWare), David Levit, và Shahar Papini đã tìm ra cách sử dụng "nhóm vòng" trên M31 để có được giải pháp tối ưu. Nhóm mới bắt đầu triển khai toán học. Theo cách hiệu quả nhất mà chúng tôi có thể nghĩ ra, kiểm tra và xác thực hiệu quả, và cũng xây dựng nó theo cách đủ mô-đun để các đội khác có thể sử dụng. Đồng thời, cơ sở hạ tầng ràng buộc AIR đã được xây dựng lại từ đầu, dựa trên kinh nghiệm trước đó của chúng tôi, để dẫn đến một cái gì đó có độ tin cậy và hiệu quả. Và bây giờ, Stwo đang vào sản xuất trong Starknet, giảm chi phí và độ trễ. Các tiêu chuẩn mà chúng tôi đã thử nghiệm là ngoài sức tưởng tượng. Đồng thời, nhiều đội bên ngoài đang sử dụng nó để xây dựng cơ sở hạ tầng của họ. Tôi nghĩ rằng nó sẽ trở thành tiêu chuẩn vàng cho người chứng minh mã nguồn mở, và tất cả các bạn đều được mời sử dụng nó. HẾT.

Tại sao tôi lại lạc quan về Starknet? Công nghệ tốt nhất. Đúng là, TVL và khối lượng DeFi có thể tăng cao hơn. Nhưng tôi đang nghĩ đến dài hạn. Hệ sinh thái đang phát triển, chờ đợi một tia lửa khác, và tia lửa đó sẽ đến. Và khi nó đến, người dùng và nhà phát triển sẽ nhận ra rằng công nghệ tốt nhất có nghĩa là trải nghiệm người dùng tốt nhất, bảo mật tốt nhất, tính năng tốt nhất, và những điều đó sẽ không bị giảm đi khi hoạt động tăng lên. Tại sao đây là công nghệ tốt nhất? - Ngôn ngữ hợp đồng thông minh thế hệ tiếp theo và tốt nhất từ trước đến nay. Đúng vậy, Cairo tốt hơn nhiều so với Solidity hay Rust của Solana. - Tài khoản thông minh thế hệ tiếp theo (nhờ vào trừu tượng tài khoản gốc) -> trải nghiệm người dùng tốt hơn cho người dùng cuối, cùng với bảo mật tự quản lý hàng đầu. - Công suất tính toán lớn nhất trên chuỗi -> Các sàn giao dịch Perp, các nhà phát triển game, và các ứng dụng tính toán nặng khác có thể chạy logic phức tạp mà bạn sẽ không tìm thấy ở đâu khác trong blockchain. - Kết nối an toàn nhất với Bitcoin và Ethereum. - L2 duy nhất đang tích cực tiến tới phân quyền hoàn toàn, thực sự. - Độ dư thừa cao nhất khi nói đến các trình sắp xếp và người chứng thực. Công nghệ chứng thực an toàn nhất, nhanh nhất và vững chắc nhất hiện có. Vì vậy, tôi đang nghĩ đến dài hạn, và tôi rất lạc quan về Starknet. Và bạn cũng nên như vậy.

Starknet đang chuyển sang chế độ Grinta và tôi hơi ngạc nhiên (buồn?) khi không ai đưa nó lên một tầm cao mới với Margagrintas🍹🍹🍹

Cách tôi suýt có được một khối Tungsten từ @ercwl Tôi đã tuyên bố (và vẫn tuyên bố) rằng Chứng minh gian lận không hoạt động. Có nghĩa là, lời hứa rằng "bất kỳ ai cũng có thể khởi xướng một quy trình trọng tài" không thể giữ vững. Nhiều năm trước, Eric đã hỏi tôi trong bữa tối: "Bạn có muốn cược một khối Tungsten về điều này không?" Tôi đã nói "Có! Tôi cược với bạn rằng trong 3 năm tới, không có hệ thống nào dựa trên Chứng minh gian lận sẽ cung cấp sự phân quyền thực sự cho trình tự và người xác thực, và cho phép một khoản bảo đảm tranh chấp dưới 100 đô la, có sẵn cho người dùng trung bình." Lý do đơn giản mà các hệ thống dựa trên Chứng minh gian lận không thể cung cấp một khoản bảo đảm tranh chấp với mức giá đó là vì nó mở ra cánh cửa cho việc troll/DoS hệ thống. Chúng tôi chưa bao giờ chính thức ghi lại điều này, và tôi tin rằng đã có một khoảng thời gian dài trôi qua, nhưng tôi vẫn sẵn sàng thực hiện cược này hôm nay, với anh ấy hoặc với bất kỳ ai sẵn sàng thử thách.

Ý kiến: L2 nên được phi tập trung. *Phi tập trung quan trọng trên L2 cũng như trên L1.* Starknet đã công bố lộ trình phi tập trung của mình một thời gian trước, và họ đã thực hiện từng bước theo đó. Tôi không thấy bất kỳ đội L2 nào khác có kế hoạch hoặc công việc thực sự theo hướng đó.