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:
- rust types and services for Zenith 🎀☆29Updated 6 months ago
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Updated last year
- Pessimistic proof for the AggLayer.☆28Updated last year
- CosmWasm + zkVM RISC-V EFI template☆23Updated 2 years ago
- 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.☆38Updated 2 months ago
- ☆41Updated 2 years ago
- storage proof made by sp1☆25Updated last year
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆49Updated 8 months ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 3 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated last year
- A threshold encryption framework for L1 & L2 EVM-compatible chains.☆35Updated 2 weeks ago
- Implementation of the Kademlia protocol created to gain understanding of distributed hash tables.☆10Updated 2 years ago
- 🦀 celestia-node REST client in Rust.☆18Updated 3 years ago
- Solidity contracts for a next-gen rollup system.☆69Updated last week
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Updated 4 months ago
- relays blocks from the shared sequencer to the DA layer☆27Updated 2 years ago
- Ethereum stateless tools☆45Updated 6 months ago
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- Trust-minimized commitment pools with zkSNARKs☆38Updated 2 years ago
- ☆86Updated 2 years ago
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated 7 months ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated last year
- An API compatible port of the Stone prover.☆19Updated 11 months ago
- Persistent binary merkle tree☆24Updated last month
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 10 months ago
- Breathe air☆25Updated last year
- A Cairo VM prover implemented using Winterfell☆16Updated 2 years ago
- Splitting seed phrases into shares☆64Updated 3 years ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆36Updated this week