Popular repositories Loading
-
-
-
proving
proving PublicForked from starkware-libs/proving
Verified Stwo optimization frontier maintained by provably.fast
Rust 1
Repositories
Showing 10 of 28 repositories
- krusty-kms Public
- bramble Public
- starks.provably.fast Public
Remove a factor of n: an open mathematics challenge on Reed-Solomon mutual correlated agreement, with Lean pins against ArkLib. New mathematics for STARK security, discovered in the open.
- strkd Public
- snip-36-prover-backend Public
- proving Public Forked from starkware-libs/proving
Verified Stwo optimization frontier maintained by provably.fast
- qsb-app Public
- snip-36-prover-wasm Public
Top languages
Loading…
Most used topics
Loading…