Awesome GitHub RepositoriesQuorum Voting

Algodeck is an open-source collection of flash cards designed for reviewing algorithms, data structures, and system design concepts, specifically curated for technical interview preparation. The project organizes knowledge into atomic question-and-answer pairs and incorporates spaced repetition scheduling to optimize long-term memory retention. The flash card catalog covers a broad range of computer science topics, including classic sorting algorithms like quicksort and mergesort, data structure operations for arrays, trees, heaps, tries, and graphs, as well as bit manipulation techniques for

Dragonboat 是一个 Go 语言实现的 Raft 一致性协议，旨在维护分布式节点集群间的一致状态。它提供了一个用于构建分布式状态机的库，确保系统故障期间的数据完整性和容错能力。 该项目通过多组 Raft 实现脱颖而出，它将数据分区到独立的共识组中，以分配工作负载并提高整体系统处理能力。它还结合了双向 TLS 来加密节点间通信并验证集群成员的身份。 该系统包括支持内存和磁盘持久化的高性能状态机功能。它具有读路径优化以确保一致性而不生成新的日志条目，用于自定义日志后端的插件式存储接口，以及用于在节点多数永久丢失后恢复可用性的仲裁恢复管理工具。 通过导出集群健康指标来支持操作稳定性。

Blitzar 是一个可验证的 SQL 证明引擎和加密库，专为可验证的 SQL 计算而设计。它支持在链下执行数据库查询，同时生成零知识证明，以证明结果的正确性，从而实现链上验证。 该项目以其 GPU 加速的证明加速器脱颖而出，该加速器将繁重的加密工作负载卸载到图形处理器，减少了简洁证明生成所需的时间。它为 C++ 和 Rust 应用提供了高性能加密原语，专注于椭圆曲线运算和多标量乘法。 该系统涵盖了广泛的数据管理和安全面，包括将区块链索引与链下数据集结合到防篡改关系表中的无信任数据集成。它利用 BFT 共识和阈值签名来维护状态完整性，以及用于基于法定人数的数据同步和通过智能合约回调进行验证结果交付的机制。 该代码库提供了 C++ 和 Rust 的原生绑定，以公开其加密工具集和证明计算库。

Redsync 是一个分布式锁管理器和 Go Redis 客户端扩展，旨在确保对共享资源的独占访问。它通过使用 Redis 后端来协调同步并防止分布式环境中的竞态条件，从而在多个进程间实现互斥。 该库通过基于法定人数（quorum）的共识机制维持锁的有效性，要求成功写入大多数独立的 Redis 节点。它利用 Lua 脚本原子操作进行获取和释放，同时采用基于值的归属权验证和生存时间（TTL）过期机制来防止死锁。 该项目提供了分布式协调和应用程序同步功能，利用客户端重试轮询来管理资源获取超时。