Signatures of knowledge for Boolean circuits under standard assumptions | Publicación