Discover examachine/fiat-shamir-zkp Open Source project

Stars
10
Rank 1,807,489 (Top 36 %)
Language
OCaml
License
GNU Affero Genera...
Created almost 8 years ago
Updated almost 8 years ago

examachine

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

OCaml implementation of Fiat-Shamir Zero Knowledge Proof system as a client/server authentication protocol

pisi

PISI package manager of Pardus linux written in Python. The original development branch by the main author.

Python

parallpairs

Parallel all-pairs similarity search algorithms in ocaml #ocaml

OCaml

promptspace

A volume rendering tool in C++ that implements the shear-warp factorization algorithm

C++

digital-red

Digital-Red is a collection of succinct, elegant OCaml implementations of the algorithms in the famous MIT red book of algorithms.

OCaml

lasvegas-geom

Ocaml implementation of some randomized computational geometry algorithms

OCaml

bitdrill

Bitdrill is the world's FASTEST frequent itemset mining / association rule mining tool, library, and framework.

C++

drakon

Partial C++ parser written in Haskell / Parsec

Haskell

micro-synthetic

An OCaml implementation of the Micro-Synthetic algorithm to verify a new theory of pattern discovery.

C++

medic

A comprehensive DICOM 3.0 implementation in C++

C++

soundex

Soundex algorithm implemented in ocaml

OCaml

multilevel-gpvs

A multi-level graph partitioning by vertex separator algorithm I implemented for my senior project

Roff

pcs

A pascal compilation system that makes heavy use of C++ template programming

C++

par-quicksort

Parallel quicksort on hypercube, written in C.

skel

Some skeleton codes that I wrote for quickly starting projects.

Shell

superquadrics

A demonstration of superquadrics with geometric meshes written in C++

C++

examachine/fiat-shamir-zkp

examachine

Reviews

Repository Details

More Repositories