entropyxyz / programsLinks
Source, toolchain, and examples for using programs on Entropy
☆20Updated 6 months ago
Alternatives and similar repositories for programs
Users that are interested in programs are comparing it to the libraries listed below
Sorting:
- Generates zero-knowledge proofs of Ethereum smart contract execution.☆40Updated this week
- A two-day event focused on high-performance, bleeding edge crypto infrastructure. By open source engineers, for open source engineers.☆37Updated last month
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Updated last year
- rust types and services for Zenith 🎀☆29Updated 5 months ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated last year
- This repo hosts the code for an analysis on Ethereum gas limit.☆18Updated last year
- Subscriptions using Porto.☆26Updated 2 months ago
- A simple RISC-V runtime.☆32Updated last week
- celestia blobs, evm execution☆19Updated 7 months ago
- Splitting seed phrases into shares☆63Updated 3 years ago
- Pessimistic proof for the AggLayer.☆28Updated last year
- Ethereum stateless tools☆45Updated 5 months ago
- A threshold encryption framework for L1 & L2 EVM-compatible chains.☆34Updated this week
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated last year
- ☆41Updated 2 years ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Updated 3 months ago
- relays blocks from the shared sequencer to the DA layer☆27Updated 2 years ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆49Updated 7 months ago
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆34Updated 10 months ago
- ☆40Updated 3 years ago
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆28Updated last month
- Solidity contracts for a next-gen rollup system.☆68Updated this week
- Persistent binary merkle tree☆24Updated last week
- Minimal Merkle Tree implementations☆30Updated 3 months ago
- 🦀 celestia-node REST client in Rust.☆18Updated 3 years ago
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆63Updated last year
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆36Updated this week
- CosmWasm + zkVM RISC-V EFI template☆23Updated 2 years ago
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆53Updated last year