erayack / awesome-sgx-blockchain
Awesome SGX and TEE on Blockchain Resources
☆23Updated last year
Alternatives and similar repositories for awesome-sgx-blockchain:
Users that are interested in awesome-sgx-blockchain are comparing it to the libraries listed below
- Geth-in-SGX provides an example of running go-ethereum in SGX☆75Updated last year
- A curated list of resources for learning about Trusted Execution Environments (TEEs) in the context of blockchains.☆22Updated 3 weeks ago
- zkSNARKs as a service using secure multi-party computation.☆29Updated last year
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆44Updated last year
- Kate commitment based PLONK recursive aggregation circuit☆40Updated last year
- Halo2 Merkle tree circuits☆32Updated 3 years ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Polymath: Groth16 Is Not The Limit☆29Updated last month
- Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.☆46Updated last week
- Cryptographic protocols☆38Updated last year
- Benchmarking Polynomial Commitments☆49Updated last year
- Spartan on Arkworks☆40Updated 3 months ago
- Write-ups submitted by CTF participants☆35Updated last year
- ☆33Updated 11 months ago
- DPC with Universal Setup☆45Updated last year
- ☆26Updated last year
- Let's go https://eprint.iacr.org/2022/1763.pdf☆59Updated last year
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆28Updated 5 months ago
- AES-GCM implementation in Circom☆38Updated 2 years ago
- ☆33Updated last year
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- Implementation of Plonk by Hand in rust☆61Updated last year
- polynomial commitments from linear codes☆40Updated 3 months ago
- ☆28Updated 2 years ago
- ZKM Development Template/Framework☆24Updated this week
- A collection of technical notes from the Geometry research team.☆47Updated last year
- RLN on KZG☆20Updated last year
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆27Updated 2 weeks ago
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆37Updated 2 years ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆39Updated last year