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.
Apache-2.0
Stargazers
- 0xAsten
- 0xKahi
- 0xKubitusFrance
- ahmedfareed40Karachi Pakistan
- akileshtangella
- ben2077Discoco
- clexmondUnstoppable Games
- crabustSOLANA
- cwkang1998Malaysia
- dbejarano820Lifetime Value Company
- Elvis339Dubai, UAE
- evanmarshall
- feltroidprimeFrance
- feylomanturkey
- ginika-chinonsoNigeria
- GrapeBaBahttps://optimism-java.github.io/
- idrees2516
- lancenonceSereé
- lingmu415
- lucidLuckyleeBerlin
- MegaRedHand@lambdaclass
- NotThatDumb
- nravesz
- nullity00India
- pepoviolaBuenos Aires, Argentina
- plafer
- robertkodra
- shreyas-londhe@aerius-labs
- shuaiguo0
- sourdzl@paradigm-operations
- suyanlong
- UrsaMajor-t
- vietanh994
- wilsonodpn
- WiseMrMusaNethermind
- yugocabrioTokyo