Lighter Set to Add Binary Options Support to Its ZK Prover