Stefan's starred repositories
code-server
VS Code in the browser
tf-encrypted
A Framework for Encrypted Machine Learning in TensorFlow
cryptocoding
Guidelines for low-level cryptography software
incubator-teaclave
Apache Teaclave (incubating) is an open source universal secure computing platform, making computation on privacy-sensitive data safe and simple.
circom_old
Circuit compiler for zkSNARKs
nix-env-selector
Allows switch environment for Visual Studio Code using Nix Package Manager.
sapling-crypto
Zcash "Sapling" cryptography
DNSCrypt-Menu
Manage DNSCrypt from the macOS menu bar (BitBar plugin)
bellman-examples
examples for bellman zk-snarks library
rust-secp256k1-zkp
ZKP fork for rust-secp256k1, adds wrappers for range proofs, pedersen commitments, etc
go-torfluxdb
Anonymous metrics from Go
bellman_benchmarks
bellman scaling benchmarks
zkp_baby_jubjub_protocols
This repository contains a Zero Knowledge Proof of key ownership for Baby Jubjub inside a ZkSnark using ZoKrates