NDC Security 2026 Day 1 Room 4 60m talk 4m read Zero-Knowledge Proofs: Simultaneously ensuring integrity and privacy Tjerand Silde cryptography