Pinned Repositories
ed25519-speccheck
Test cases for EdDSA signature verification edge cases
fastpay
FastPay: High-Performance Byzantine Fault Tolerant Settlement
hashwires
HashWires is a range proof system for credentials issued by a trusted third party.
librabft_simulator
Discrete-event simulation for BFT consensus protocols
LibraChain
A library providing mechanized proofs of the LibraBFT consensus using the Coq theorem prover
rust-curve25519-fiat
Rust bindings to formally-proven field arithmetic operations from MIT's fiat-crypto project
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.
serde-reflection
Rust libraries and tools to help with interoperability and testing of serialization formats based on Serde.
smtree
An api for constructing sparse Merkle tree accumulators with random sampling capabilities.
tss-ecdsa
An implementation of a threshold ECDSA signature scheme
Novi's Repositories
novifinancial/serde-reflection
Rust libraries and tools to help with interoperability and testing of serialization formats based on Serde.
novifinancial/fastpay
FastPay: High-Performance Byzantine Fault Tolerant Settlement
novifinancial/librabft_simulator
Discrete-event simulation for BFT consensus protocols
novifinancial/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.
novifinancial/LibraChain
A library providing mechanized proofs of the LibraBFT consensus using the Coq theorem prover
novifinancial/smtree
An api for constructing sparse Merkle tree accumulators with random sampling capabilities.
novifinancial/hashwires
HashWires is a range proof system for credentials issued by a trusted third party.
novifinancial/ed25519-speccheck
Test cases for EdDSA signature verification edge cases
novifinancial/rust-curve25519-fiat
Rust bindings to formally-proven field arithmetic operations from MIT's fiat-crypto project
novifinancial/tss-ecdsa
An implementation of a threshold ECDSA signature scheme
novifinancial/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.
novifinancial/curve25519-dalek-fiat
A pure-Rust implementation of group operations on Ristretto and Curve25519
novifinancial/ed25519-dalek-fiat
Fast and efficient ed25519 signing and verification in Rust.
novifinancial/x25519-dalek-fiat
X25519 elliptic curve Diffie-Hellman key exchange in pure-Rust, using curve25519-dalek.