Skip to content
View MauroToscano's full-sized avatar
Block or Report

Block or report MauroToscano

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. lambdaclass/lambdaworks lambdaclass/lambdaworks Public

    lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

    Rust 563 116

  2. lambdaclass/pinocchio_lambda_vm lambdaclass/pinocchio_lambda_vm Public

    Zero Knowledge Virtual Machine from scratch implementing Pinocchio

    Rust 36 2

  3. lambdaclass/lambdaworks_stark_platinum lambdaclass/lambdaworks_stark_platinum Public

    STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain …

    76 18