This is stars and forks stats for /starkware-libs/stone-prover repository. As of 11 May, 2024 this repository has 194 stars and 15 forks.
Overview STARK is a proof system. It uses cutting-edge cryptography to provide poly-logarithmic verification resources and proof size, with minimal and post-quantum-secure assumptions. This repository contains a prover and a verifier for STARKs, and in particular for the CPU AIR underlying the CairoZero programming language. Installation instructions Building using the dockerfile The root directory contains a dedicated Dockerfile which automatically builds the package and runs the unit tests on a...
Overview STARK is a proof system. It uses cutting-edge cryptography to provide poly-logarithmic verification resources and proof size, with minimal and post-quantum-secure assumptions. This repository contains a prover and a verifier for STARKs, and in particular for the CPU AIR underlying the CairoZero programming language. Installation instructions Building using the dockerfile The root directory contains a dedicated Dockerfile which automatically builds the package and runs the unit tests on a...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| 0xPIT/menu | OtherProcessingC++ | 48 | 0 | 36 | 0 |
| dcmoore/easy-bake-service | Clojure | 0 | 0 | 1 | 0 |
| ewinebrenner/gpr200-fa2023-templates | C++CMakeGLSL | 0 | 0 | 64 | 0 |
| atom/language-c | CoffeeScriptJavaScript | 117 | 0 | 184 | 0 |
| akitaonrails/rinhabackend-lucky-crystal-api | CrystalShellDockerfile | 46 | 0 | 1 | 0 |
| SAKTHEESWARI-B/Guvi | CSSSCSSLess | 25 | 0 | 0 | 0 |
| santheesh52/login | CSSSCSSPHP | 41 | 0 | 0 | 0 |
| riptano/docs-ui | CSSJavaScriptHandlebars | 1 | 0 | 0 | 0 |
| AravinthSrini/Portfolio | CSSHTMLJavaScript | 19 | 0 | 0 | 0 |
| smartcontractkit/hardhat-network | DockerfileJavaScriptShell | 8 | 0 | 7 | 0 |