The attestor-core (aka witness server) securely intermediates internet data exchange, using TLS and zero-knowledge proofs to verify and sign user claims with minimal information disclosure.

C-based eUICC LPA

👽 Small exercises to get you used to ZK fundamentals!

Build and query dynamic, temporally-aware Knowledge Graphs

Open Source Remote SIM Provisioning

Production code for eSIM-Wallet App

The cryptography-based networking stack for building unstoppable networks with LoRa, Packet Radio, WiFi and everything in between.

A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with untrusted hardware acceleration

Build your own second brain with supermemory. It's a ChatGPT for your bookmarks. Import tweets or save websites and content using the chrome extension.

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizati…

Trusted side of the TEE

Key Management Module

Smart contract suite for eSIM wallets

eSIM Wallet Mobile App

Collection of resources on Confidential Computing

Multi-party computation libraries written in Rust 🦀

Circom interpreter to arithmetic circuit description

A tutorial for building a Polkadot SDK-like state machine written from scratch in Rust.

A tutorial to build your own blockchain in Rust from the ground up

MIT Deep Learning Book in PDF format (complete and parts) by Ian Goodfellow, Yoshua Bengio and Aaron Courville

Adaptively secure BLS threshold signature

A bunch of links to blog posts, articles, videos, etc for learning Rust

Experimental one-shot benchmarking/profiling harness for Rust

A summary of 200+ CTF blockchain challenges

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

A Rust implementation of the Groth16 zkSNARK