initc3

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

Pinned Repositories

babySNARK
Baby SNARK (do do dodo dodo)
Language:Python220 7 621
docker-linux-sgx
Dockerfiles for linux-sgx.
Language:Dockerfile5 4 93
HoneyBadgerBFT
19 6 00
HoneyBadgerBFT-Go
5 5 00
HoneyBadgerBFT-Python
The Honey Badger of BFT Protocols
Language:Python133 8 4865
HoneyBadgerMPC
Robust MPC-based confidentiality layer for blockchains
Language:Python127 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:Haskell16 7 03
tee-offchain
hackathon project at IC3 blockchain camp
Language:Rust12 7 40

initc3's Repositories

initc3/babySNARK
Baby SNARK (do do dodo dodo)
Language:Python220 7 621
initc3/HoneyBadgerBFT-Python
The Honey Badger of BFT Protocols
Language:Python133 8 4865
initc3/HoneyBadgerMPC
Robust MPC-based confidentiality layer for blockchains
Language:Python127 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/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/auditee
Tool to verify the reproducibility of SGX enclave builds
Language:C2 2 256
initc3/ic3-website
Language:JavaScript2 12 2304
initc3/nix-linux-sgx
Nix derivations for linux-sgx
Language:Nix2 4 53
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/pybulletproofs
Language:Rust1 2 32
initc3/pytest-vyper
Language:Python1 1 01
initc3/SecretNetwork-Sandbox
Language:Rust1 6 8
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/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