BartolomeoDiaz1 talk by BartolomeoDiazSecuring Cross-Chain Interactions with ZK Coprocessor: From Design to On-Chain Verification