Giters
The Initiative for Cryptocurrencies and Contracts (IC3) (initc3)

The Initiative for Cryptocurrencies and Contracts (IC3)

initc3

Geek Repo

IC3 is an initiative of faculty members at several universities worldwide, working to advance the science and applications of blockchains.

Home Page:https://www.initc3.org

Github PK Tool:Github PK Tool

The Initiative for Cryptocurrencies and Contracts (IC3)'s repositories

babySNARK

Baby SNARK (do do dodo dodo)

Language:PythonStargazers:224Issues:7Issues:6

HoneyBadgerBFT-Python

The Honey Badger of BFT Protocols

Language:PythonLicense:NOASSERTIONStargazers:133Issues:8Issues:48

HoneyBadgerMPC

Robust MPC-based confidentiality layer for blockchains

Language:PythonLicense:GPL-3.0Stargazers:127Issues:22Issues:180

i-cant-believe-its-not-stake

resource exhaustion vulnerabilities in PoSv3 cryptocurrencies

Language:PythonLicense:MITStargazers:23Issues:7Issues:0

tee-offchain

hackathon project at IC3 blockchain camp

Language:RustStargazers:12Issues:7Issues:4

HoneyBadgerSwap

Coming soon to a blockchain near you.

Language:PythonLicense:GPL-3.0Stargazers:7Issues:7Issues:26

docker-linux-sgx

Dockerfiles for linux-sgx.

Language:DockerfileLicense:BSD-3-ClauseStargazers:5Issues:4Issues:9

Sting-Flashbots

Language:PythonLicense:MITStargazers:4Issues:4Issues:13

teeons

Project to explore reproducible enclave builds, in the context of TEEs (Trusted Execution Environments).

Language:NixLicense:GPL-3.0Stargazers:4Issues:4Issues:14

badgerswap-v3

IC3 Blockchain Summer Camp 2021 Project, based on HoneyBadgerSwap

Language:GoLicense:GPL-3.0Stargazers:3Issues:6Issues:0

nix-sgx-sdk

Experimental nix derivation for Intel's SGX SDK.

Language:NixLicense:BSD-3-ClauseStargazers:3Issues:4Issues:6

auditee

Tool to verify the reproducibility of SGX enclave builds

Language:CLicense:GPL-3.0Stargazers:2Issues:2Issues:25

ic3-website

Language:JavaScriptStargazers:2Issues:12Issues:230

nix-linux-sgx

Nix derivations for linux-sgx

Language:NixLicense:GPL-3.0Stargazers:2Issues:4Issues:5

certipriv

Source code of http://certicrypt.gforge.inria.fr/certipriv/

Language:CoqLicense:NOASSERTIONStargazers:1Issues:4Issues:1

docker-flashbots

Dockerfile for flashbots builder & prysm

Language:DockerfileLicense:GPL-3.0Stargazers:1Issues:4Issues:0

MP-SPDZ

Versatile framework for multi-party computation

Language:C++License:NOASSERTIONStargazers:1Issues:2Issues:11

pybulletproofs

Language:RustLicense:MITStargazers:1Issues:2Issues:3

pytest-vyper

Language:PythonLicense:Apache-2.0Stargazers:1Issues:1Issues:0

SecretNetwork-Sandbox

Language:RustLicense:NOASSERTIONStargazers:1Issues:6Issues:8

cosmos-sdk

:chains: A Framework for Building High Value Public Blockchains :sparkles:

Language:GoLicense:Apache-2.0Stargazers:0Issues:0Issues:0

docker-gramine

Language:DockerfileLicense:GPL-3.0Stargazers:0Issues:4Issues:4

go-ethereum

A fork of ethereum/go-ethereum just to host debian.Dockerfile

Language:GoLicense:LGPL-3.0Stargazers:0Issues:0Issues:0

gramine

A library OS for Linux multi-process applications, with Intel SGX support

Language:CLicense:LGPL-3.0Stargazers:0Issues:0Issues:0

nix-fortanix

Nix derivations for fortanix tools

Language:NixLicense:MPL-2.0Stargazers:0Issues:4Issues:2

nix-sgx-hello-rust

hello-rust sample from the rust sgx sdk codebase

Language:MakefileLicense:Apache-2.0Stargazers:0Issues:4Issues:2

OasisHax

Language:GoLicense:Apache-2.0Stargazers:0Issues:4Issues:0

sgx-hashmachine

Language:CLicense:NOASSERTIONStargazers:0Issues:4Issues:0

sgx-iot-gateway

Language:CLicense:BSD-3-ClauseStargazers:0Issues:4Issues:0

sgx-nifti

Prototypes to analyze neuroimaging data in trusted hardware (SGX).

Language:PythonLicense:GPL-3.0Stargazers:0Issues:4Issues:5