KASTEL-ESS

Non-Interactive Zero-Knowledge Proof Systems