Roee-87/snarkVM
A zkVM for Decentralized Private Computations (DPC)
Repositories
Roee-87/hyperlane-aleo
Roee-87/snarkOS
A Decentralized Operating System for ZK Applications
Roee-87/welcome
Welcome to the Aleo Network community.
Roee-87/jolt
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Roee-87/zkHack
Roee-87/rpi
Raspberry Pi 4 projects
Roee-87/RISC-Zero-projects
Roee-87/ezkl-test
Roee-87/rust-data-engineering
Code for a Duke Coursera Rust-based data engineering course
Roee-87/Patient-medical-record-portal
Example project of a decentralized medical records database using ethereum blockchain
Roee-87/snark-verifier
Roee-87/ezkl
ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.
Roee-87/XGBoost
Roee-87/halo2
Halo2 fork from Zkonduit (PSE)
Roee-87/SpiceAI-demo
Roee-87/smartcore
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.
Roee-87/steamship
Roee-87/orion
ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK
Roee-87/nlp_course
The Hugging Face course on Transformers
Roee-87/Starklings
Solutions to the exercises for Starklings 2023