Novel OR-aggregation Enhances Zero-Knowledge Set Membership for blockchain-IoT

Novel OR-aggregation enables efficient, constant-size zero-knowledge set membership proofs for blockchain-IoT, advancing privacy and scalability.
Dynamic zk-SNARKs Enable Efficient, Incremental Proof Updates for Evolving Data and AI

Dynamic zk-SNARKs introduce incremental proof updates, transforming static verification into adaptable, real-time assurance for evolving AI and blockchain systems.
Scalable Zero-Knowledge Proofs for Machine Learning Fairness

Researchers developed FAIRZK, a novel system that uses zero-knowledge proofs and new fairness bounds to efficiently verify machine learning model fairness without revealing sensitive data, enabling scalable and confidential algorithmic auditing.