Repositories list

• LuminAIR

  Public
  A framework for ensuring the integrity of computational graphs using ZK proofs

  aideep-learningstark+ 2zkzero-knowledge

  Rust

  •0•5•14•0•Updated Jan 30, 2025Jan 30, 2025

• python-sdk

  Public
  The official Python SDK for Model Context Protocol servers and clients

  Python

  •

  MIT License

  •161•0•0•0•Updated Jan 29, 2025Jan 29, 2025

• arma-docs

  Public
  0•0•0•0•Updated Jan 29, 2025Jan 29, 2025

• NumerAir

  Public
  A fixed-point arithmetic library for STWO-based programs.

  Rust

  •0•4•0•0•Updated Jan 17, 2025Jan 17, 2025

• haiko-agent

  Public
  Cairo

  •1•0•0•0•Updated Dec 9, 2024Dec 9, 2024

• scarb-agent

  Public
  All you need to build provable web3 Agents!

  agentcairostark+ 2zero-knowledgescarb

  Cairo

  •

  Apache License 2.0

  •4•6•4•0•Updated Dec 5, 2024Dec 5, 2024

• tdx-cairo-verifier

  Public
  Cairo

  •0•1•0•0•Updated Nov 22, 2024Nov 22, 2024

• arma_feedback

  Public
  Feedback reporting repository for the ARMA Agent

  0•0•0•0•Updated Nov 3, 2024Nov 3, 2024

• avsthon

  Public
  Rust

  •0•0•0•0•Updated Oct 30, 2024Oct 30, 2024

• orion

  Public
  ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK

  tensorflowonnxcairo-lang+ 3starknetmachine-learningdeep-learning

  Cairo

  •

  MIT License

  •84•169•61•25•Updated Oct 8, 2024Oct 8, 2024

• giza-cli

  Public
  Giza Platform CLI

  Python

  •

  MIT License

  •9•16•5•2•Updated Sep 10, 2024Sep 10, 2024

• osiris

  Public
  Osiris is a Python library designed for efficient data conversion and management, primarily transforming data into Cairo programs

  datacairozero-knowledge-proofs+ 1polars-dataframe

  Python

  •

  MIT License

  •1•6•1•0•Updated Sep 10, 2024Sep 10, 2024

• giza-agents

  Public
  Easy to use Verifiable AI and smart contracts interoperability.

  pythonmachine-learningai+ 6blockchainapeagentszkzero-knowledgezkml

  Python

  •

  MIT License

  •12•17•3•2•Updated Jun 28, 2024Jun 28, 2024

• Giza-Hub

  Public
  Curated list of ZKML models and use cases made with Giza

  machine-learningcairozk+ 2gizazkml

  Jupyter Notebook

  •

  MIT License

  •24•50•3•4•Updated Jun 3, 2024Jun 3, 2024

• datasets

  Public
  Python

  •

  MIT License

  •1•5•1•0•Updated May 30, 2024May 30, 2024

• giza-sdk

  Public
  Python

  •

  MIT License

  •0•0•0•0•Updated May 28, 2024May 28, 2024

• issues

  Public
  One stop shop for handling issues of Giza.

  0•0•0•0•Updated May 23, 2024May 23, 2024

• zkcook

  Public
  Python

  •

  MIT License

  •0•4•0•0•Updated May 23, 2024May 23, 2024

• orion_ml

  Public
  A ZKML framework for traditional machine learning

  Cairo

  •1•5•0•0•Updated May 11, 2024May 11, 2024

• ape-starknet

  Public
  StarkNet ecosystem plugin for the Ape Framework

  Python

  •

  Apache License 2.0

  •12•0•0•0•Updated May 3, 2024May 3, 2024

• giza-benchmark

  Public
  Rust

  •1•5•0•0•Updated Apr 30, 2024Apr 30, 2024

• actions-template

  Public
  Giza Actions SDK Template Repository

  Python

  •0•0•0•0•Updated Mar 14, 2024Mar 14, 2024

• Tic-Tac-Stark

  Public
  A provable Tic-Tac-Toe AI model using Orion and Cairo

  Jupyter Notebook

  •1•10•0•0•Updated Nov 10, 2023Nov 10, 2023

• orion-benchmark

  Public
  Model benchmarking using Orion

  Jupyter Notebook

  •1•4•0•0•Updated Oct 20, 2023Oct 20, 2023

• orion-proving-example

  Public
  Orion inference example with STARK proving

  Cairo

  •0•1•0•0•Updated Jul 28, 2023Jul 28, 2023

• cairo-containers

  Public
  Support code for building and running Docker containers based on Cairo 1.0 for verifiable computations

  Dockerfile

  •

  MIT License

  •0•5•0•0•Updated Jun 14, 2023Jun 14, 2023