Internships

Recursive Proofs in Trustworthy Streaming Systems

Here you find the details for the internship named "Recursive Proofs in Trustworthy Streaming Systems" in the company Nokia.

Details
Name: Recursive Proofs in Trustworthy Streaming Systems
Company: Nokia
Description:

The team you'll be part of

Nokia Bell Labs is the world-renowned research arm of Nokia, having invented many of the foundational technologies that underpin information and communications networks and all digital devices and systems. This research has produced nine Nobel Prizes, five Turing Awards and numerous other awards.

The Data-Driven Software Systems Research department is an international team of research scientists working at the intersection of software systems and software engineering research. The team’s mission is to shape the future of software systems, from creation to execution.

Tagline

Explore usage of recursive zero-knowledge proofs to obtain computational integrity in streaming systems (such as Spark, Flink, Beam).
#software #research #zk-snark #circuits #zk-snark #distributed #reactive #processing

What you will learn and contribute to

Streaming systems are convenient software tools to process a large number of events in a reactive, low-latency manner. Our goal is to distribute the computation of such streaming systems to a wide area network (e.g. deploying the computation across the end-device, edge cloud and core cloud). One of the challenges in this space is related to security and computational integrity, namely, how do you trust that upstream nodes perform the correct execution?
We want to leverage the properties of zero-knowledge succinct non-interactive zero-knowledge proofs (zk-SNARK) to prove computational integrity of such streaming systems.

During your internship you will get hands-on experience using state-of-the-art software techniques. You will work with a research team to run experiments, build software prototypes and present your findings.

Your tasks:

- You will learn about and survey zk-SNARK (and related) tools (e.g. Circom, Zokrates, …)
- You will benchmark proof systems in a distributed streaming setup.
- You will explore performance optimization opportunities.
- You document your approach and used technology.
- Near the end of the internship, you present your result to the research team.

Target profiles:
    In industries:
      Required special knowledge:

      Duration: 3 months
      Paid: Nee
      Net wage: -
      Foreign: Nee
      Contact: Nadia Beutels (University Relations and Talent Attraction Specialist)
      Email: nadia.beutels@nokia.com
      Tel: