# microsoft/vega-prover

<https://repo.masters-masters.com/en/repos/microsoft/vega-prover>

[Home](https://repo.masters-masters.com/en) › [microsoft](https://repo.masters-masters.com/en/owners/microsoft) › [vega-prover](https://repo.masters-masters.com/en/repos/microsoft/vega-prover)

microsoft/vega-prover has 156 stars on GitHub. Its RepoMasters card: Prototype tier. vega-prover: Low-latency client-side ZK proving over signed data

| Field | Value |
| --- | --- |
| Owner | [microsoft](https://repo.masters-masters.com/en/owners/microsoft) |
| Stars | 156 |
| Forks | 47 |
| Language | [Rust](https://repo.masters-masters.com/en/languages/rust) |
| License | MIT |
| Created | 2023 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [microsoft/vega-prover](https://github.com/microsoft/vega-prover) |

## Repository

vega-prover: Low-latency client-side ZK proving over signed data

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by microsoft

- [microsoft/vscode · ★ 194,543 · TypeScript · LTS](https://repo.masters-masters.com/en/repos/microsoft/vscode)
- [microsoft/markitdown · ★ 193,786 · Python · LTS](https://repo.masters-masters.com/en/repos/microsoft/markitdown)
- [microsoft/PowerToys · ★ 140,513 · C · LTS](https://repo.masters-masters.com/en/repos/microsoft/PowerToys)
- [microsoft/generative-ai-for-beginners · ★ 122,938 · Jupyter Notebook · LTS](https://repo.masters-masters.com/en/repos/microsoft/generative-ai-for-beginners)
- [microsoft/TypeScript · ★ 111,732 · Go · LTS](https://repo.masters-masters.com/en/repos/microsoft/TypeScript)
- [microsoft/terminal · ★ 105,321 · C++ · LTS](https://repo.masters-masters.com/en/repos/microsoft/terminal)

## Nearby in Rust

- [Oihalitz/xdp-dns-evadeproxy · ★ 156 · Rust · Prototype](https://repo.masters-masters.com/en/repos/Oihalitz/xdp-dns-evadeproxy)
- [DingoOz/llm-visuals · ★ 156 · Rust · Prototype](https://repo.masters-masters.com/en/repos/DingoOz/llm-visuals)
- [BerriAI/agentchat · ★ 156 · Rust · Prototype](https://repo.masters-masters.com/en/repos/BerriAI/agentchat)
- [redox-os/redoxfs · ★ 156 · Rust · Prototype](https://repo.masters-masters.com/en/repos/redox-os/redoxfs)
- [iddm/thread-priority · ★ 156 · Rust · Prototype](https://repo.masters-masters.com/en/repos/iddm/thread-priority)
- [jonhoo/tsunami · ★ 156 · Rust · Prototype](https://repo.masters-masters.com/en/repos/jonhoo/tsunami)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.