LuminAIR

<div align="center"> <img src="docs/images/gh-banner.png" style="width: 70%; height: auto;"> </br> </div> <div align="center"> <h3> <a href="https://luminair.gizatech.xyz/welcome"> Documentation </a> <span> | </span> <a href="https://luminair.gizatech.xyz/more/roadmap"> Roadmap </a> <span> | </span> <a href="https://luminair.gizatech.xyz/more/benchmarks"> Benchmarks </a> </h3> </br> </div>

LuminAIR is a Machine Learning framework that leverages Circle STARK Proofs to ensure the integrity of computational graphs.

It allows provers to cryptographically demonstrate that a computational graph has been executed correctly, while verifiers can validate these proofs with significantly fewer resources than re-executing the graph.

This makes it ideal for applications where trustlessness and integrity are paramount, such as healthcare, finance, decentralized protocols and verifiable agents.

⚠️ Disclaimer: LuminAIR is currently under active development 🏗️.

🚀 Quick Start

To see LuminAIR in action, run the provided example:

$ cd examples/simple
$ cargo run

use luminair_graph::{graph::LuminairGraph, StwoCompiler};
use luminal::prelude::*;

fn main() -> Result<(), Box<dyn std::error::Error>> {
    let mut cx = Graph::new();

    // Define tensors
    let a = cx.tensor((2, 2)).set(vec![1.0, 2.0, 3.0, 4.0]);
    let b = cx.tensor((2, 2)).set(vec![10.0, 20.0, 30.0, 40.0]);
    let w = cx.tensor((2, 2)).set(vec![-1.0, -1.0, -1.0, -1.0]);

    // Build computation graph
    let c = a * b;
    let mut d = (c + w).retrieve();

    // Compile the computation graph
    cx.compile(<(GenericCompiler, StwoCompiler)>::default(), &mut d);

    // Execute and generate a trace of the computation graph
    let trace = cx.gen_trace()?;

    // Generate proof and verify
    let proof = cx.prove(trace)?;
    cx.verify(proof)?;

    Ok(())
}

📖 Documentation

You can check our official documentation here.

🔮 Roadmap

You can check our roadmap to unlock ML integrity here.

🫶 Contribute

Contribute to LuminAIR and be rewarded via OnlyDust.

Check the contribution guideline here

📊 Benchmarks

Check performance benchmarks for LuminAIR operators here.

💖 Contributors

<!-- ALL-CONTRIBUTORS-LIST:START - Do not remove or modify this section --> <!-- prettier-ignore-start --> <!-- markdownlint-disable --> <table> <tbody> <tr> <td align="center" valign="top" width="14.28%"><a href="https://github.com/raphaelDkhn"><img src="https://avatars.githubusercontent.com/u/113879115?v=4?s=100" width="100px;" alt="raphaelDkhn"/><br />_{<b>raphaelDkhn</b>}</a><br /><a href="https://github.com/gizatechxyz/LuminAIR/commits?author=raphaelDkhn" title="Code">💻</a></td> <td align="center" valign="top" width="14.28%"><a href="https://audithub.app"><img src="https://avatars.githubusercontent.com/u/71888134?v=4?s=100" width="100px;" alt="malatrax"/><br />_{<b>malatrax</b>}</a><br /><a href="https://github.com/gizatechxyz/LuminAIR/commits?author=zmalatrax" title="Documentation">📖</a></td> <td align="center" valign="top" width="14.28%"><a href="https://github.com/blewater"><img src="https://avatars.githubusercontent.com/u/2580304?v=4?s=100" width="100px;" alt="Mario Karagiorgas"/><br />_{<b>Mario Karagiorgas</b>}</a><br /><a href="https://github.com/gizatechxyz/LuminAIR/commits?author=blewater" title="Code">💻</a></td> <td align="center" valign="top" width="14.28%"><a href="https://github.com/Tbelleng"><img src="https://avatars.githubusercontent.com/u/117627242?v=4?s=100" width="100px;" alt="Tbelleng"/><br />_{<b>Tbelleng</b>}</a><br /><a href="https://github.com/gizatechxyz/LuminAIR/commits?author=Tbelleng" title="Code">💻</a></td> <td align="center" valign="top" width="14.28%"><a href="https://github.com/sukrucildirr"><img src="https://avatars.githubusercontent.com/u/32969880?v=4?s=100" width="100px;" alt="sukrucildirr"/><br />_{<b>sukrucildirr</b>}</a><br /><a href="https://github.com/gizatechxyz/LuminAIR/commits?author=sukrucildirr" title="Documentation">📖</a></td> <td align="center" valign="top" width="14.28%"><a href="https://github.com/hakymulla"><img src="https://avatars.githubusercontent.com/u/25408889?v=4?s=100" width="100px;" alt="Kazeem Hakeem"/><br />_{<b>Kazeem Hakeem</b>}</a><br /><a href="https://github.com/gizatechxyz/LuminAIR/commits?author=hakymulla" title="Code">💻</a></td> <td align="center" valign="top" width="14.28%"><a href="https://github.com/guha-rahul"><img src="https://avatars.githubusercontent.com/u/52607971?v=4?s=100" width="100px;" alt="guha-rahul"/><br />_{<b>guha-rahul</b>}</a><br /><a href="https://github.com/gizatechxyz/LuminAIR/commits?author=guha-rahul" title="Code">💻</a></td> </tr> <tr> <td align="center" valign="top" width="14.28%"><a href="https://github.com/bruhhgnik"><img src="https://avatars.githubusercontent.com/u/146652064?v=4?s=100" width="100px;" alt="Agnik"/><br />_<b>Agnik</b></a><br /><a href="https://github.com/gizatechxyz/LuminAIR/commits?author=bruhhgnik" title="Code">💻</a></td> <td align="center" valign="top" width="14.28%"><a href="https://github.com/raizo07"><img src="https://avatars.githubusercontent.com/u/81079370?v=4?s=100" width="100px;" alt="Wolf"/><br />_<b>Wolf</b></a><br /><a href="https://github.com/gizatechxyz/LuminAIR/commits?author=raizo07" title="Code">💻</a></td> <td align="center" valign="top" width="14.28%"><a href="https://medium.com/@mahmohajer3"><img src="https://avatars.githubusercontent.com/u/89094323?v=4?s=100" width="100px;" alt="Mahmoud Mohajer"/><br />_{<b>Mahmoud Mohajer</b>}</a><br /><a href="https://github.com/gizatechxyz/LuminAIR/commits?author=MahmoudMohajer" title="Code">💻</a></td> </tr> </tbody> </table> <!-- markdownlint-restore --> <!-- prettier-ignore-end --> <!-- ALL-CONTRIBUTORS-LIST:END -->

Acknowledgements

A special thanks to the developers and maintainers of the foundational projects that make LuminAIR possible:

• Luminal: For providing a robust and flexible deep-learning library that serves as the backbone of LuminAIR.
• Stwo: For offering a powerful prover and constraint library.
• Brainfuck-Stwo: Inspiration for creating AIR with the Stwo library.

License

LuminAIR is open-source software released under the MIT License.