🏛️ Byzantine Archiving - matmat · Scour

Information-Theoretic Kuplex

🛡️Byzantine Fault Tolerance

decentralizedthoughts.github.io·

Hierarchical Certified Semantic Commitment for Byzantine-Resilient LLM-Agent Collaboration

🤝Consensus Networks Academic

Less-relevant results

Meta-Optimized Continual Adaptation for coastal climate resilience planning with zero-trust governance guarantees

🌐Network Security Code

··DEV

Mechanized Proofs for Atomic Cross-Domain State Synchronization

📐Proof Assistants

Clownfish: Scaling DAG-based BFT Consensus via Sparse Edges

🛡️Byzantine Fault Tolerance Academic

Emergent Collaborative Deliberation in Multi-Model AI Systems: A BFT-Derived Protocol for Epistemic Synthesis

🤝Consensus Networks Academic

BigDipper: Sharded Censorship Resistant Data Availability for Leader-Based BFT

📚Archive Mathematics Academic

TeeDAO: A Decentralized Autonomous Organization for Heterogeneous TEEs

🔒Privacy Preserving Academic

BaltiVoice: A Speech Corpus and Fine-tuned Whisper ASR System for the Balti Language

🎙️Whisper Academic

Mechanized Proofs for Atomic Cross-Domain State Synchronization

📐Proof Assistants

Log in to enable infinite scrolling