Pubblicare uno stage
Lavoro > Stage > IT/Tecnologia > Belgio > Anversa > Offerta 

Bell Labs Internship on Benchmarking Zero-Knowledge Proof Systems (Master student)

Azienda non indicata
Belgio  Anversa, Belgio
Stage, IT/Tecnologia, Inglese

Descrizione del lavoro:

Job Description

Zero-knowledge proofs (ZKPs) are cryptographic protocols that enable one party, called the prover, to convince another party, called the verifier, of the truth of a statement without revealing any additional information beyond the validity of the statement itself. This means that the prover can demonstrate knowledge of a secret or the solution to a problem without disclosing any details about the secret or solution. ZKPs are vital for ensuring privacy and security in various applications such as authentication, digital currencies, and secure communication, where parties need to authenticate each other or verify transactions without revealing sensitive information.

In recent years, there has been a surge in the development of various programming languages and frameworks (e.g., Circom, ZoKrates, RISC-Zero, Noir, Leo, Cairo, and Lurk) specifically designed for ZKPs. These programming languages and frameworks offer a range of functionalities and performance trade-offs and can be further tailored or optimized.

However, choosing the right programming language and framework for a specific task requires a systematic evaluation, considering the subtle trade-offs of each option. This process can be challenging, requiring significant expertise, labor, and computational resources. Moreover, relying on scientific publications or community consultations often falls short as many cryptographic research efforts tend to focus on specific elements of a cryptographic scheme, neglecting detailed implementations and direct performance evaluations. As a result, developers may struggle to get a comprehensive understanding of performance trade-offs, making them dependent on piecemeal insights. This could potentially compromise the efficiency and security of their chosen implementations.

The objective of this project is to conduct a comprehensive examination of ZKP programming languages and to introduce a benchmarking framework tailored for them. This framework offers adaptable backends to evaluate ZKP circuits using representative test vectors, such as a SHA-256 implementation within a specific ZKP tool or library. The framework is designed to perform thorough benchmarking, capturing both the execution time and memory usage during the setup, proving, and verification stages of ZKPs. This approach ensures a holistic understanding of the performance of various ZKP tools and libraries.

Duration: flexible, to be agreed (typically 3-4 months), starting time flexible

This internship can be part of a Master's thesis.

Location: Antwerp (Belgium)

Please note that we are looking for a local candidate and that this is a non remunerated internship.


* You will explore and experiment with frameworks and programming languages for developing Zero-Knowledge Proofs.
* You will propose a novel benchmarking framework for estimating the computational costs of ZKP programming languages and frameworks.
* Potentially, this internship can be part of a Master thesis. It can results in a paper that can be published at a scientific venue.

Required Skills

* Student enrolled in a Master Computer Science/Engineering.
* Interest in exploring and understanding novel, domain-specific programming languages used in unfamiliar contexts (e.g. Circom, ZoKrates). You are expected to download and experiment with these languages.
* Interest in learning about cryptographic techniques and their novel applications.
* Experience with cryptographic techniques is a plus.
* Experience with a wide variety of programming languages is a plus.
* Language skills: English

About Us

Come create the technology that helps the world act together

(COMPANY NAME) is committed to innovation and technology leadership across mobile, fixed and cloud networks. Your career here will have a positive impact on people's lives and will help us build the capabilities needed for a more productive, sustainable, and inclusive world.

We challenge ourselves to create an inclusive way of working where we are open to new ideas, empowered to take risks and fearless to bring our authentic selves to work

What we offer

(COMPANY NAME) offers continuous learning opportunities, well-being programs to support you mentally and physically, opportunities to join and get supported by employee resource groups, mentoring programs and highly diverse teams with an inclusive culture where people thrive and are empowered.

(COMPANY NAME) is committed to inclusion and is an equal opportunity employer

(COMPANY NAME) has received the following recognitions for its commitment to inclusion & equality:

* One of the World's Most Ethical Companies by Ethisphere
* Gender-Equality Index by Bloomberg
* Workplace Pride Global Benchmark

At (COMPANY NAME), we act inclusively and respect the uniqueness of people. (COMPANY NAME)'s employment decisions are made regardless of race, color, national or ethnic origin, religion, gender, sexual orientation, gender identity or expression, age, marital status, disability, protected veteran status or other characteristics protected by law.

We are committed to a culture of inclusion built upon our core value of respect.

Join us and be part of a company where you will feel included and empowered to succeed

Provenienza: Web dell'azienda
Pubblicato il: 01 Mag 2024
Tipo di impiego: Stage
Lingue: Inglese
109.178 lavori e stage
in 147 Paesi