spector-in-london Goto Github PK

common

Shared components for the Hydro project

compauth

A proof-of-concept permission system using accumulators.

compiler

The adventures of a Haskell compiler

compressed_sigma-protocol

Rust implementation for Compressed Σ-Protocol Theory and Practical Application to Plug & Play Secure Algorithmics

concert

A framework for smart contract verification in Coq

concord-bft

Concord byzantine fault tolerant state machine replication library

concrete

Concrete Operates oN Ciphertexts Rapidly by Extending TfhE

config

Various program configuration files and scripts

consensus

The implementations of BFT algorithms

consensus-bft

A consensus libary by BFT protocol.

contributing-template

Template for writing your own contributing guide

cook

Makefile -> Cookbook.py

core

:doughnut: Bloom Protocol smart contracts

core-control

Core v2 Management Tool

costmodel

Cost model for Halo 2

cothority

Scalable collective authority

coursera-machine-learning-python

Course Machine Learning assignments in Python.

cpsnarks-set

Rust library for efficient, succinct and modular set membership and non-membership proofs

cpsnarks-set-accumulator

crates

A collection of open source Rust crates from iqlusion

crisp

criterion.rs

Statistics-driven benchmarking library for Rust

crossbeam

Tools for concurrent programming in Rust

crun

A fast and lightweight fully featured OCI runtime and C library for running containers

crypto-lecture-notes

This repository collects lecture notes on Cryptography that are publicly accessible.

crypto-tk

Cryptographic toolkit for searchable encryption.

cryptocoding

Guidelines for low-level cryptography software

cryptofun

Crypto algorithms from scratch. Learning purposes only. ECC, BN128 pairing, Paillier, RSA, Homomorphic computation, ElGamal, Schnorr, ECDSA, BLS, ...

cryptoinaction

CIA - CryptoInAction

cryptoshark

Self-optimizing cross-platform code tracer based on dynamic recompilation