.@alicelingl thách thức @FormallyJon: Các nhà phát triển trong tương lai sẽ dựa vào zkVM hay tự viết các mạch ZK bằng tay? Khám phá những sắc thái trong podcast @HouseofZK.

Thông báo về Hội nghị ZK/AI trong tuần @token2049, được đồng tổ chức bởi @HouseofZK & @googlecloud. Sự kiện độc quyền một ngày này sẽ khám phá ranh giới của các chứng minh không biết và trí tuệ nhân tạo, cũng như điểm hội tụ giữa chúng: AI có thể xác minh. 🗓️ Ngày 29 tháng 9, từ 11 giờ sáng đến 5 giờ chiều 📍 Caldwell House, Singapore Đăng ký tham dự, phát biểu hoặc tài trợ tại

Thật lòng mà nói, những buổi đọc tài liệu white paper này là một trong những điều tuyệt vời nhất mà tôi từng làm tại một hội nghị.

Chạy ứng dụng của bạn giống như cách bạn chạy các ứng dụng web2 của mình Đi Chainless 🚀

Điều gì sẽ xảy ra nếu dApps không cần phải sống trong một blockchain? Đó là ý tưởng được khám phá bởi @BrianSeong99 (@0xPolygon) và @paulgebheim (@SeiNetwork) trong phiên họp SBC @WPReadingClub về Chainless - một khung để xây dựng các ứng dụng có thể xác minh chạy với tốc độ của Web2 trong khi gắn kết niềm tin của chúng vào Web3. Thay vì ép buộc tính toán vào Solidity hoặc một zkVM, Chainless cho phép các ứng dụng chạy ngoài chuỗi trong bất kỳ môi trường nào, trong khi gửi các bằng chứng trên chuỗi để thanh toán và tương tác. Cuộc thảo luận xem xét lý do tại sao trải nghiệm của nhà phát triển hiện tại bị hạn chế, cách mà các ứng dụng có thể xác minh có thể mở khóa các loại hình mới như động cơ giao dịch hoặc các ứng dụng mặc định riêng tư, và những đánh đổi nào đi kèm với việc tách biệt thực thi khỏi thanh toán. Brian và Paul cũng đi sâu vào những thách thức thực tiễn: chi phí bằng chứng, khả năng tái sản xuất, và những tín hiệu nhu cầu nào có thể cuối cùng thúc đẩy việc áp dụng. Tóm tắt: Tài liệu: Cũng có sẵn trên YouTube:

Bitcoin L2s - ý kiến chuyên gia từ @michaelterpin, Người sáng lập @TransformVC21, @BitAngels, và cố vấn cho @GOATRollup: • Tại sao L2s: Thêm khả năng lập trình và thông lượng mà không thay đổi Bitcoin L1. Ví dụ: hệ thống dựa trên BitVM2, rollups. • Mô hình bảo mật: Ưu tiên các thiết kế thanh toán trên chuỗi; tránh cầu nối quản lý. Tính hợp lệ của L2 nên gắn với Bitcoin. • Trường hợp sử dụng: Cầu nối giảm thiểu niềm tin, stablecoin được hỗ trợ bởi BTC, đường ray DeFi, dòng thanh toán mới. • Tác động vĩ mô: Tăng cường sự thống trị của BTC; bổ sung cho luận điểm lưu trữ giá trị thay vì thay thế nó. • Đường đi của việc áp dụng: Đổi mới thường xuất hiện trên các chuỗi khác trước; nếu nó sẽ mở rộng, nó sẽ được chuyển sang Bitcoin qua L2s. • Quan điểm chu kỳ: Bitcoin L2s là một câu chuyện chính trong chu kỳ này, nhưng không phải là động lực duy nhất của giá. Nghe cuộc thảo luận đầy đủ với Michael - những hiểu biết về BitVM2, thanh toán trên chuỗi, và nơi L2s phù hợp trong lộ trình của Bitcoin:

