Sylvain Bellemare's repositories
quantum-vibes
Resources on the topic of Quantum Money
sgx-ipp-crypto
Fork of linux-sgx to build IPP Crypto for SGX
_sgx-ipp-crypto
Fork of linux-sgx with only the code to build ipp-crypto from source
avalanchego
Official Go implementation of an Avalanche node.
Awesome-SGX-Open-Source
Open Source Projects that helps exploit Intel SGX technology
badgerswap-v3
IC3 Blockchain Summer Camp 2021 Project, based on HoneyBadgerSwap
certicrypt
CertiCrypt Coq Framework
cmake-project-template
This project is aimed at jump-starting a C/C++ project that can build libraries, binaries and have a working unit test suite. It uses CMake build system and is deliberately completely minimal.
docker-base
Parent image for Docker images of the Coq proof assistant [maintainer=@erikmd]
docker-coq
Docker images of the Coq proof assistant [maintainer=@erikmd]
getting-started-nix-template
Based on nix.dev tutorials, repository template to get you started with Nix.
IC32021AMM
IC3 AMM Project
MATRIX
MPC Simulation Framework
mobilecoin
Private payments for mobile devices.
nix-linux-sgx
Nix derivations for linux-sgx
pypuf
Cryptanalysis of Physically Unclonable Functions
rotki
A portfolio tracking, analytics, accounting and tax reporting application that protects your privacy
rscodes
Experimental Reed-Solomon Codes
sgx-dust
Notes on working with SGX
stark-anatomy
Tutorial for STARKs with supporting code in python
Town-Crier-docker-sevices
Docker services for Town Crier
ZoKrates
A toolbox for zkSNARKs on Ethereum