A declarative domain-specific language for the specification of zero knowledge protocols
Primary LanguageJava