This is stars and forks stats for /gevulotnetwork/gevulot repository. As of 13 May, 2024 this repository has 19 stars and 2 forks.
Gevulot Gevulot is a permissionless and programmable layer one blockchain for deploying zero-knowledge provers and verifiers as on-chain programs. It allows users to deploy and use entire proof systems on-chain, with minimal computational overhead as compared to single prover architectures. The vision of Gevulot is to make the creation and operation of zk-based systems, such as validity rollups, as easy as deploying smart contracts. For a more in-depth look at the network design see overview. The...
Gevulot Gevulot is a permissionless and programmable layer one blockchain for deploying zero-knowledge provers and verifiers as on-chain programs. It allows users to deploy and use entire proof systems on-chain, with minimal computational overhead as compared to single prover architectures. The vision of Gevulot is to make the creation and operation of zk-based systems, such as validity rollups, as easy as deploying smart contracts. For a more in-depth look at the network design see overview. The...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| mit-plv/coqutil | CoqOther | 40 | 0 | 22 | 0 |
| emilpriver/go-rust-bun-node | OCamlGoRust | 14 | 0 | 5 | 0 |
| ishioni/homelab-ops | HCLJinjaOther | 28 | 0 | 2 | 0 |
| lean-dojo/LeanInfer | LeanC++Shell | 27 | +2 | 1 | 0 |
| OCamlPro/superbol-studio-oss | OCamlHTMLCOBOL | 3 | 0 | 6 | 0 |
| opengeos/leafmap | PythonOther | 2.6k | 0 | 301 | 0 |
| IntelLabs/riscv-vector | ScalaOther | 27 | 0 | 1 | 0 |
| hiddify/Hiddify-Server | ShellJinjaJavaScript | 2.9k | 0 | 437 | 0 |
| w3f/ring-vrf | TeXRustOther | 30 | 0 | 11 | 0 |
| gkd-kit/subscription | TypeScriptOther | 553 | 0 | 58 | 0 |