Lambdaclass
Lambdaclass
noir_backend_using_gnark
A Noir's backend implementation using Gnark
aleo_lambda_blockchain
Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass
aleo_lambda_vm
Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
cairo-vm.c
cairo-vm_in_C is a C 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 tha...
cairo-vm_in_go
cairo-vm_in_go is a Go 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 t...
concrete
Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.
lambda_ethereum_consensus
Elixir implementation of an Ethereum consensus client, which offers high reliance & fault tolerance