The Initiative for Cryptocurrencies and Contracts (IC3)

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

Pinned Repositories

allofthecoins
build files for cryptocurrency and open blockchain nodes
Language:Dockerfile5 4 00
babySNARK
Baby SNARK (do do dodo dodo)
Language:Python228 6 622
HoneyBadgerBFT
19 6 00
HoneyBadgerBFT-Go
6 5 00
HoneyBadgerBFT-Python
The Honey Badger of BFT Protocols
Language:Python134 8 4865
HoneyBadgerMPC
Robust MPC-based confidentiality layer for blockchains
Language:Python129 22 18064
HoneyBadgerSwap
Coming soon to a blockchain near you.
Language:Python7 7 266
i-cant-believe-its-not-stake
resource exhaustion vulnerabilities in PoSv3 cryptocurrencies
Language:Python23 7 014
SaUCy
The modular protocol framework based on Universal Composability
Language:Haskell18 7 04
tee-offchain
hackathon project at IC3 blockchain camp
Language:Rust12 7 40

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

initc3/babySNARK
Baby SNARK (do do dodo dodo)
Language:Python228 6 622
initc3/HoneyBadgerBFT-Python
The Honey Badger of BFT Protocols
Language:Python134 8 4865
initc3/HoneyBadgerMPC
Robust MPC-based confidentiality layer for blockchains
Language:Python129 22 18064
initc3/i-cant-believe-its-not-stake
resource exhaustion vulnerabilities in PoSv3 cryptocurrencies
Language:Python23 7 014
initc3/tee-offchain
hackathon project at IC3 blockchain camp
Language:Rust12 7 40
initc3/HoneyBadgerSwap
Coming soon to a blockchain near you.
Language:Python7 7 266
initc3/docker-linux-sgx
Dockerfiles for linux-sgx.
Language:Dockerfile5 4 93
initc3/Sting-Flashbots
Language:Python4 4 131
initc3/teeons
Project to explore reproducible enclave builds, in the context of TEEs (Trusted Execution Environments).
Language:Nix4 4 142
initc3/auditee
Tool to verify the reproducibility of SGX enclave builds
Language:C3 3 256
initc3/badgerswap-v3
IC3 Blockchain Summer Camp 2021 Project, based on HoneyBadgerSwap
Language:Go3 6 08
initc3/nix-sgx-sdk
Experimental nix derivation for Intel's SGX SDK.
Language:Nix3 4 61
initc3/ic3-website
Language:JavaScript2 12 2304
initc3/pybulletproofs
Language:Rust2 2 32
initc3/SecretNetwork-Sandbox
Language:Rust2 6 8
initc3/certipriv
Source code of http://certicrypt.gforge.inria.fr/certipriv/
Language:Coq1 4 1
initc3/docker-flashbots
Dockerfile for flashbots builder & prysm
Language:Dockerfile1 4 01
initc3/MP-SPDZ
Versatile framework for multi-party computation
Language:C++1 2 11
initc3/pytest-vyper
Language:Python1 1 01
initc3/cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
Language:Go0 0
initc3/docker-gramine
Language:Dockerfile4 41
initc3/go-ethereum
A fork of ethereum/go-ethereum just to host debian.Dockerfile
Language:Go0 0
initc3/gramine
A library OS for Linux multi-process applications, with Intel SGX support
Language:C0 0
initc3/gramine-py1
Language:Python
initc3/nix-fortanix
Nix derivations for fortanix tools
Language:Nix4 21
initc3/nix-sgx-hello-rust
hello-rust sample from the rust sgx sdk codebase
Language:Makefile4 2
initc3/OasisHax
Language:Go4 0
initc3/sgx-hashmachine
Language:C4 0
initc3/sgx-iot-gateway
Language:C4 0
initc3/sgx-nifti
Prototypes to analyze neuroimaging data in trusted hardware (SGX).
Language:Python4 5