The project aims to extend a verifiable computation platform to enable efficient computation and verification of functions using floating point calculations. This implies developing a system for synthetizing algebraic circuits that represent these computations in a manner compatible with existing non-interactive zero-knowledge proof libraries.
MSc in computer science or similar
Minimum profile required
Solid background in theoretical cryptography
Experiência em programação Python e C++
Since 02 Dec 2019 to 13 Dec 2019
Cluster / Centre
Computer Science / High-Assurance Software