Zero-Knowledge Proofs for Questionnaire Result Verification in Smart Contracts.

Carlos Efrain Quintero Narvaez Raúl Monroy Borja

Published in: ENC (2023)

Keyphrases

knowledge extraction
formal proof
supply chain
real time
information retrieval
search engine
knowledge representation
theorem proving
mathematical knowledge