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
- A dapp SDK for the fhEVM ecosystem☆28Updated 3 weeks ago
- Nova: Recursive SNARKs without trusted setup☆42Updated last year
- ☆2Updated 10 months ago
- Email verification circuit in halo2☆66Updated 6 months ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated 11 months ago
- Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.☆81Updated last year
- ☆64Updated 6 months ago
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- Zero Knowledge Proof for RSA☆55Updated last year
- ☆20Updated last year
- In-browser ECDSA aggregation using Nova over secp/secq☆33Updated last year
- DPC with Universal Setup☆45Updated last year
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆37Updated last year
- Verify a chain of x509 certificates in halo2☆31Updated last year
- neural network inference standard for zero-knowledge-proof systems☆34Updated last year
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆26Updated 2 weeks ago
- keccak256 hash implementation in Circom☆78Updated 2 years ago
- ☆26Updated 11 months ago
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆70Updated last year
- My personal notebook for various zk-related topics☆47Updated 3 weeks ago
- ☆60Updated last year
- ☆48Updated this week
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆22Updated 7 months ago
- My notes related to Cryptography & Zero-Knowledge.☆39Updated 11 months ago
- Step by step implementation of KZG☆18Updated 4 months ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆59Updated last month
- RLN circuits in Circom☆29Updated 6 months ago
- Provides tools for testing circom circuits.☆56Updated 7 months ago
- PoC of Revm execution in SGX☆80Updated last year