Stefan (stefandeml)

stefandeml

Geek Repo

Location:Zurich, Switzerland

Github PK Tool:Github PK Tool


Organizations
decentriq
Zokrates

Stefan's starred repositories

code-server

VS Code in the browser

Language:TypeScriptLicense:MITStargazers:65783Issues:728Issues:3424

tink

Tink is a multi-language, cross-platform, open source library that provides cryptographic APIs that are secure, easy to use correctly, and hard(er) to misuse.

Language:JavaLicense:Apache-2.0Stargazers:13452Issues:335Issues:469

patterns

A catalogue of Rust design patterns, anti-patterns and idioms

Language:HandlebarsLicense:MPL-2.0Stargazers:7749Issues:196Issues:130

zcash

Zcash - Internet Money

Language:C++License:NOASSERTIONStargazers:4916Issues:371Issues:3813

tch-rs

Rust bindings for the C++ api of PyTorch.

Language:RustLicense:Apache-2.0Stargazers:3916Issues:48Issues:546

federated

A framework for implementing federated learning

Language:PythonLicense:Apache-2.0Stargazers:2284Issues:69Issues:413

privacy

Library for training machine learning models with privacy for training data

Language:PythonLicense:Apache-2.0Stargazers:1879Issues:59Issues:176

libsnark

C++ library for zkSNARKs

Language:C++License:NOASSERTIONStargazers:1775Issues:89Issues:135

ZoKrates

A toolbox for zkSNARKs on Ethereum

Language:RustLicense:LGPL-3.0Stargazers:1755Issues:42Issues:478

snarkjs

zkSNARK implementation in JavaScript & WASM

Language:JavaScriptLicense:GPL-3.0Stargazers:1681Issues:33Issues:177

tf-encrypted

A Framework for Encrypted Machine Learning in TensorFlow

Language:PythonLicense:Apache-2.0Stargazers:1193Issues:54Issues:436

cryptocoding

Guidelines for low-level cryptography software

asylo

An open and flexible framework for developing enclave applications

Language:C++License:Apache-2.0Stargazers:963Issues:89Issues:60

MP-SPDZ

Versatile framework for multi-party computation

Language:C++License:NOASSERTIONStargazers:850Issues:21Issues:1319

snark

Interfaces for Relations and SNARKs for these relations

Language:RustLicense:Apache-2.0Stargazers:749Issues:41Issues:92

incubator-teaclave

Apache Teaclave (incubating) is an open source universal secure computing platform, making computation on privacy-sensitive data safe and simple.

Language:RustLicense:Apache-2.0Stargazers:741Issues:55Issues:218

circomlib

Library of basic circuits for circom

circom_old

Circuit compiler for zkSNARKs

Language:JavaScriptLicense:GPL-3.0Stargazers:470Issues:27Issues:48

eEVM

Enclave ready EVM (eEVM) is an open-source, standalone, embeddable, C++ implementation of the Ethereum Virtual Machine.

Language:C++License:MITStargazers:356Issues:22Issues:32

dizk

Java library for distributed zero knowledge proof systems

Language:JavaLicense:NOASSERTIONStargazers:227Issues:34Issues:11

nix-env-selector

Allows switch environment for Visual Studio Code using Nix Package Manager.

Language:ClojureLicense:MITStargazers:215Issues:4Issues:48

sapling-crypto

Zcash "Sapling" cryptography

Language:RustLicense:NOASSERTIONStargazers:78Issues:19Issues:65

DNSCrypt-Menu

Manage DNSCrypt from the macOS menu bar (BitBar plugin)

Language:ShellLicense:MITStargazers:76Issues:7Issues:8

bellman-examples

examples for bellman zk-snarks library

rust-secp256k1-zkp

ZKP fork for rust-secp256k1, adds wrappers for range proofs, pedersen commitments, etc

Language:RustLicense:CC0-1.0Stargazers:56Issues:17Issues:18

lunarity

Lunarity - a Solidity parser in Rust

Language:RustLicense:GPL-3.0Stargazers:52Issues:6Issues:5

go-torfluxdb

Anonymous metrics from Go

Language:GoLicense:BSD-3-ClauseStargazers:18Issues:4Issues:0

bellman_benchmarks

bellman scaling benchmarks

Language:RustStargazers:10Issues:2Issues:0

zkp_baby_jubjub_protocols

This repository contains a Zero Knowledge Proof of key ownership for Baby Jubjub inside a ZkSnark using ZoKrates

Language:PythonLicense:MITStargazers:9Issues:3Issues:0
Language:ShellStargazers:1Issues:2Issues:0