sem-crypto-hs24-ZK