Libros — zero-knowledge proofs