[NSDI'25] BFTBrain: Adaptive BFT Consensus with Reinforcement Learning, [VLDB'24] BFTGym: An Interactive Playground for BFT Protocols
☆20May 13, 2025Updated last year
Alternatives and similar repositories for BFTBrain
Users that are interested in BFTBrain are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- IS416 Final Project. A PoW-based blockchain implementation with attackers trying fork attacks. Language: Go.☆17Jan 10, 2022Updated 4 years ago
- SQL Optimizations using MLIR☆12Apr 5, 2020Updated 6 years ago
- Source code for the ICDE 2023 paper "Scaling Blockchain Consensus via a Robust Shared Mempool"☆26Sep 27, 2022Updated 3 years ago
- PVSS & Scrape in rust☆11Jul 14, 2026Updated last week
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆14Sep 8, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 西安西电链融科技有限公司项目，使用零知识证明实现可监管的完全的匿名交易☆19Aug 17, 2019Updated 6 years ago
- Checkpointing PoW blockchains with HotStuff BFT☆10Jan 5, 2022Updated 4 years ago
- ☆10Nov 16, 2023Updated 2 years ago
- ☆14Jun 11, 2020Updated 6 years ago
- A custom-designed distributed blockchain for sharing service☆21Feb 11, 2026Updated 5 months ago
- Analyse Social Network of co-authors in DBLP website (https://dblp.uni-trier.de) using NetworkX.☆13May 27, 2020Updated 6 years ago
- 🫧 Code for Holistic Reasoning with Long-Context LMs: A Benchmark for Database Operations on Massive Textual Data (Maekawa*, Iso* et al.…☆12Feb 25, 2025Updated last year
- A minimal bootstrap scheme for fast boot of serverless microVMs with AMD Secure Encrypted Virtualization (SEV)☆15Feb 7, 2024Updated 2 years ago
- prime+probe code targeting a given physical address on libgcrypt run in an SGX enclave☆15Dec 6, 2018Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Multithreaded implementation of the partitioned hash join algorithm for an in-memory columnar database☆14Sep 18, 2023Updated 2 years ago
- ☆11Nov 2, 2022Updated 3 years ago
- EigenTrust in Go☆11Mar 1, 2016Updated 10 years ago
- Reproducibility package for "Robust Join Processing with Diamond Hardened Joins"☆12Jul 10, 2024Updated 2 years ago
- openGauss odbc connector☆11Updated this week
- ☆12Sep 13, 2024Updated last year
- ☆11Dec 12, 2019Updated 6 years ago
- A additional Rust compiler pass to detect memory safe bugs of Rust programs.☆18Dec 28, 2023Updated 2 years ago
- Data sharing demo built on CovenantSQL☆14Jan 3, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A code-generating database system with incorporated versioning commands in SQL.☆13Jan 18, 2021Updated 5 years ago
- Ebaas hash time locked cross chain samples.☆14Apr 24, 2023Updated 3 years ago
- Learned Query Optimizer☆13Mar 16, 2022Updated 4 years ago
- MEAN Full Stack☆11Jun 26, 2017Updated 9 years ago
- ☆14Feb 28, 2021Updated 5 years ago
- ☆20Aug 3, 2018Updated 7 years ago
- Agentic Skill for Paper Review☆15Feb 4, 2026Updated 5 months ago
- Analyzing insurance fraud claims using IBM Db2 graph database☆13Jul 30, 2020Updated 5 years ago
- Single tape turing machine simulator in emacs and python, inspired by http://morphett.info/turing/turing.html☆17Feb 22, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- [ASPLOS 2026, Best Paper Honorable Mention] Highly Automated Verification of Security Properties for Unmodified System Software☆19Mar 31, 2026Updated 3 months ago
- The Train Benchmark framework for evaluating incremental model validation performance☆13Nov 1, 2022Updated 3 years ago
- ☆12Jan 24, 2023Updated 3 years ago
- Remote attestation for Trusted and Confidential Computing platforms (TPM, AMD SEV-SNP, Intel SGX/TDX)☆24Updated this week
- pyo3 examples☆25Nov 23, 2021Updated 4 years ago
- A library and an application to provide migratable primitives for SGX enclaves.☆22Feb 28, 2020Updated 6 years ago
- Proof of concept blockchain platform for transparent trust evaluation in healthcare.☆11Feb 11, 2022Updated 4 years ago