matter-labs / teepotLinks
Nix, crates and tools for TEE handling
☆17Updated last week
Alternatives and similar repositories for teepot
Users that are interested in teepot are comparing it to the libraries listed below
Sorting:
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover☆75Updated last week
- Out-of-circuit zkEVM implementation☆80Updated 11 months ago
- zero-knowledge execution of eBPF bytecode☆90Updated 2 years ago
- Specification of P2P protocol for StarkNet nodes☆49Updated 3 weeks ago
- The zkEVM assembly tools☆11Updated 11 months ago
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.☆25Updated 11 months ago
- 🐺 Starknet Rust types 🦀☆71Updated last week
- Hashicorp Vault plugin for authenticating Trusted Execution Environments (TEE) like SGX enclaves☆13Updated this week
- The schelling point for ZK applications.☆141Updated last year
- Vyper compiler for ZKsync.☆44Updated last week
- Reference implementation of the node for the Miden blockchain☆69Updated this week
- ☆51Updated this week
- Poseidon hash circuit☆101Updated 8 months ago
- ☆63Updated last year
- ☆13Updated 3 months ago
- Smart contracts for onchain verification of SP1.☆105Updated last month
- ZKsync fork of the original Solidity compiler.☆18Updated this week
- ☆75Updated 2 years ago
- ZKsync fork of the LLVM framework.☆35Updated this week
- Compare in-circuit and out-of-circuit VMs☆60Updated 11 months ago
- Core smart contracts for Axiom V2.☆32Updated last year
- A library implementing GPU-accelerated zkSync prover.☆28Updated 11 months ago
- EraVM specification.☆17Updated this week
- ☆59Updated 8 months ago
- ☆36Updated last week
- A collection of works discussing the security aspects of StarkNet☆40Updated 6 months ago
- op-stack state(less) transition in an AWS Nitro enclave☆71Updated 3 weeks ago
- ☆78Updated 5 months ago
- ☆55Updated 5 months ago
- OS for next iteration of the world computer☆43Updated last year