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
- 0xethsign@lucidlyfi
- 0xfourzerofourAlchemy
- 0xknstntn@QubeLedger
- 0xYYY
- 3forBeijing
- ajgara
- ameya-deshmukh@SeismicSystems
- AppServiceProviderDhaka, Bangladesh
- cryptonerdcnTokyo
- dcbuild3rVitalik's masternode
- diegokingston
- franalgabaGizatech AG
- gakonst@paradigmxyz
- HAOYUatHZ@scroll-tech @fluidex @ZenGo-X
- ilitteri@LambdaClass
- justinfrevertNYC
- krakhit@ingonyama-zk
- kurtpan666@ZKPunk-org
- m-kus@keep-starknet-strange
- makluganteng@ribbon-finance
- massun-onibakuchiEarth
- mynameismhmd
- Nadai2010PC Home
- nikitavoloboevMadrid
- pcaversaccio@daita-technologies
- ponderingdemocritus
- ramonjoaquim1Growjay
- Rog3rSm1th@FuzzingLabs
- SandalotsVolcanak
- shunkakinoki@LightDotSo
- Starknet-ZH
- tarrencevNew York
- trablmaniya
- unbalancedparenthesesLambdaClass
- xJonathanLEIHong Kong
- ZeroKPunkhttps://github.com/Orbiter-Finance