On 26-27 June 2019 we hosted ZKLux#1 and we are already looking ahead to next year's edition. If you are interested to speak at ZKLux#2 in June 2020, or to participate as a sponsor or partner, please get in touch with us!
Presentation slides and videos are now available on the ZKLux website.
Thank you to all our speakers, sponsors and everyone who attended.
Our verifiable computation software project is called Isekai. The first module that is being developed parses C programs and outputs the arithmetic and/or boolean circuit representing of the expression equivalent to the input program. Isekai uses libclang to parse the C program, so most of the preprocessor (including the includes) is available. Isekai is written using the Crystal programming language allowing for strong type safety and is compiled to a native executable, ensuring maximum efficiency in parsing.