manishkk

Dlog-zkp

Formalisation of Schnorr Protocol and other proofs (https://www.win.tue.nl/~berry/2WC13/LectureNotes.pdf)

Schulzeproperties

This repo is intended for verifying properties of Schulze Method

graph-theory

Graph Theory [maintainers=@chdoc,@damien-pous]

research

Research at Protocol Labs

FTSEmu

Emulating Distributed Fault Tolerant Termination Detection with Safra's Algorithm

mirbft

MirBFT is a consensus library implementing the Mir consensus protocol.

2022benchmark

CertiGraph-VST

FormalML

Formalization of Machine Learning Theory with Applications to Program Synthesis

PPML-Resource

Materials about Privacy-Preserving Machine Learning

fully-homomorphic-encryption

An FHE compiler for C++

tf-encrypted

A Framework for Encrypted Machine Learning in TensorFlow

courses

A place where our community can discuss OpenMined Courses, including posting questions, sharing feedback, or providing comments for discussion!

CrypTen

A framework for Privacy Preserving Machine Learning

tlaplus-examples

Basic TLA+ Examples

awesome-tlaplus

A curated list of TLA+ resources.

awesome-theoretical-computer-science

The interdicplinary of Mathematics and Computer Science, Distinguisehed by its emphasis on mathemtical technique and rigour.

randomness_testsuite

This is a Python implementation of NIST's A Statistical Test Suite for Random and Pseudorandom Number Generators for Cryptographic Applications

CCF

Confidential Consortium Framework

graph-proofs

Proofs about graph algorithms

systems-research

Introduction to Computer Systems Research

Distributed-Graph-Algorithms

🌳 A collection of distributed graph algorithms, implemented in Python/DistAlgo

awesome-he

✨ Awesome - A curated list of amazing Homomorphic Encryption libraries, software and resources

accio-bib

Read a list of paper titles and save their DBLP bibtex entries in a file.

smart-contract-formal-verification

Formal Verification of smart contracts, using PROMELA verification modeling language and SPIN model checker

PLGradSchools

diem

Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.

differential-privacy-library

Diffprivlib: The IBM Differential Privacy Library

bulls-and-cows

Simple 'Bulls and cows' js game.

dead-and-wounded

A number guessing game (the original name is Bulls and Cows but I like violence so lol)