Điều gì sẽ xảy ra nếu chi phí chứng minh có thể được biến thành một thị trường mở? Đó là tầm nhìn đằng sau Boundless, được trình bày bởi @hashcashier (Kỹ sư cao cấp tại @RiscZero & @boundless_xyz) trong phiên họp SBC @WPReadingClub này. Thay vì các nhà phát triển tự vận hành cơ sở hạ tầng chứng minh của riêng họ, Boundless tạo ra một thị trường không cần phép cho các chứng minh - nơi bất kỳ ai cũng có thể yêu cầu một chứng minh, đặt giá mà họ sẵn sàng trả, và các nhà chứng minh cạnh tranh để thực hiện nó. Thiết kế giới thiệu một mô hình đấu giá Hà Lan ngược để cân bằng giá cả và tính khả thi: những người yêu cầu chỉ định thời gian hết hạn và mức giá tối thiểu, trong khi các nhà chứng minh đặt cọc tài sản đảm bảo và bị phạt nếu họ không giao hàng. Các động lực được củng cố thông qua token ZKC, mà subsidizes chi phí thông qua cơ chế “chứng minh công việc có thể xác minh” - thưởng cho các nhà chứng minh không chỉ vì sản xuất đầu ra hợp lệ, mà còn vì đã tiêu tốn chu kỳ tính toán một cách có thể chứng minh. Các chủ đề chính trong phiên họp: • Tại sao các mạng lưới chứng minh phi tập trung quan trọng cho việc mở rộng các ứng dụng zk vượt ra ngoài các thiết lập một nhà điều hành. • Cách Boundless tránh được những cạm bẫy của việc ra mắt một L1 hoặc L2 khác bằng cách sống như một tập hợp các hợp đồng có thể triển khai ở bất kỳ đâu. • Nhu cầu thực tế: từ việc cung cấp năng lượng cho các rollup, đến cầu nối không cần tin cậy với @wormhole, đến tính toán có thể xác minh cấp doanh nghiệp. • Các thỏa hiệp về bảo mật, bao gồm nhu cầu về tính dư thừa (các thiết lập đa nhà chứng minh) và xác minh chính thức khi zkVMs vào sử dụng sản xuất. Boundless định hình lại việc chứng minh không phải là cơ sở hạ tầng bạn vận hành, mà là một thị trường bạn kết nối vào - nơi các chứng minh trở thành hàng hóa, được định giá, cung cấp và bảo đảm thông qua cạnh tranh mở. Tóm tắt: Giấy: Cũng có sẵn trên YouTube: