tarcieri / paradox

Related projects ⓘ

Alternatives and complementary repositories for paradox

• sile / plumtree
  A Rust implementation of Plumtree algorithm
  ☆26Updated 2 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• ruuda / transducers
  A transducer library for Rust
  ☆10Updated 8 years ago
• rot256 / ninn
  An experimental implementation of nQUIC in Rust
  ☆29Updated 6 years ago
• trailofbits / indurative
  Easily create authenticated data structures
  ☆43Updated last year
• hacspec / hacspec-python
  Please check out https://github.com/hacspec/hacspec for more information on hacspec
  ☆46Updated 4 years ago
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆45Updated 4 years ago
• rsaarelm / nock-rs
  ☆14Updated 8 years ago
• cryptouri / cryptouri.rs
  Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding
  ☆34Updated last year
• GaloisInc / rustwall
  Rust firewall for seL4
  ☆10Updated 6 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆0Updated 5 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 7 years ago
• gandro / cargo-rumpbake
  Baking rumprun images with cargo
  ☆12Updated 9 years ago
• graydon / z3-rs
  ☆23Updated 6 years ago
• ycrypto / nisty
  NIST P-256 signatures for Cortex-M4 microcontrollers
  ☆14Updated 3 years ago
• Michael-F-Bryan / tinyvm-rs
  An incremental port of jakogut/tinyvm to Rust
  ☆13Updated 4 years ago
• zooko / hash-function-survey
  a web page / paper
  ☆18Updated 7 years ago
• ebfull / nemo
  Session types for asynchronous networking
  ☆20Updated 9 years ago
• hacspec / rust-secret-integers
  Wrappers around Rust's integer to check for constant-time-compatible usage
  ☆22Updated 4 years ago
• kushti / flp
  Formalization of FLP Impossibility Theorem
  ☆18Updated 9 years ago
• gendx / haraka-rs
  A Rust implementation of the Haraka hash function
  ☆10Updated last year
• hannesm / conex
  establish trust in community repositories, cryptographically signed by library authors
  ☆33Updated last week
• ConsenSysMesh / Fae
  A functional smart contract system
  ☆6Updated 5 years ago
• justinsheehy / vertree
  a tree. with versions.
  ☆13Updated 7 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆14Updated 6 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• GaloisInc / ec2-unikernel
  Tool for uploading unikernels into EC2
  ☆76Updated 6 years ago
• sdiehl / shamir
  Shamir Secret Sharing
  ☆20Updated 4 years ago