House of ZK Radio #67: Ming Guo, Đồng sáng lập & Giám đốc Khoa học tại ZKM - có sẵn ngay bây giờ trên Spotify & YouTube 🔳 Trong tập này, @alicelingl ngồi xuống với @DacEconomy - Đồng sáng lập & Giám đốc Nghiên cứu tại @ProjectZKM - để lập bản đồ cách mà zero-knowledge đã chuyển từ @ethereum sang Bitcoin, và một nền kinh tế Bitcoin được bảo mật bởi tính toán có thể xác minh thực sự trông như thế nào. Spotify: YouTube: Nội dung bên trong: • Sự tiến triển của ZK: quyền riêng tư giao dịch → mạch tổng quát → zkVM với chứng minh gần như thời gian thực • Tại sao thiết kế zkVM dựa trên MIPS của ZKM lại quan trọng cho hiệu suất, độ ổn định và xác minh • Kiến trúc Bitcoin L2 dựa trên BitVM2 như @GOATRollup, và tại sao L2 là con đường an toàn để lập trình • "Giải quyết toàn cầu": tính toán có thể xác minh như là cơ sở cho các ứng dụng phi tập trung • Trách nhiệm và động lực có thể lập trình so với các mô hình "tin tưởng một bên" truyền thống • Trải nghiệm người dùng cho nhà phát triển: từ zkDSLs đến viết mã bình thường và chứng minh thực thi trong một zkVM • Vượt ra ngoài "lưu trữ giá trị": lợi suất, tài sản ổn định, và hoạt động trên chuỗi được gắn với Bitcoin mà không làm giảm an ninh L1 Nếu bạn xây dựng trên Bitcoin hoặc ZK, tập này cung cấp một khung rõ ràng cho ngăn xếp, các sự đánh đổi, và những gì cần thiết để chuyển từ việc chỉ nắm giữ BTC sang một nền kinh tế có thể xác minh hoạt động.

Chúng tôi báo cáo về tiến trình của những nhà xây dựng hàng đầu trong hệ sinh thái zkVM, ghi lại những phát hành quan trọng gần đây, những đột phá kỹ thuật và các cập nhật chung. Có sự tham gia của: @SuccinctLabs, @ProjectZKM, @NexusLabs, @RiscZero, Jolt (@a16zcrypto), @ziskvm, & @ligero_inc 👇

Điều gì sẽ xảy ra nếu @solana có thể hoàn tất các khối trong chưa đầy nửa giây? Đó là tầm nhìn được Roger Wattenhofer (Trưởng phòng Nghiên cứu tại @anza_xyz/@ETH_en) phác thảo trong buổi đọc sách @WPReadingClub này. Dựa trên cả nghiên cứu đồng thuận học thuật và thiết kế độc đáo của Solana, @TheWattenhofer trình bày Alpenveil, một đề xuất giao thức đồng thuận mới kết hợp: • Hoàn tất siêu nhanh - kết quả mô phỏng cho thấy hoàn tất khối trong khoảng ~150ms, với các con đường thực tế tiếp cận ~500ms xác nhận cấp người dùng. • Bỏ phiếu song song - một cơ chế mới chạy bỏ phiếu một vòng (80%) và hai vòng (60%→cam kết) song song, cho phép cái nào hoàn thành nhanh hơn sẽ hoàn tất khối. • Chứng minh an ninh chính thức - một mô hình nghiêm ngặt rời khỏi giả định Byzantine truyền thống 33%, lập luận cho các mô hình lỗi thực tế hơn (20% Byzantine, 40% chịu lỗi do sự cố) dựa trên cảnh quan xác thực ngày nay. • Thỏa hiệp thiết kế hệ thống - từ mã hóa xóa cho việc phân phối dữ liệu đến lý do tại sao việc cắt giảm bị tránh (ít nhất là ban đầu), và cách phân phối cổ phần địa lý ảnh hưởng đến độ trễ. Buổi thảo luận tuyệt vời này là một sự suy nghĩ lại cơ bản về đồng thuận cho các blockchain hiệu suất cao, kết hợp lý thuyết, thực hành và các ràng buộc thực tế của Solana. Tóm tắt: Bài báo: Cũng có sẵn trên YouTube:

Chúng tôi báo cáo về tiến trình của những nhà xây dựng hàng đầu trong hệ sinh thái Dịch vụ Chứng minh, ghi lại những phát hành quan trọng gần đây, những đột phá kỹ thuật và các cập nhật chung. Có sự tham gia của: @fermah_xyz, @Ingo_zk, @brevis_zk, @zan_team, & @vlayer_xyz ⬇️