Pinned Loading
-
gizatechxyz/LuminAIR
gizatechxyz/LuminAIR PublicA zkML framework for ensuring the integrity of computational graphs using Circle STARK proofs
-
freivalds-stwo
freivalds-stwo PublicA STARK-based prover for proving matrix multiplication efficiently using Freivalds' algorithm.
Rust 4
-
gizatechxyz/NumerAIR
gizatechxyz/NumerAIR PublicA fixed-point arithmetic library for STWO-based programs.
-
gizatechxyz/orion
gizatechxyz/orion Public archiveONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.




