BEAT: Asynchronous BFT Made Practical
☆18Mar 4, 2020Updated 6 years ago
Alternatives and similar repositories for beat
Users that are interested in beat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Nov 29, 2022Updated 3 years ago
- Implementation of two BFT consensus protocols☆18Dec 13, 2023Updated 2 years ago
- Lifting Reduction Semantics through Syntactic Sugar☆13May 13, 2018Updated 7 years ago
- 一个Byzantine容错的分布式共识协议研究与实现☆21Jul 25, 2021Updated 4 years ago
- ☆14Jan 14, 2022Updated 4 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Reverse engineering framework.☆36Jun 17, 2022Updated 3 years ago
- Source code for the ICDE 2023 paper "Scaling Blockchain Consensus via a Robust Shared Mempool"☆26Sep 27, 2022Updated 3 years ago
- ☆19Aug 18, 2018Updated 7 years ago
- Mixnet and Anonymous Communication Networks (ACN) research☆22Oct 7, 2019Updated 6 years ago
- ARV: Asynchronous RISC-V Go High-level Functional Model☆25May 18, 2021Updated 4 years ago
- Simply and Easily cross-compile the Rust sysroot crates.☆14Jan 24, 2022Updated 4 years ago
- A GAN approach in keras on the mnist dataset using only MLP's☆16Sep 27, 2017Updated 8 years ago
- Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups☆39Sep 10, 2024Updated last year
- Repository implementing the lightweight split learning framework enabling edge devices to collaboratively train machine learning models w…☆10Mar 27, 2024Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Reference implementation of Squirrel, an Efficient Synchronized Multi-Signatures from Lattices☆24Dec 13, 2023Updated 2 years ago
- Implement distributed consensus protocol Raft and it's expanded version BW-Raft（Supporting Byzantine Fault Tolerance）☆11Apr 30, 2021Updated 4 years ago
- 薪人薪事打卡系统破解，随时随地无限制打卡。无心之作，请不要滥用，欢迎技术交流。☆16Sep 7, 2018Updated 7 years ago
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆55Mar 21, 2026Updated 3 weeks ago
- Repository containing code accompanying the paper "Aggregating Falcon Signatures With LaBRADOR".☆14May 26, 2024Updated last year
- The Honey Badger of BFT Protocols☆323Feb 26, 2020Updated 6 years ago
- This is the smart contract that incentivize voters (of compound) by using the proof of voting NFTs.☆11Sep 8, 2021Updated 4 years ago
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 9 years ago
- Mutation Test Tool for Solidity☆16Jun 17, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Regionalized Value State Dependence Graph written in Rust☆11Nov 17, 2019Updated 6 years ago
- Xscope: Hunting for Cross-Chain Bridge Attacks☆16Aug 1, 2022Updated 3 years ago
- MingMeiMES生产线控制☆16Aug 24, 2019Updated 6 years ago
- Forked from tf-rmm@trustedfirmware, support QEMU platform. Check wiki for instruction. https://github.com/Huawei/Huawei_CCA_RMM/wiki☆21Apr 15, 2023Updated 2 years ago
- A temporary branch of Solo5 (http://github.com/Solo5/solo5) that contains "nabla-run", a seccomp-based tender for Solo5. We are working o…☆14Nov 30, 2018Updated 7 years ago
- This repo provide code for paper "FedCBO: Reaching Consensus in Clustered Federated Learning through Consensus-based Optimization".☆11May 4, 2023Updated 2 years ago
- Paper: "Aggregating Capacity in FL through Successive Layer Training for Computationally-Constrained Devices"☆18Jan 10, 2024Updated 2 years ago
- ☆16Jan 5, 2022Updated 4 years ago
- Lazy, parallelizable and composable group-by operations☆21Dec 24, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Jarvis is a personal voice assistant inspired by the Marvel movie series☆14Mar 7, 2021Updated 5 years ago
- AMC: Asynchronous Memory Compiler☆54Jun 29, 2020Updated 5 years ago
- A RISC-V new instruction discovery tool [Work in Progress]☆15Dec 8, 2022Updated 3 years ago
- A distributed key-value storage that's tolerant to Byzantine fault.☆30Dec 27, 2019Updated 6 years ago
- A location based marketplace for grocery sellers and their nearby customers☆10Feb 28, 2017Updated 9 years ago
- Interactive Brainfuck compiler/interpreter/profiler/transpiler written in Zig☆12May 24, 2025Updated 10 months ago
- Implementation of dBFT consensus algorithm in Go☆20Mar 27, 2026Updated 2 weeks ago