| Talks on Protocol Labs Research
Vector Commitments allow one to (concisely) commit to a vector of messages so that one can later (concisely) open the commitment at selected locations. In the state of the art of vector commitments, algebraic constructions have emerged as a particularly useful class, as they enable advanced properties, such as stateless updates, subvector openings and aggregation, that are for example unknown in Merkle-tree-based schemes.| Protocol Labs Research
We revisit the notion of Witness Authenticated Key Exchange (WAKE) where a party can be authenticated through a generic witness to an NP statement. We point out shortcomings of previous definitions, protocols and security proofs in Ngo et al.| Protocol Labs Research
In this post, we discuss a recent result from Cryptonet about the impossibility of succinct vector commitments in groups of known prime order.| Protocol Labs Research
Rosario Gennaro received his PhD from the Massachusetts Institute of Technology in 1996, and was a researcher at the IBM T.J.Watson Research Center before joining City College in the Summer of 2012.| Protocol Labs Research
We introduce Lurk, a new LISP-based programming language for zk-SNARKs. Traditional approaches to programming over zero-knowledge proofs require compiling the desired computation into a flat circuit, imposing serious constraints on the size and complexity of computations that can be achieved in practice.| Protocol Labs Research
Testudo is a new open source SNARK system developed by Cryptonet that offers efficient proofs with smaller setups. It uses polynomial commitments and sumchecks to prove the satisfiability of an R1CS system, and applies several optimizations to reduce the trusted setup size, improve proving times, and achieve fast verification and small proof size.| Protocol Labs Research
Originally founded to drive the creation of Filecoin, Cryptonet set out to create a community of researchers and engineers working on designing, proving, improving the building blocks for crypto-networks to engender new capabilities across the Web 3.| Protocol Labs Research