Stefan's repositories
bellman_benchmarks
bellman scaling benchmarks
covid-hackathon
Repo for the cocotrace project in the CodeVsCovid19 Hackathon
ZoKrates
A toolbox for zkSNARKS on Ethereum
bellman
zk-SNARK library
go-centrifuge
Golang implementation of Centrifuge Node
libff
C++ library for Finite Fields and Elliptic Curves
manylinux-wheel-builder
This action builds manylinux wheels for several recent versions of Python (3.6 - 3.9) and publishes to pypi. It uses docker image provided by pypa's manylinux project. We are using manylinux2010_x86_64 docker image which requires pip >= 19.0 on the client installing the built wheel.
nixbox
NixOS Vagrant boxes [maintainer=@zimbatm]
pairing
Pairing-friendly elliptic curve library
PySyft
Private Deep Learning Client
rust-fil-proofs
Proofs for Filecoin in Rust
rust-sgx
The Fortanix Rust Enclave Development Platform
sapling-crypto
Zcash "Sapling" cryptography
snarky
OCaml DSL for verifiable computation
STARKs
A spot to start collecting info about STARKs for our study group
wasmer
🚀 The Universal WebAssembly Runtime supporting WASI and Emscripten
wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift
webpki
WebPKI X.509 Certificate Validation in Rust
yubikey-agent
yubikey-agent is a seamless ssh-agent for YubiKeys.