Generalized Authenticated Data Structures

Collection of prototype standalone projects that have to do with what we work on internally.

⚗️ End-to-end verifiable TEEs

An open tweet database and API anyone can build on.

Async coordination primitives and extensions on top of ES6 Promises

CredentialProxy

A simple SNARK implementation in Python

Open framework for confidential AI

opinionated L2 bootstrapper

Good Riddance to EPID Pre-Deprecation Memorial Contest

A halo2 implementation of on-chain DCAP attestation verification

Cosmwasm contract that allows for verifying an Intel IAS Attestation report with a smart contract

Used to download your copy of the film Killroy Was Here using your KWH NFT private metadata.

GPU CUDA kernel for exoplanet transit detection

PyStarshade is a Python library for efficient Fresnel optical simulations of direct imaging with an external occulter from stellar system to CCD

A Python library for detrending spatially correlated noise in Kepler lightcurves

Animated transit lightcurve posted once a day to twitter

SGX-ready Enclaive Docker Image for Rust Applications and Services

Edgeless RT is an SDK and a runtime for Intel SGX. It combines top-notch Go support with simplicity, robustness and a small TCB. Developing confidential microservices has never been easier! C++17 a…

Sienna Network Monorepo

Source code repository of "Safer Illinois" App - the official COVID-19 app of the University of Illinois.

Baby SNARK (do do dodo dodo)