thor314 / pebble-stark

A community-developed re-implementation of the Starkware Stone Prover

Pebble Stark, a re-implementation of the Starkware Stone Prover

The Pebble Stark Prover (formerly stone-prover-rs) is a WIP re-implementation of the Starkware Stone Prover. This implementation aims to be extensible, performanant, and accessible::

• Extensible: Pebble aims to be flexible, designed to be extended to support new features
• Performant: we experience the need for speed
• Accesibile: Pebble is an open-source, community-developed project, and welcomes contributors

Usage

The project is in Work-In-Progress state, check back soon!

Why the name Pebble Stark?

Pebble STARK is a community-developed project, and pays homage to the Starkware Stone Prover in its naming.

By the hands of many who would move a pebble, may we together make a garden of stones.

Contributors

Hello and welcome potential contributor! If you'd be interested in contributing to Pebble Stark, we'd love your help! We're currently working on introductory resources for developers, looking to learn and get their hands dirty. Feel free to drop a comment in issues and I'll get back as soon as possible to help you get started.

Acknowledgements

This project is grateful to be supported under a grant from Starkware.

Also see

This project is a community-developed implementation of the Starkware stone-prover proving system. Other implementation efforts can be found at:

• Starkware Stone Prover, the starkware C++ implementation
• Lambdaworks Platinum Prover, the Lambdaworks Winterfell Stark prover

pebble-stark's Issues

Integrating Cairo Assembly (CASM) for AIR

Feature: Need to integrate Cairo Assembly (CASM), this is supposed to run low-level designated AIR arithmetization schemes in a STARK environment, Starkware calls it a built-in feature inside its stone-prover.
Dependencies: Find the crate here
Material: This video is a good explainer describing the arch of Stone-Prover and how it uses CASM https://youtu.be/Rpz5iQTWbaA?si=iSqVlyHy2fikEgJM

Investigate equivalent dependency libraries from the starkware C++ implementation

See list here:
https://github.com/starkware-libs/stone-prover/tree/main/src/third_party

Particularly it would be nice to evaluate relevant comparable libraries to

• XKCP
• Blake2
• gsl
• jsoncpp

migrate randomness

migrate randomness. Relatively small part of the code-base, will rely on finding a decent blake2 hashing library.

Integrating Cairo Assembly (CASM) for AIR #7

What about CASM's low-level AIR arithmetization schemes and compatibility?

Migrate starkware/math

Migrate math.

Relatively self-contained, only about 300 lines of code.

implement FRI