Pinned Repositories
auditee
Tool to verify the reproducibility of SGX enclave builds
HoneyBadgerBFT-Python
The Honey Badger of BFT Protocols
HoneyBadgerMPC
Robust MPC-based confidentiality layer for blockchains
HoneyBadgerSwap
Coming soon to a blockchain near you.
auditee
Tool to verify the reproducibility of SGX enclave builds
docker-tutorial
Docker tutorial for PyData Berlin 2015
hello-flake
qtee
Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.
quantum-vibes
Resources on the topic of Quantum Money
sgx-iot
Intel SGX code sample: Gateway Key Provisioning and Secure Signing. From https://software.intel.com/content/www/us/en/develop/articles/code-sample-gateway-key-provisioning-and-secure-signing-using-intel-software-guard.html.
sbellem's Repositories
sbellem/qtee
Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.
sbellem/awesome-kurtosis
Official Awesome Kurtosis page. Code examples using Kurtosis
sbellem/awesome-pufs
sbellem/bls-crypto
sbellem/celo-threshold-bls-rs
Threshold BLS Signatures and DKG
sbellem/crypto-primitives
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
sbellem/darkfi
Anonymous. Uncensored. Sovereign.
sbellem/ego
EGo is an open-source SDK that enables you to develop your own confidential apps in the Go programming language.
sbellem/ethereum-package
A Kurtosis package that deploys a private, portable, and modular Ethereum devnet
sbellem/ethical-mining
Resources on ethical mining of materials used in computer chips
sbellem/forge-std
Forge Standard Library is a collection of helpful contracts for use with forge and foundry. It leverages forge's cheatcodes to make writing tests easier and faster, while improving the UX of cheatcodes. For more in-depth usage examples checkout the tests.
sbellem/game-theory
Resources on game theory
sbellem/gramine
A library OS for Linux multi-process applications, with Intel SGX support
sbellem/ic3-website
sbellem/llvm-valida-releases
Public releases for the Valida compiler toolchain
sbellem/mev-research
Project management for MEV Research
sbellem/occlum
Occlum is a memory-safe, multi-process library OS for Intel SGX
sbellem/prof-relay
PRotected Order Flow
sbellem/r1cs-tutorial
Tutorial for writing constraints in the `arkworks` framework
sbellem/rave
Remote Attestation VErification
sbellem/sbellem
sbellem/sbellem.github.io
sbellem/SecretNetwork
𝕊 The Secret Network
sbellem/sgx-epid-contest
Good Riddance to EPID Pre-Deprecation Memorial Contest
sbellem/sgx-epid-ra
sbellem/suapp-examples
SUAVE Suapp Examples
sbellem/suave-geth
sbellem/suave-specs
☀️ SUAVE Alpha Protocol Specifications
sbellem/teleport-gramine-rs
One-time programs on X, create and share a one-time post link from your Twitter account with LLM-enforced policies
sbellem/valida
A STARK-based VM focused on code reuse, performance, and modularity