erayack / awesome-sgx-blockchainLinks
Awesome SGX and TEE on Blockchain Resources
☆24Updated 2 years ago
Alternatives and similar repositories for awesome-sgx-blockchain
Users that are interested in awesome-sgx-blockchain are comparing it to the libraries listed below
Sorting:
- Geth-in-SGX provides an example of running go-ethereum in SGX☆75Updated last year
- ☆45Updated 5 months ago
- Halo2 Merkle tree circuits☆33Updated 4 years ago
- A curated list of resources for learning about Trusted Execution Environments (TEEs) in the context of blockchains.☆32Updated last week
- ☆54Updated 6 months ago
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆101Updated 10 months ago
- Kate commitment based PLONK recursive aggregation circuit☆41Updated last year
- Cross-zk-rollup aggregation☆60Updated 2 years ago
- My notes related to Cryptography & Zero-Knowledge.☆47Updated 6 months ago
- Write-ups submitted by CTF participants☆35Updated 2 years ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆112Updated 3 years ago
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆55Updated 2 months ago
- Let's go https://eprint.iacr.org/2022/1763.pdf☆61Updated 2 years ago
- Crypto Gadgets for Plonky2☆73Updated last year
- ☆60Updated 2 years ago
- Implementation of Plonk by Hand in rust☆62Updated last year
- DPC with Universal Setup☆46Updated 2 years ago
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆30Updated 2 months ago
- ☆37Updated last year
- Benchmarks of popular zkVMs including Jolt☆62Updated last year
- zkSNARKs as a service using secure multi-party computation.☆30Updated last year
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆79Updated 2 weeks ago
- A lattice-based non-interactive folding scheme written in Rust☆105Updated last week
- FPGA-accelerated MSM☆27Updated 2 years ago
- Cryptographic protocols☆39Updated 2 years ago
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆45Updated 2 years ago
- Email verification circuit in halo2☆68Updated last year
- A Risc-V CPU implemented as a zk-SNARK☆50Updated 3 years ago
- AES-GCM implementation in Circom☆38Updated 3 years ago
- Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.☆84Updated 2 years ago