Skip to content
Change the repository type filter

All

    Repositories list

    • All you need to build provable web3 Agents!
      Cairo
      β€’
      Apache License 2.0
      β€’4β€’4β€’4β€’0β€’Updated Nov 25, 2024Nov 25, 2024
    • Cairo
      β€’0β€’1β€’0β€’0β€’Updated Nov 22, 2024Nov 22, 2024
    • Luminair

      Public
      An ML framework designed to guarantee the integrity of graph-based models using ZK proofs
      Rust
      β€’0β€’2β€’0β€’0β€’Updated Nov 21, 2024Nov 21, 2024
    • arma-docs

      Public
      0β€’0β€’0β€’0β€’Updated Nov 20, 2024Nov 20, 2024
    • 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
      Cairo
      β€’
      MIT License
      β€’82β€’163β€’61β€’24β€’Updated Oct 8, 2024Oct 8, 2024
    • giza-cli

      Public
      Giza Platform CLI
      Python
      β€’
      MIT License
      β€’8β€’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
      Python
      β€’
      MIT License
      β€’1β€’6β€’1β€’0β€’Updated Sep 10, 2024Sep 10, 2024
    • Easy to use Verifiable AI and smart contracts interoperability.
      Python
      β€’
      MIT License
      β€’10β€’15β€’3β€’2β€’Updated Jun 28, 2024Jun 28, 2024
    • Giza-Hub

      Public
      Curated list of ZKML models and use cases made with Giza
      Jupyter Notebook
      β€’
      MIT License
      β€’23β€’47β€’3β€’4β€’Updated Jun 3, 2024Jun 3, 2024
    • datasets

      Public
      Python
      β€’
      MIT License
      β€’0β€’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
    • StarkNet ecosystem plugin for the Ape Framework
      Python
      β€’
      Apache License 2.0
      β€’12β€’0β€’0β€’0β€’Updated May 3, 2024May 3, 2024
    • Rust
      β€’1β€’5β€’0β€’0β€’Updated Apr 30, 2024Apr 30, 2024
    • Giza Actions SDK Template Repository
      Python
      β€’0β€’0β€’0β€’0β€’Updated Mar 14, 2024Mar 14, 2024
    • A provable Tic-Tac-Toe AI model using Orion and Cairo
      Jupyter Notebook
      β€’1β€’10β€’0β€’0β€’Updated Nov 10, 2023Nov 10, 2023
    • Model benchmarking using Orion
      Jupyter Notebook
      β€’1β€’4β€’0β€’0β€’Updated Oct 20, 2023Oct 20, 2023
    • Orion inference example with STARK proving
      Cairo
      β€’0β€’1β€’0β€’0β€’Updated Jul 28, 2023Jul 28, 2023
    • 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