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
Sorting:
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 2 years ago
- Arkworks made simple for us: the non cryptographer software plumbers☆25Feb 8, 2023Updated 3 years ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Jun 2, 2023Updated 2 years ago
- Decentralised Privacy-Preserving Contact Discovery☆18Jul 4, 2023Updated 2 years ago
- Early prototype.☆23Mar 30, 2023Updated 2 years ago
- Aleo's Minimum Anti-Collusion Infrastructure / MACI☆13Aug 3, 2022Updated 3 years ago
- ☆17Feb 13, 2023Updated 3 years ago
- ☆14Feb 7, 2023Updated 3 years ago
- ☆13Mar 6, 2023Updated 2 years ago
- Good Riddance to EPID Pre-Deprecation Memorial Contest☆12Dec 22, 2023Updated 2 years ago
- A repo for learning how to parallelize computations in the GPU using Apple's Metal, in Rust.☆10Mar 17, 2023Updated 2 years ago
- Starknet sequencer built with Tendermint Core☆52Apr 3, 2023Updated 2 years ago
- ☆76Mar 30, 2023Updated 2 years ago
- Describe elliptic curves☆35May 10, 2021Updated 4 years ago
- ☆26Nov 15, 2023Updated 2 years ago
- Benchmarking Polynomial Commitments☆51Jul 3, 2023Updated 2 years ago
- A FRI verifier circuit for the Halo2 proof system☆77Feb 22, 2023Updated 3 years ago
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Jul 14, 2023Updated 2 years ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 3 years ago
- Delve into low-level RISC Zero machine☆30Dec 25, 2023Updated 2 years ago
- An instantiation of the Poseidon hash for use with decaf377☆29Mar 6, 2025Updated 11 months ago
- A standalone consensus networking service for listening to events☆54Aug 1, 2023Updated 2 years ago
- Efficient Anonymous Tokens with Private Metadata Bit☆15Mar 7, 2023Updated 2 years ago
- ☆11Jan 1, 2025Updated last year
- compiler tooling for Stark-based zkVMs☆16Feb 6, 2023Updated 3 years ago
- A persistent, robust, and composable proposal service for rollup stacks written in pure rust.☆17Mar 23, 2023Updated 2 years ago
- Poseidon encryption in Typescript and circom (decryption only) on the BN254 elliptic curve☆13Jul 12, 2023Updated 2 years ago
- Partial Block Building with TEEs☆19Mar 27, 2024Updated last year
- Poseidon Rust library☆38Mar 13, 2023Updated 2 years ago
- OpenCL code generator for finite-field arithmetic over arbitrary prime fields☆98Jul 30, 2025Updated 7 months ago
- A Noir's backend implementation using Gnark☆35Mar 8, 2024Updated last year
- Optimizations for Pairing-Based Cryptography☆17Sep 10, 2021Updated 4 years ago
- Highly experimental fault-proof program for Optimism Bedrock☆20Mar 27, 2023Updated 2 years ago
- Kate-Zaverucha-Goldberg polynomial commitments in rust playground☆14Aug 18, 2021Updated 4 years ago
- evm playground - optimizations, patterns and bytecode decoding☆15Dec 29, 2022Updated 3 years ago
- A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+☆18May 8, 2020Updated 5 years ago
- Combined solution from Matter Labs and Yrrid based on their respective submissions for the Z-Prize category Accelerating MSM Operations o…☆16Oct 30, 2023Updated 2 years ago
- Intel assembly finite field library generator☆13Nov 23, 2023Updated 2 years ago
- efficient modular multiplication research☆15Feb 8, 2023Updated 3 years ago