Roee-87

📄 Documentation for Leo 🦁

ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

A comprehensive library for machine learning and numerical computing. The library provides a set of tools for linear algebra, numerical computing, optimization, and enables a generic, powerful yet still efficient approach to machine learning.

Sindri Zero-Knowledge Proof CLI

Submission for the chainlink fall hackathon