https://github.com/zksecurity/pumice

An API compatible port of the Stone prover.
https://github.com/zksecurity/pumice

Last synced: 4 months ago
JSON representation

An API compatible port of the Stone prover.

• Host: GitHub
• URL: https://github.com/zksecurity/pumice
• Owner: zksecurity
• Created: 2024-06-18T21:08:53.000Z (over 1 year ago)
• Default Branch: master
• Last Pushed: 2024-10-21T11:35:32.000Z (over 1 year ago)
• Last Synced: 2024-10-21T16:47:54.290Z (over 1 year ago)
• Language: Rust
• Size: 536 KB
• Stars: 19
• Watchers: 7
• Forks: 2
• Open Issues: 1
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# Pumice

Pumice is a work-in-progress, portable, pure-rust,

reimplementation of the Starkware stone-prover.

## Contributions

Please adhere to [Conventional Commits](https://www.conventionalcommits.org/en/v1.0.0/)