
LambdaLounge: Zero-knowledge proofs
Event Information
Description
Daira Hopwood, a LamdaLounge regular, will tell us about Zero-knowledge proofs, a fascinating area of cryptography with wide applications for security and the blockchain.
Zero-knowledge proofs allow Alice to prove to Bob that she knows a secret, without having to reveal it.
With zero-knowledge proofs, you can validate in O(1) space and time that an arbitrary amount of computation occurred correctly. This remarkable property depends, at least for now, on writing programs in a peculiar (and peculiarly terrible) mathematical language called R1CS (Rank 1 constraint systems).
This talk is an introduction to writing efficient R1CS programs.
The meeting starts at 7pm (doors open a little earlier, we aim to start by 7:05pm).
Want to speak at a future event? Get in touch with us! We run monthly meetups and regular lightning talk sessions in case you're not comfortable giving a longer talk yet :)
This event is generously sponsored by Equal Experts, a network of talented, experienced software consultants, specialising in agile delivery.
Contact the mailing list or ping @lambdamcr, or speak to us on the night. We’re a very supportive crowd, do let us know if you have any questions!