Popular repositories Loading
-
serde-reflection
serde-reflection Public archiveRust libraries and tools to help with interoperability and testing of serialization formats based on Serde.
-
librabft_simulator
librabft_simulator Public archiveDiscrete-event simulation for BFT consensus protocols
-
rust-plasma
rust-plasma Public archiveRust crates for working with Arrow Plasma, an in-memory object store which enables efficient memory sharing across processes on the same machine.
-
LibraChain
LibraChain Public archiveA library providing mechanized proofs of the LibraBFT consensus using the Coq theorem prover
Repositories
- serde-reflection Public archive
Rust libraries and tools to help with interoperability and testing of serialization formats based on Serde.
novifinancial/serde-reflection’s past year of commit activity - x25519-dalek-fiat Public archive Forked from dalek-cryptography/x25519-dalek
X25519 elliptic curve Diffie-Hellman key exchange in pure-Rust, using curve25519-dalek.
novifinancial/x25519-dalek-fiat’s past year of commit activity - generic-array-derive Public archive
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/generic-array-derive’s past year of commit activity - curve25519-dalek-fiat Public archive Forked from dalek-cryptography/curve25519-dalek
A pure-Rust implementation of group operations on Ristretto and Curve25519
novifinancial/curve25519-dalek-fiat’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…