Trong Tập 335 của ZK Podcast, Anna phỏng vấn Jens Groth và Daniel Marin từ Nexus về Groth16, một giao thức mật mã. Họ thảo luận về quá trình phát triển của giao thức và ứng dụng của nó trong xác minh hình thức trong chứng minh không cần bằng chứng (ZKPs). Cuộc trò chuyện cũng đề cập đến kiến trúc của Nexus, những thách thức khi xây dựng một hệ thống từ đầu, và việc tích hợp folding và Incremental Verifiable Computation (IVC) trong một máy ảo không cần bằng chứng (zkVM).

Trong tập phim của tuần này, Anna trò chuyện với Jens Groth và Daniel Marin từ Nexus. Họ bắt kịp với tất cả những điều về Groth16 với tác giả chính trước khi đào sâu vào nhiều cuộc trò chuyện về xác minh hình thức trong ngữ cảnh của ZKPs, kiến trúc Nexus, những lợi ích và thách thức của việc xây dựng một hệ thống từ đầu, gập và IVC cùng những thuộc tính mà chúng cung cấp trong ngữ cảnh zkVM và nhiều hơn nữa.

ZK Podcast Tập 335: Khám phá Groth16 và Xác minh Hình thức với Nexus