Zero-Knowledge Proofs for Committed Symmetric Boolean Functions.

San Ling Khoa Nguyen Duong Hieu Phan Hanh Tang Huaxiong Wang

Published in: PQCrypto (2021)

Keyphrases

boolean functions
functional properties
uniform distribution
knowledge base
knowledge representation
knowledge acquisition
prime implicants
membership queries
learning algorithm