rcatalan98

rcatalan98's Stars

• software-mansion/scarb

  The Cairo package manager

  Language:Rust19069

• lambdaclass/cairo_wnn

  Cairo Weightless Neural Network

  5

• privacy-scaling-explorations/zkvm-ideas

  A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team

  372

• cairo-book/cairo-book

  The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.

  Language:JavaScript234223

• tokio-rs/tokio

  A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

  Language:Rust26.9k2.5k

• Sunscreen-tech/Sunscreen

  A compiler for fully homomorphic encryption and zero knowledge proofs

  Language:Rust24726

• IBM/fhe-toolkit-linux

  IBM Fully Homomorphic Encryption Toolkit For Linux. This toolkit is a Linux based Docker container that demonstrates computing on encrypted data without decrypting it! The toolkit ships with two demos including a fully encrypted Machine Learning inference with a Neural Network and a Privacy-Preserving key-value search.

  Language:C++1.4k160

• kmather73/NotHotdog-Classifier

  What would you say if I told you there is a app on the market that tell you if you have a hotdog or not a hotdog.

  Language:Jupyter Notebook47867

• renegade-fi/renegade

  On-chain dark pool. MPC for anonymous crosses at midpoint prices.

  Language:Rust20817

• grandinetech/rust-kzg

  Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)

  Language:Rust11651

• starkoracles/Aero

  A blazingly fast sdk for running proofs on the browser... and verifying them on-chain

  Language:Cairo382

• lambdaclass/starknet_in_rust

  A Rust implementation of Starknet execution logic

  Language:Rust17152

• lambdaclass/cairo-vm

  cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

  Language:Rust516148

• xJonathanLEI/starknet-rs

  Complete Starknet library in Rust™

  Language:Rust286101

• leonardoalt/fusion

  An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.

  Language:Rust1195

• lambdaclass/STARK101-rs

  STARK 101 Workshop in Rust 🐺🦀

  Language:Jupyter Notebook13316

• kettle11/tangle

  Radically simple multiplayer / networked WebAssembly

  Language:TypeScript1.2k37

• risc0/risc0

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

  Language:C++1.7k419

• dojoengine/dojo

  Dojo is a toolchain for building provable games and applications

  Language:Rust417171

• starkware-libs/cairo

  Cairo is the first Turing-complete language for creating provable programs for general computation.

  Language:Rust1.6k489

• enitrat/cairo1-template

  Language:Cairo434

• dpinones/exploring-of-cairo-1

  Language:Rust6

• starkware-libs/cairo-lang

  Language:Python1.3k262

• keep-starknet-strange/alexandria

  Community maintained Cairo libraries and set of well maintained, optimised and secure components.

  Language:Cairo233103

• Jon-Becker/heimdall-rs

  Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.

  Language:Rust1.2k124

• TheAlgorithms/Rust

  All Algorithms implemented in Rust

  Language:Rust22.8k2.2k

• axiom-crypto/axiom-apps

  Language:Solidity347

• argentlabs/argent-x

  ArgentX browser extension for StarkNet - made with ❤️ by Argent

  Language:TypeScript625273

• 0xPolygonMiden/crypto

  Cryptographic primitives used in Polygon Miden rollup

  Language:Rust10135

• kkrt-labs/kakarot

  Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

  Language:Cairo985299