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