On the Construction of Trapdoor Claw-Free Functions with Certifiable Key
ZK-JPEG: Zero-knowledge Image Editing and Compression
ServeGuard: Verifiable, Bounded-Residual Confinement of Operator-Invisible Channels Without Revealing the Certified Read Factor
TrustBOM: A Scalable Architecture for Confidentiality-Preserving SBOMs Across Organizations
Product showcase: mSecure makes one vault do more than remember passwords
2 min1
Sound Debloating of Redundant Checks in Zero-Knowledge Machine-Learning Circuits
1