Blog mới: Làm thế nào để bạn xây dựng một ứng dụng zkVM an toàn—và làm thế nào để bạn kiểm toán một ứng dụng như vậy? (Phần III trong chuỗi bảo mật zkVM của chúng tôi).
Chúng tôi đi qua một ví dụ cụ thể sử dụng @RiscZero, và chỉ ra những yếu tố bảo mật quan trọng trong phát triển ứng dụng ZK thực tế.
Khi chúng tôi bắt đầu làm việc trên công cụ ZK, không có gì khả dụng. @FormallyJon chia sẻ hành trình công cụ zero-knowledge của chúng tôi trong buổi phỏng vấn @HouseofZK.
Những gì đã dẫn chúng tôi đến việc phát triển Vanguard, trình phân tích tĩnh của chúng tôi, và làm thế nào chúng tôi đã mở rộng nó ra ngoài Solidity? @FormallyJon giải thích trên podcast @HouseofZK.
Cannes, bạn thật tuyệt vời! Cảm ơn tất cả mọi người đã ghé thăm gian hàng của chúng tôi, và cảm ơn @EthCC đã tổ chức cho chúng tôi. Dưới đây là một bữa tiệc hình ảnh từ tuần vừa qua 🌞
Bỏ lỡ bài nói chuyện của @KFerles tại @EthCC, "Tính xác định zkVM kéo dài: Từ kiểm toán đến xác minh liên tục"? Xem toàn bộ bài thuyết trình ở đây, chúng tôi đã có một phòng đầy người!
Nhận cái nhìn tổng quan về các công cụ ZK của Veridise và một cái nhìn thoáng qua về những gì sắp tới. @IsilDillig chia sẻ hướng đi tương lai của chúng tôi tại sự kiện @a16zcrypto.
Công cụ phát hiện ZK của chúng tôi trước đây đã hết thời gian trên 30% mạch ZK. Chúng tôi đã giải quyết vấn đề này như thế nào? @IsilDillig chia sẻ những hiểu biết từ bài báo nghiên cứu gần đây của chúng tôi.
Làm thế nào chúng ta giữ cho các mạch ZK vững chắc và xác định trong quá trình kiểm toán? Đồng sáng lập của chúng tôi @IsilDillig chia sẻ những hiểu biết về việc kết hợp phân tích tĩnh và các bộ giải SMT trong các công cụ ZK của chúng tôi.