Novi (@novifinancial)
Guthub

novifinancial

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    396
  • Global Org. Rank 27,514 (Top 9 %)
  • Registered over 5 years ago
  • Most used languages
    Rust
         81.8 %
    HTML
         9.1 %
    Coq     9.1 %

Top repositories

1

serde-reflection

Rust libraries and tools to help with interoperability and testing of serialization formats based on Serde.
Rust
139
star
2

fastpay

FastPay: High-Performance Byzantine Fault Tolerant Settlement
Rust
79
star
3

librabft_simulator

Discrete-event simulation for BFT consensus protocols
Rust
48
star
4

rust-plasma

Rust crates for working with Arrow Plasma, an in-memory object store which enables efficient memory sharing across processes on the same machine.
Rust
26
star
5

LibraChain

A library providing mechanized proofs of the LibraBFT consensus using the Coq theorem prover
Coq
25
star
6

smtree

An api for constructing sparse Merkle tree accumulators with random sampling capabilities.
Rust
24
star
7

hashwires

HashWires is a range proof system for credentials issued by a trusted third party.
Rust
18
star
8

ed25519-speccheck

Test cases for EdDSA signature verification edge cases
Rust
15
star
9

rust-curve25519-fiat

Rust bindings to formally-proven field arithmetic operations from MIT's fiat-crypto project
Rust
12
star
10

tss-ecdsa

An implementation of a threshold ECDSA signature scheme
HTML
4
star
11

generic-array-derive

generic-bytes and generic-bytes-derive, two crates that allow you to derive and implement SizedBytes, a trait that embodies conversion to and from an array of bytes with a type-level length.
Rust
3
star