Proof-Carrying Data from Accumulation Schemes
Proof Carrying Data - Pratyush Mishra at Zcon3
Proof-Carrying Data from Accumulation Schemes (BUSec seminar)
Halo Infinite: Proof-Carrying Data from Additive Polynomial Commitments
Proof-Carrying Data without Succinct Arguments
zkStudyClub: PCD without zkSNARK with Pratyush Mishra (UC Berkeley) & Benedikt Bünz (Stanford)
Configurable Asset Privacy and Proof-Carrying Disclosures with Ben Fisch | a16z crypto research
Benedikt Bünz: Proof-Carrying Data without Succinct Arguments
ZCON3: Подтверждающие данные SNARKs - Proof Carrying Data
Security Bounds for Proof-Carrying Data from Straightline Extractors - Ziyi Guan (EPFL) - Room 1
Ziyi Guan: Security Bounds for Proof-Carrying Data from Straightline Extractors
Maze - Aggregation Tool for Circom PLONK Proofs
Safe, Untrusted, "Proof-Carrying" AI Agents: Toward the Agentic Lakehouse with Jacopo Tagliabue
Lecture 10: Proof Carrying Code
Hash-based Folding Schemes
Linear-Time Accumulation Schemes [CAW 2025]
zkStudyClub: Halo Infinite with Ben Fisch (Stanford)
Computer Science: Proof Carrying LLVM?
CERTA-RAG — Causal, Evidence-Ranked, Trust-Adaptive RAG with Proof-Carrying Answers
The verifiability vision by Jens Groth | Devcon SEA
![Linear-Time Accumulation Schemes [CAW 2025]](https://img.youtube.com/vi/Nxg1Xj2380A/0.jpg)
