entropyxyz / programs
Source, toolchain, and examples for using programs on Entropy
☆19Updated last week
Alternatives and similar repositories for programs:
Users that are interested in programs are comparing it to the libraries listed below
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated 3 weeks ago
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆50Updated 9 months ago
- A simple, IPFS-based multi-party trusted setup utility for snarkjs☆27Updated 2 years ago
- ☆21Updated 9 months ago
- ☆49Updated this week
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- ☆25Updated this week
- Ethereum stateless tools☆46Updated last month
- Pessimistic proof for the AggLayer.☆26Updated 9 months ago
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Updated last year
- ☆34Updated last year
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆16Updated last week
- ☆22Updated last month
- Axiom smart contracts☆26Updated last year
- Generates zero-knowledge proofs of Ethereum smart contract execution.☆29Updated last week
- High performance EraVM for zkSync.☆23Updated last week
- On-chain Ethereum light client built with SP1☆40Updated 2 weeks ago
- Breathe air☆23Updated 10 months ago
- ☆34Updated 2 weeks ago
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated last month
- 🔴 💬 A hack for the OP Stack enabling sequencer commitments.☆28Updated last year
- Code generation tool for adding Ethereum SimpleSerialiZe support methods to existing go types☆19Updated 7 months ago
- ☆28Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated 10 months ago
- Minimal Merkle Tree implementations☆28Updated 3 months ago
- storage proof made by sp1☆24Updated 6 months ago
- Keccak-f[1600] permutation in the EVM☆27Updated last month
- An API compatible port of the Stone prover.☆19Updated 4 months ago
- ☆39Updated last year