lambdaclass/aleo_lambda_blockchain external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

lambdaclass/aleo_lambda_blockchain

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/lambdaclass/aleo_lambda_blockchain)

Close

lambdaclass / aleo_lambda_blockchainView on GitHubMore

• External links
• Readme badge

Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass

☆15Feb 8, 2023Updated 3 years ago

Alternatives and similar repositories for aleo_lambda_blockchain

Users that are interested in aleo_lambda_blockchain are comparing it to the libraries listed below

• lambdaclass / aleo_lambda_vm

  View on GitHub
  Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
  ☆21May 9, 2023Updated 2 years ago
• lambdaclass / simpleworks

  View on GitHub
  Arkworks made simple for us: the non cryptographer software plumbers
  ☆25Feb 8, 2023Updated 3 years ago
• lambdaclass / aleo_minimum_anti_collusion_infrastructure

  View on GitHub
  Aleo's Minimum Anti-Collusion Infrastructure / MACI
  ☆13Aug 3, 2022Updated 3 years ago
• lambdaclass / lambdaworks_kzg

  View on GitHub
  An ABI compatible for KZG EIP-4844 in Rust
  ☆23Jun 2, 2023Updated 2 years ago
• asonnino / arke

  View on GitHub
  Decentralised Privacy-Preserving Contact Discovery
  ☆18Jul 4, 2023Updated 2 years ago
• amiller / sgx-epid-contest

  View on GitHub
  Good Riddance to EPID Pre-Deprecation Memorial Contest
  ☆12Dec 22, 2023Updated 2 years ago
• 0xPolygonZero / hyperstark

  View on GitHub
  Early prototype.
  ☆23Mar 30, 2023Updated 2 years ago
• morgana-proofs / plonky2-hashchain

  View on GitHub
  ☆14Feb 7, 2023Updated 3 years ago
• odradev / evm-at-risc0

  View on GitHub
  ☆17Feb 13, 2023Updated 3 years ago
• lambdaclass / metal_playground

  View on GitHub
  A repo for learning how to parallelize computations in the GPU using Apple's Metal, in Rust.
  ☆10Mar 17, 2023Updated 3 years ago
• chainbound / consentry

  View on GitHub
  A standalone consensus networking service for listening to events
  ☆54Aug 1, 2023Updated 2 years ago
• lambdaclass / noir_backend_using_gnark

  View on GitHub
  A Noir's backend implementation using Gnark
  ☆35Mar 8, 2024Updated 2 years ago
• DelphinusLab / zkwasm-book

  View on GitHub
  ☆11Jan 1, 2025Updated last year
• l2iterative / ll0

  View on GitHub
  Delve into low-level RISC Zero machine
  ☆30Dec 25, 2023Updated 2 years ago
• penumbra-zone / poseidon377

  View on GitHub
  An instantiation of the Poseidon hash for use with decaf377
  ☆29Mar 6, 2025Updated last year
• automata-network / tee-builder

  View on GitHub
  ☆26Nov 15, 2023Updated 2 years ago
• lambdaclass / AES_zero_knowledge_proof_circuit

  View on GitHub
  ☆76Mar 30, 2023Updated 2 years ago
• protolambda / op-mordor

  View on GitHub
  Highly experimental fault-proof program for Optimism Bedrock
  ☆20Mar 27, 2023Updated 2 years ago
• arkworks-rs / spartan

  View on GitHub
  Spartan on Arkworks
  ☆47Aug 19, 2025Updated 7 months ago
• weijiekoh / poseidon-encryption-circom

  View on GitHub
  Poseidon encryption in Typescript and circom (decryption only) on the BN254 elliptic curve
  ☆13Jul 12, 2023Updated 2 years ago
• pdaian / opsec-for-protestors

  View on GitHub
  no matter what you are resisting here is a dose of opsec for you... godspeed
  ☆19Mar 8, 2025Updated last year
• ndokmai / rust-sgx-remote-attestation

  View on GitHub
  Remote attestation framework for Fortanix EDP
  ☆22Jan 11, 2021Updated 5 years ago
• refcell / varro

  View on GitHub
  A persistent, robust, and composable proposal service for rollup stacks written in pure rust.
  ☆17Mar 23, 2023Updated 2 years ago
• lambdaclass / starknet_tendermint_sequencer

  View on GitHub
  Starknet sequencer built with Tendermint Core
  ☆52Apr 3, 2023Updated 2 years ago
• flashbots / geth-sgx-gramine

  View on GitHub
  Geth-in-SGX provides an example of running go-ethereum in SGX
  ☆77Mar 19, 2024Updated 2 years ago
• maxgillett / halo2-fri-gadget

  View on GitHub
  A FRI verifier circuit for the Halo2 proof system
  ☆77Feb 22, 2023Updated 3 years ago
• Pratyush / algebra-intro

  View on GitHub
  ☆42Oct 19, 2021Updated 4 years ago
• lopeetall / caulk

  View on GitHub
  Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf
  ☆12Jun 29, 2022Updated 3 years ago
• QED-it / libsnark-tutorial_forge_proof

  View on GitHub
  ☆17Jul 14, 2018Updated 7 years ago
• geometryxyz / semacaulk

  View on GitHub
  Gas-efficient and blazing fast proving for private signaling
  ☆81Feb 3, 2024Updated 2 years ago
• lambdaclass / tornado_cash_anonymity_tool

  View on GitHub
  Anonymity Research Tools for TCash Users
  ☆17Feb 8, 2022Updated 4 years ago
• onurinanc / noir-bn254

  View on GitHub
  BN254 Pairing Implementation in Noir
  ☆23Aug 23, 2023Updated 2 years ago
• kariy / starkmint

  View on GitHub
  ☆13Mar 6, 2023Updated 3 years ago
• bmorphism / risc0-cosmwasm-example

  View on GitHub
  CosmWasm + zkVM RISC-V EFI template
  ☆23Oct 20, 2022Updated 3 years ago
• recmo / pc-bench

  View on GitHub
  Benchmarking Polynomial Commitments
  ☆51Jul 3, 2023Updated 2 years ago
• crytic / whipstaff

  View on GitHub
  A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)
  ☆20Aug 12, 2019Updated 6 years ago
• kevaundray / plookup

  View on GitHub
  ☆41Oct 24, 2022Updated 3 years ago
• daira / describe-curve

  View on GitHub
  Describe elliptic curves
  ☆35May 10, 2021Updated 4 years ago
• starkoracles / zkos

  View on GitHub
  Cross-zk-rollup aggregation
  ☆61Feb 17, 2023Updated 3 years ago