QED-it SNARK Challenge - set 2 posted

84 views

Skip to first unread message

Eran Tromer

unread,

Oct 17, 2017, 5:43:43 PM10/17/17

to libsnark

zk-SNARK aficionados may be interested in the ongoing "The Hunting of the SNARK" challenges posted by QED-it.

Challenge One: The Functionality of zk-SNARK was a high-level discussion of zk-SNARK proof systems and their functionality.

Challenge Set Two: Crafting Constraint Systems has just been posted, and deals with expressing NP statements (e.g., proving token ownership) as bilinear constraint systems that can be fed into common zk-SNARK schemes.