RiftLend / contracts-v1Links
☆12Updated 9 months ago
Alternatives and similar repositories for contracts-v1
Users that are interested in contracts-v1 are comparing it to the libraries listed below
Sorting:
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated 11 months ago
- Keccak-f[1600] permutation in the EVM☆28Updated 11 months ago
- customizable halo2 circuits batcher☆31Updated 3 months ago
- Spire Labs' litepaper (it's pretty based bro)☆16Updated last year
- Axiom smart contracts☆26Updated 2 years ago
- High performance EraVM for zkSync.☆23Updated 3 months ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated 2 years ago
- ☆31Updated 8 months ago
- storage proof made by sp1☆25Updated last year
- ☆54Updated 3 weeks ago
- Hexagate monitors for OP-Stack fault proofs☆18Updated 9 months ago
- Hildr is an OP Stack rollup client written in latest Java.☆47Updated last year
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Updated 7 months ago
- ☆27Updated 2 years ago
- AWS Nitro enclave attestation verifier in Solidity, used by:☆26Updated 4 months ago
- Groth16 verifier in EVM☆23Updated 2 years ago
- A library for encoding blobs into a 2D square of evenly sized chunks designed for sampling and reconstruction☆17Updated last month
- Compress cryptographic outputs via mining☆25Updated 3 years ago
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆16Updated 3 weeks ago
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Updated 2 years ago
- This repo compiles .zkasm to a json ready for the zkExecutor☆31Updated last year
- The zkEVM assembly tools☆11Updated last year
- Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity☆22Updated last week
- ☆21Updated 2 years ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆37Updated this week
- Configuration and scripts for running Astria☆21Updated last year
- ☆18Updated last year
- ZKsync fork of the LLVM framework (EraVM).☆36Updated last month
- Breathe air☆25Updated last year
- ☆25Updated 3 months ago