Determinant / salticidaeView external linksLinks
Minimal C++ asynchronous network library for distributed systems.
☆38May 3, 2021Updated 4 years ago
Alternatives and similar repositories for salticidae
Users that are interested in salticidae are comparing it to the libraries listed below
Sorting:
- Website!☆22Sep 20, 2022Updated 3 years ago
- Compact Proofs of Retrievability☆14May 28, 2014Updated 11 years ago
- Small repo for implementing the 2018 EUROCRYPT paper "Simple Proofs of Sequential Work" by Cohen and Pietrzak. Also used as part of our C…☆10Aug 26, 2018Updated 7 years ago
- A general-purpose BFT state machine replication library with modularity and simplicity, suitable for building hybrid consensus cryptocurr…☆284Jun 22, 2023Updated 2 years ago
- Rust Bloomfilters☆29Feb 11, 2022Updated 4 years ago
- ☆15Sep 28, 2020Updated 5 years ago
- Development of the Raiden Monitoring and Pathfinding Services☆10Mar 7, 2023Updated 2 years ago
- ☆14Jul 20, 2017Updated 8 years ago
- A Zero-Knowledge Toolkit☆15Oct 15, 2020Updated 5 years ago
- Concurrent cross-platform terminal interface☆19Apr 15, 2023Updated 2 years ago
- 🎄🖋 A Rust implementation of Merkle signing☆15Jul 10, 2020Updated 5 years ago
- Kate-Zaverucha-Goldberg polynomial commitments in rust playground☆13Aug 18, 2021Updated 4 years ago
- DF Bot☆14Sep 29, 2021Updated 4 years ago
- [Optimism] Client-Side Services☆19Apr 9, 2021Updated 4 years ago
- CS 5830: Cryptography☆15May 17, 2017Updated 8 years ago
- a naive static http server that solves C10K problem☆17Jan 8, 2017Updated 9 years ago
- An ESBuild server for Dark Forest plugin development.☆16Jun 15, 2022Updated 3 years ago
- CITA BFT☆15Oct 9, 2020Updated 5 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 3 years ago
- Red-Black Tree and Completely Fair Scheduler Simulation and Visualization☆17Apr 5, 2014Updated 11 years ago
- Libhalog is an open-source high available redo-log library using multiple paxos.☆37Jun 17, 2018Updated 7 years ago
- Proof-of-Reserves tool for Bitcoin☆50Oct 25, 2023Updated 2 years ago
- Lua like script language☆18Apr 26, 2016Updated 9 years ago
- An implementation of the Raft consensus protocol.☆14Aug 6, 2018Updated 7 years ago
- ⛵ A distributed key-value store based on Raft. (WIP)☆44May 1, 2020Updated 5 years ago
- A concurrency toolbox for c++11, including a cached thread pool executor, a shared timed mutex, a fair semaphore and several other utilit…☆15Feb 23, 2017Updated 8 years ago
- Simple and modular write-ahead-logging implementation.☆25Feb 6, 2024Updated 2 years ago
- High Performance Key-Value Store☆50Updated this week
- Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model☆18Aug 9, 2018Updated 7 years ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆23May 6, 2019Updated 6 years ago
- ☆23Oct 3, 2022Updated 3 years ago
- Specification of the RenVM MPC algorithm☆19May 27, 2020Updated 5 years ago
- ☆24Feb 23, 2022Updated 3 years ago
- BFT-SMaRt's project home page☆456Nov 19, 2025Updated 2 months ago
- [Optimism] Layer 2 Verifier☆28Jan 21, 2021Updated 5 years ago
- ☆52May 12, 2023Updated 2 years ago
- ☆27Nov 22, 2018Updated 7 years ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Jan 22, 2023Updated 3 years ago
- LibSWIFFT - A fast C/C++ library for the SWIFFT secure homomorphic hash function☆29Nov 21, 2023Updated 2 years ago