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/nixpkgs
Nix Packages collection
sbellem/cosmwasm
Framework for building smart contracts in Wasm for the Cosmos SDK
sbellem/darkfi-starter
sbellem/docker-flashbots
Dockerfile for flashbots/prysm
sbellem/docker-gramine
sbellem/docker-linux-sgx
Dockerfiles for linux-sgx (https://github.com/intel/linux-sgx).
sbellem/docker-nixpkgs
docker images from nixpkgs [maintainer=@zimbatm]
sbellem/EnigMap
An oblivious AVL treemap
sbellem/ethcc23-workshop
sbellem/ethermint
A component of the fhEVM stack. Fork of the original ethermint repository.
sbellem/evmos
sbellem/fhenix-ui-demo
sbellem/fherc20
sbellem/fherc20-ui
sbellem/fhevm-evmos
Devnet for the fhEVM reference implementation
sbellem/fhevm-requires-db
The fhEVM Requires Database is a key-value database of require statement results plus a signature for them from the oracle.
sbellem/fhevm-solidity
A Solidity library for interacting with an fhEVM blockchain.
sbellem/fhevm-tfhe-cli
TFHE-rs CLI tool for the fhEVM
sbellem/go-ethereum
Official Go implementation of the Ethereum protocol
sbellem/hardhat-template
Hardhat-based template for developing Solidity smart contracts
sbellem/incubator-teaclave-sgx-sdk
Rust SGX SDK provides the ability to write Intel SGX applications in Rust Programming Language.
sbellem/linux-sgx
Intel SGX for Linux*
sbellem/nix-vibes
Resources for nix, the package manager
sbellem/secret-vrf-challenge-contract
sbellem/sgx-hashmachine
sbellem/SGXDataCenterAttestationPrimitives
sbellem/sgxs-tools
Nix flake for sgxs-tools crate (by fortanix)
sbellem/tfhe-rs
TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.
sbellem/toolchain
🛠️ GitHub Action for `rustup` commands
sbellem/xargo
The sysroot manager that lets you build and customize `std`