Loreon
Labs
Platform
Search…
⌘K
Docs
Home
Ecosystems
Rust
ragu
Rust language proof-carrying data framework
Rust
Emerging
GitHub
Stars
1
Forks
1
Contributors
8
Last push
14d ago
Recent commits
Latest commits.
Merge pull request #432 from turbocrime/quiet-book-ci
276a093
ebfull
4mo ago
Merge pull request #436 from TalDerei/reduce-witness
cc7fc2b
ebfull
4mo ago
pcd: improve documentation across compute_v, query, claims, fuse stages
241236c
Sean Bowe
4mo ago
Merge pull request #434 from TalDerei/optimize-evals
6d1ad94
ebfull
4mo ago
pcd: remove RxEval enum, use &Element directly
7ed9d4c
Sean Bowe
4mo ago
pcd: unify redundant a_sum/b_sum into single sum in internal_circuit
8e8cdad
Sean Bowe
4mo ago
pcd: remove unused rx(x) witness fields
412ea0c
Tal Derei
4mo ago
pcd: simplify RxEval variants, update stale comments
935e719
Tal Derei
4mo ago
Top contributors
Builders behind this project.
ebfull
687 commits
TalDerei
209 commits
alxiong
90 commits
turbocrime
16 commits
S1nus
14 commits
LucidSamuel
13 commits
roynalnaruto
6 commits
ThreeHrSleep
4 commits
