Pinned Loading
-
lambdaclass/lambdaworks
lambdaclass/lambdaworks Publiclambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
-
lambdaclass/pinocchio_lambda_vm
lambdaclass/pinocchio_lambda_vm PublicZero Knowledge Virtual Machine from scratch implementing Pinocchio
-
lambdaclass/lambdaworks_stark_platinum
lambdaclass/lambdaworks_stark_platinum PublicSTARK 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 …
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.