Skip to content

@novifinancial Novi

Change the repository type filter

All

    Repositories list

    14 repositories

    • tss-ecdsa

      Public archive
      An implementation of a threshold ECDSA signature scheme
      HTML
      •
      Other
      •8•4•11•0•Updated Jul 3, 2023Jul 3, 2023

    • ed25519-speccheck

      Public archive
      Test cases for EdDSA signature verification edge cases
      cryptographyed25519eddsa
      Rust
      •
      Apache License 2.0
      •10•15•0•3•Updated Nov 13, 2022Nov 13, 2022

    • serde-reflection

      Public archive
      Rust libraries and tools to help with interoperability and testing of serialization formats based on Serde.
      Rust
      •
      Apache License 2.0
      •42•139•7•2•Updated May 19, 2022May 19, 2022

    • fastpay

      Public archive
      FastPay: High-Performance Byzantine Fault Tolerant Settlement
      Rust
      •
      Apache License 2.0
      •19•80•1•2•Updated Apr 18, 2022Apr 18, 2022

    • x25519-dalek-fiat

      Public archive
      X25519 elliptic curve Diffie-Hellman key exchange in pure-Rust, using curve25519-dalek.
      Rust
      •
      BSD 3-Clause "New" or "Revised" License
      •133•1•0•0•Updated Feb 1, 2022Feb 1, 2022

    • hashwires

      Public archive
      HashWires is a range proof system for credentials issued by a trusted third party.
      Rust
      •
      MIT License
      •6•18•6•0•Updated Jan 28, 2022Jan 28, 2022

    • smtree

      Public archive
      An api for constructing sparse Merkle tree accumulators with random sampling capabilities.
      Rust
      •
      MIT License
      •5•24•2•0•Updated Oct 19, 2021Oct 19, 2021

    • librabft_simulator

      Public archive
      Discrete-event simulation for BFT consensus protocols
      Rust
      •
      Apache License 2.0
      •10•48•4•0•Updated Oct 13, 2021Oct 13, 2021

    • 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.
      Rust
      •
      MIT License
      •5•3•0•0•Updated Oct 12, 2021Oct 12, 2021

    • curve25519-dalek-fiat

      Public archive
      A pure-Rust implementation of group operations on Ristretto and Curve25519
      Rust
      •
      Other
      •452•1•0•0•Updated Oct 11, 2021Oct 11, 2021

    • ed25519-dalek-fiat

      Public archive
      Fast and efficient ed25519 signing and verification in Rust.
      Rust
      •
      BSD 3-Clause "New" or "Revised" License
      •226•1•0•1•Updated Oct 11, 2021Oct 11, 2021

    • rust-plasma

      Public archive
      Rust crates for working with Arrow Plasma, an in-memory object store which enables efficient memory sharing across processes on the same machine.
      Rust
      •
      MIT License
      •12•26•0•1•Updated Mar 30, 2021Mar 30, 2021

    • LibraChain

      Public archive
      A library providing mechanized proofs of the LibraBFT consensus using the Coq theorem prover
      Coq
      •
      Apache License 2.0
      •1•25•2•0•Updated May 28, 2020May 28, 2020

    • rust-curve25519-fiat

      Public archive
      Rust bindings to formally-proven field arithmetic operations from MIT's fiat-crypto project
      Rust
      •
      Apache License 2.0
      •5•12•0•0•Updated Feb 17, 2020Feb 17, 2020