Beta mainnet trông rất tốt ở đây. - Cạnh tranh giữa các prover cực kỳ cao - Việc chứng minh thực sự là miễn phí trên Boundless - Tất cả các prover đều là bên thứ ba (Đội ngũ Boundless không thực hiện bất kỳ việc chứng minh nào, hoàn toàn phi tập trung) Boundless là hợp pháp.

tôi đã có ý tưởng viết điều này khi đang xem buổi nói chuyện Jigsaw tại SBC () mà có cách tiếp cận dựa trên coSNARK cho các hợp đồng thông minh riêng tư.

Cách xây dựng hợp đồng thông minh riêng tư qua: - zkSNARK: Trạng thái là cam kết, một người chứng minh duy nhất tính toán trên văn bản rõ và đăng một zkSNARK, không có giải mã toàn cầu hoặc kiểm soát truy cập. - coSNARK: Trạng thái là cam kết, tính toán diễn ra ngoài chuỗi qua MPC nên không có máy chủ nào thấy toàn bộ nhân chứng, vẫn không có giải mã toàn cầu hoặc kiểm soát truy cập. - TEE: Trạng thái là văn bản mã hóa bên ngoài và văn bản rõ bên trong vùng bảo vệ, tính toán và chính sách giải mã được thực hiện bên trong một vùng bảo vệ được xác thực từ xa, dựa vào tính toàn vẹn phần cứng/xác thực. - FHE: Trạng thái là văn bản mã hóa dưới một khóa FHE chung, bất kỳ ai cũng có thể đánh giá đồng nhất với xác minh trên chuỗi, giải mã được kiểm soát bởi một ủy ban ngưỡng (rủi ro thông đồng). - iO: Trạng thái là văn bản mã hóa và tính toán là đồng nhất, một bộ giải mã công khai bị che giấu thực thi chính sách giải mã mà không cần một người nắm giữ khóa trực tiếp (không có rủi ro thông đồng).

Thật tuyệt vời khi thấy nhiều L2 lớn hiện đã ở giai đoạn 1. Mục tiêu tiếp theo mà tôi nghĩ chúng ta nên hướng tới là, theo quan điểm của tôi, thời gian rút tiền nhanh (<1h), được kích hoạt bởi các hệ thống chứng minh tính hợp lệ (còn gọi là ZK). Tôi coi điều này còn quan trọng hơn cả giai đoạn 2. Thời gian rút tiền nhanh là quan trọng vì việc chờ đợi một tuần để rút tiền là quá lâu đối với mọi người, và ngay cả đối với việc cầu nối dựa trên ý định (ví dụ: ERC-7683), chi phí vốn trở nên quá cao nếu nhà cung cấp thanh khoản phải chờ một tuần. Điều này tạo ra động lực lớn để thay vào đó sử dụng các giải pháp có giả định tin cậy không thể chấp nhận (ví dụ: multisigs/MPC) làm suy yếu toàn bộ mục đích của việc có L2 thay vì các L1 hoàn toàn độc lập. Nếu chúng ta có thể giảm thời gian rút tiền gốc xuống dưới 1h trong ngắn hạn, và 12s trong trung hạn, thì chúng ta có thể củng cố thêm Ethereum L1 như là nơi phát hành tài sản mặc định, và là trung tâm kinh tế của hệ sinh thái Ethereum. Để làm được điều này, chúng ta cần từ bỏ các hệ thống chứng minh lạc quan, vốn yêu cầu phải chờ đợi nhiều ngày để rút tiền. Lịch sử cho thấy, công nghệ chứng minh ZK đã chưa trưởng thành và tốn kém, điều này khiến các chứng minh lạc quan trở thành lựa chọn thông minh và an toàn. Nhưng gần đây, điều này đang thay đổi nhanh chóng. là một nơi tuyệt vời để theo dõi tiến trình của các chứng minh ZK-EVM, đã cải thiện nhanh chóng. Việc xác minh chính thức trên các chứng minh ZK cũng đang tiến bộ. Đầu năm nay, tôi đã đề xuất một chiến lược hệ thống chứng minh 2 trong 3 ZK + OP + TEE, điều này cân bằng giữa an ninh, tốc độ và độ trưởng thành: * 2 trong 3 hệ thống (ZK, OP) là không tin cậy, vì vậy không có một tác nhân nào (bao gồm cả nhà sản xuất TEE hoặc kẻ tấn công kênh bên) có thể phá vỡ hệ thống chứng minh bằng cách vi phạm một giả định tin cậy * 2 trong 3 hệ thống (ZK, TEE) là ngay lập tức, vì vậy bạn có thể rút tiền nhanh trong trường hợp bình thường * 2 trong 3 hệ thống (TEE, OP) đã được sản xuất trong nhiều bối cảnh trong nhiều năm Đây là một cách tiếp cận; có thể mọi người sẽ chọn làm ZK + ZK + OP tiebreak, hoặc ZK + ZK + hội đồng an ninh tiebreak. Tôi không có ý kiến mạnh mẽ ở đây, tôi quan tâm đến mục tiêu cơ bản, đó là phải nhanh (trong trường hợp bình thường) và an toàn. Với các hệ thống chứng minh như vậy, nút thắt duy nhất còn lại để giải quyết nhanh chóng trở thành chi phí gas của việc gửi chứng minh lên chuỗi. Đây là lý do tại sao trong ngắn hạn tôi nói một lần mỗi giờ: nếu bạn cố gắng gửi một chứng minh ZK 500k+ gas (hoặc một STARK 5m gas) thường xuyên hơn, nó sẽ thêm một chi phí cao. Trong dài hạn, chúng ta có thể giải quyết điều này bằng cách tổng hợp: N chứng minh từ N rollup (cộng với tx từ người dùng giao thức riêng tư) có thể được thay thế bằng một chứng minh duy nhất chứng minh tính hợp lệ của N chứng minh. Điều này trở nên kinh tế để gửi một lần mỗi slot, cho phép kết thúc: di chuyển tài sản giữa các L2 gần như ngay lập tức thông qua L1. Hãy cùng nhau làm cho điều này xảy ra.

đi tìm các cô gái @chippedsocial 💕

Sắp xếp phi tập trung là một giải pháp cho việc chống kiểm duyệt và giảm thiểu sự tin cậy. Nó không nhất thiết phải có thời gian hoạt động tốt hơn. Rollups có thể duy trì thời gian hoạt động cực kỳ cao vì chúng có cơ sở hạ tầng tập trung. Sắp xếp phi tập trung (giữa các bên không đáng tin cậy) luôn tiềm ẩn rủi ro về sự cố của bộ sắp xếp. Trong khi mạng có thể phục hồi từ những sự cố này nhanh hơn (<33 phút so với @base hôm qua) thì khả năng xảy ra sự cố lại cao hơn. Có nhiều lợi ích từ việc sắp xếp phi tập trung, nhưng nó không phải là giải pháp hoàn hảo cho tất cả các vấn đề của chúng ta.

nếu bạn đang xây dựng với EigenCloud, bạn vẫn còn sớm 🫡

Cua Rust trước Depot: ☠️ Sau khi kết nối vào Depot Cache + những người chạy nhanh hơn: 🦀💨 Hướng dẫn đầy đủ trong 🧵

Vào năm 2023, Arbitrum là một chuỗi FIFO và không có thứ tự gas ưu tiên Với bộ sắp xếp tập trung của nó, Arbitrum không khác gì một sàn giao dịch tập trung.

Cách tôi suýt nữa đã hạ gục Arbitrum - và cách nó đã làm tôi trở nên cực đoan 🧵