https://github.com/lambdaclass/lambdaworks_stark_platinum
STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly. Cairo and similar proof systems can be used to provide scalability to blockchains.
https://github.com/lambdaclass/lambdaworks_stark_platinum
Last synced: 5 months ago
JSON representation
STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly. Cairo and similar proof systems can be used to provide scalability to blockchains.
- Host: GitHub
- URL: https://github.com/lambdaclass/lambdaworks_stark_platinum
- Owner: lambdaclass
- Created: 2023-05-25T09:43:53.000Z (about 3 years ago)
- Default Branch: main
- Last Pushed: 2023-10-02T14:59:31.000Z (over 2 years ago)
- Last Synced: 2025-01-24T05:42:57.569Z (over 1 year ago)
- Homepage: https://lambdaclass.github.io/lambdaworks_stark_platinum
- Size: 14.3 MB
- Stars: 77
- Watchers: 3
- Forks: 19
- Open Issues: 51
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Lambdaworks Platinum Prover
This repo is now deprecated. Platinum Stark and Cairo provers have been moved to the main [Lambdaworks](https://github.com/lambdaclass/lambdaworks) repository.
[![Telegram Chat][tg-badge]][tg-url]
[tg-badge]: https://img.shields.io/static/v1?color=green&logo=telegram&label=chat&style=flat&message=join
[tg-url]: https://t.me/+98Whlzql7Hs0MDZh