zama-ai / fhevm-evmos
Devnet for the fhEVM reference implementation
☆15Updated last year
Alternatives and similar repositories for fhevm-evmos:
Users that are interested in fhevm-evmos are comparing it to the libraries listed below
- Using folding schemes for a provable bitcoin light client☆33Updated 10 months ago
- A dapp SDK for the HTTPZ protocol.☆32Updated last week
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- Provides tools for testing circom circuits.☆59Updated 2 weeks ago
- ☆45Updated last year
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆58Updated last year
- Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.☆82Updated last year
- Verify a chain of x509 certificates in halo2☆31Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.☆30Updated 5 months ago
- Geth-in-SGX provides an example of running go-ethereum in SGX☆75Updated last year
- ☆65Updated 8 months ago
- MPC protocols for threshold ECDSA☆47Updated last year
- Kate commitment based PLONK recursive aggregation circuit☆40Updated last year
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆27Updated 3 weeks ago
- My notes related to Cryptography & Zero-Knowledge.☆42Updated last year
- ☆94Updated 7 months ago
- Plonky2 Semaphore example for ZKHack☆26Updated 3 years ago
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆37Updated last year
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆46Updated 2 years ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆24Updated 9 months ago
- AWS Nitro enclave attestation verifier in Solidity, used by:☆16Updated last month
- RLN circuits in Circom☆29Updated 8 months ago
- ☆2Updated last year
- ☆40Updated 2 years ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆39Updated last year
- On-chain Ethereum light client built with SP1☆42Updated 2 weeks ago
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆84Updated last year