GitHub repository: spector-in-london/subzero
Description: A declarative domain-specific language for the specification of zero knowledge protocols