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!