https://github.com/thor314/pebble-stark

A community-developed re-implementation of the Starkware Stone Prover
https://github.com/thor314/pebble-stark

cairo community cryptography prover stark starkware zero-knowledge zk

Last synced: about 1 month ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/thor314/pebble-stark
• Owner: thor314
• Created: 2023-08-31T20:31:41.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2024-10-29T19:11:30.000Z (7 months ago)
• Last Synced: 2025-03-24T09:13:34.002Z (about 2 months ago)
• Topics: cairo, community, cryptography, prover, stark, starkware, zero-knowledge, zk
• Language: Rust
• Homepage:
• Size: 321 KB
• Stars: 69
• Watchers: 3
• Forks: 6
• Open Issues: 7
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# 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](https://github.com/starkware-libs/stone-prover/tree/main).

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

![logo](pebblestark.webp)

## 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](https://starkware.co/).

## 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](https://github.com/starkware-libs/stone-prover/tree/main), the starkware C++ implementation

- [Lambdaworks Platinum Prover](https://github.com/lambdaclass/lambdaworks/tree/main/provers/stark), the Lambdaworks

  Winterfell Stark prover