Login / Signup

ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs.

Dan BogdanovJoosep JäägerPeeter LaudHärmel NestraMartin PettaiJaak RandmetsVille SokkKert TaliSandhra-Mirella Valdma
Published in: CoRR (2022)
Keyphrases
  • domain knowledge
  • knowledge base
  • knowledge discovery
  • black box
  • pac learning
  • prior knowledge
  • special case
  • knowledge acquisition
  • supervised learning
  • collaborative filtering
  • learning systems
  • knowledge sources