Explore projects

Cryptographically-proven Erasure Coding

crate: https://crates.io/crates/komodo mirror: https://github.com/dragoon-rs/komodo

An example application of Komodo. This implements a simple CLI application with a Nushell wrapper.

Cryptographically-proven Erasure Coding

crate: https://crates.io/crates/komodo mirror: https://github.com/dragoon-rs/komodo

crate: https://crates.io/crates/dragoonfri mirror: https://github.com/dragoon-rs/fri

A Provable Coded P2P System

Cryptographically-proven Erasure Coding

crate: https://crates.io/crates/komodo mirror: https://github.com/dragoon-rs/komodo

Explores ways to branch an RNG to measure things about a random process without changing the state of the RNG when doing measures or not.

A project investigating the invertability of random matrices over a finite field.

A project that investigate the correcteness and performance of different quicksort implementations.