maceip / sgx-tlsn-notary-server
tlsn notary server inside a gramine SGX enclave
☆9Updated 7 months ago
Alternatives and similar repositories for sgx-tlsn-notary-server:
Users that are interested in sgx-tlsn-notary-server are comparing it to the libraries listed below
- ☆17Updated 2 years ago
- ☆17Updated 3 weeks ago
- ☆33Updated last year
- Polynomial Expression Engine☆35Updated last year
- RLN on KZG☆20Updated last year
- ☆12Updated last year
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year
- ☆14Updated 4 months ago
- ☆26Updated last year
- ECDSA gadgets for plonky2☆18Updated last year
- Library and gadget to do regex string matches in halo2☆35Updated 9 months ago
- Based on https://eprint.iacr.org/2022/1510☆26Updated 6 months ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated last month
- Early prototype.☆23Updated 2 years ago
- Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits☆30Updated last year
- An implementation of Sangria☆17Updated last year
- Behold the almighty 🗿totem🗿☆17Updated 7 months ago
- polynomial commitments from linear codes☆41Updated 4 months ago
- Using folding schemes for a provable bitcoin light client☆34Updated 11 months ago
- Batching zero over k checks☆11Updated 2 years ago
- ☆33Updated last year
- RLN circuits in Circom☆29Updated 9 months ago
- ☆12Updated 6 months ago
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- Extractable Witness Encryption for KZG Commitments☆29Updated 4 months ago
- Draft documents for standardization of Plonkish arithmetization☆23Updated last year
- A Rust library for proof-carrying disclosures☆20Updated last year
- ☆18Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆16Updated last year
- repository for core circom and smart contract☆12Updated 2 years ago