Cover Image

A Formal Rebuttal of "The Blockchain Trilemma: A Formal Proof of the Inherent Trade-Offs Among Decentralization, Security, and Scalability"

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Wright, Craig
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security Artificial Intelligence Distributed, Parallel, and Cluster Computing Computer Science and Game Theory Software Engineering 68M14, 68P25, 68T30, 94A60, 18C10 D.4.6; K.6.5; C.2.1; H.3.5; D.2.11
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Safe Low Bandwidth SPV: A Formal Treatment of Simplified Payment Verification Protocols and Security Bounds
by: Wright, Craig S
Published: (2025)

Formal Analysis and Supply Chain Security for Agentic AI Skills
by: Bhardwaj, Varun Pratap
Published: (2026)

SmartEdge: Smart Healthcare End-to-End Integrated Edge and Cloud Computing System for Diabetes Prediction Enabled by Ensemble Machine Learning
by: Hennebelle, Alain, et al.
Published: (2025)

When the Agent Is the Adversary: Architectural Requirements for Agentic AI Containment After the April 2026 Frontier Model Escape
by: Mitchell, Richard Joseph
Published: (2026)

A Formal Refutation of the Blockchain Trilemma
by: Wright, Craig
Published: (2025)

A Systematic Review of Digital Twin-Driven Predictive Maintenance in Industrial Engineering: Taxonomy, Architectural Elements, and Future Research Directions
by: Ismail, Leila, et al.
Published: (2025)

Formal Security Analysis of SPV Clients Versus Home-Based Full Nodes in Bitcoin-Derived Systems
by: Wright, Craig Steven
Published: (2025)

Adaptive Trust Consensus for Blockchain IoT: Comparing RL, DRL, and MARL Against Naive, Collusive, Adaptive, Byzantine, and Sleeper Attacks
by: Padia, Soham, et al.
Published: (2025)

Federated Learning in Adversarial Environments: Testbed Design and Poisoning Resilience in Cybersecurity
by: Huang, Hao Jian, et al.
Published: (2024)

Interoperable Architecture for Digital Identity Delegation for AI Agents with Blockchain Integration
by: Saavedra, David Ricardo
Published: (2026)

Generative AI and the Transformation of Software Development Practices
by: Acharya, Vivek
Published: (2025)

An Organization-Scoped LLM Agent Runtime Architecture for Regulated Cybersecurity Operations
by: Fatouros, George, et al.
Published: (2026)

An innovative data collection method to eliminate the preprocessing phase in web usage mining
by: Canay, Ozkan, et al.
Published: (2025)

Formal Models and Convergence Analysis for Context-Aware Security Verification
by: Chaudhary, Ayush
Published: (2025)

Multi-Agent Object Detection Framework Based on Raspberry Pi YOLO Detector and Slack-Ollama Natural Language Interface
by: Kalušev, Vladimir, et al.
Published: (2026)

Keys in the Weights: Transformer Authentication Using Model-Bound Latent Representations
by: Okatan, Ayşe S., et al.
Published: (2025)

FedPhD: Federated Pruning with Hierarchical Learning of Diffusion Models
by: Long, Qianyu, et al.
Published: (2025)

One-Shot Secure Aggregation: A Hybrid Cryptographic Protocol for Private Federated Learning in IoT
by: Emmaka, Imraul, et al.
Published: (2025)

Case Studies and Reflections on Agentic Software Engineering for Rapid Development of Digital Music Instruments
by: Yee-King, Matthew John
Published: (2026)

From Backup Restoration to Minimum Viable Factory Recovery: A Systematization of Ransomware Recovery in Manufacturing Systems
by: Chiu, Chun Yin
Published: (2026)

Recovering WPA-3 Network Password by Bypassing the Simultaneous Authentication of Equals Handshake using Social Engineering Captive Portal
by: Chadee, Kyle, et al.
Published: (2024)

OWLOOP: Interfaces for Mapping OWL Axioms into OOP Hierarchies
by: Buoncompagni, Luca, et al.
Published: (2024)

Differential Privacy: Gradient Leakage Attacks in Federated Learning Environments
by: Fernandez-de-Retana, Miguel, et al.
Published: (2025)

AgentFacts: Universal KYA Standard for Verified AI Agent Metadata & Deployment
by: Grogan, Jared James
Published: (2025)

From CRUD to Autonomous Agents: Formal Validation and Zero-Trust Security for Semantic Gateways in AI-Native Enterprise Systems
by: Peyrano, Ignacio
Published: (2026)

CHORUS: An Agentic Framework for Generating Realistic Deliberation Data
by: Koursaris, A., et al.
Published: (2026)

CAWAL: A novel unified analytics framework for enterprise web applications and multi-server environments
by: Canay, Özkan, et al.
Published: (2025)

The OCON model: an old but green solution for distributable supervised classification for acoustic monitoring in smart cities
by: Giacomelli, Stefano, et al.
Published: (2024)

Unveiling Hidden Threats: Using Fractal Triggers to Boost Stealthiness of Distributed Backdoor Attacks in Federated Learning
by: Wang, Jian, et al.
Published: (2025)

The Age of Sensorial Zero Trust: Why We Can No Longer Trust Our Senses
by: Xavier, Fabio Correa
Published: (2025)

Seed-Induced Uniqueness in Transformer Models: Subspace Alignment Governs Subliminal Transfer
by: Okatan, Ayşe Selin, et al.
Published: (2025)

CyberAId: AI-Driven Cybersecurity for Financial Service Providers
by: Fatouros, George, et al.
Published: (2026)

Splitwise: Collaborative Edge-Cloud Inference for LLMs via Lyapunov-Assisted DRL
by: Younesi, Abolfazl, et al.
Published: (2025)

Next-Generation Event-Driven Architectures: Performance, Scalability, and Intelligent Orchestration Across Messaging Frameworks
by: Arafat, Jahidul, et al.
Published: (2025)

Conditioning on Local Statistics for Scalable Heterogeneous Federated Learning
by: Brännvall, Rickard
Published: (2025)

Robustness, Cost, and Attack-Surface Concentration in Phishing Detection
by: Allagan, Julian, et al.
Published: (2026)

Faramesh: A Protocol-Agnostic Execution Control Plane for Autonomous Agent Systems
by: Fatmi, Amjad
Published: (2026)

DP-FedSOFIM: Differentially Private Federated Stochastic Optimization using Regularized Fisher Information Matrix
by: Nair, Sidhant, et al.
Published: (2026)

Unified Framework for Qualifying Security Boundary of PUFs Against Machine Learning Attacks
by: Fei, Hongming, et al.
Published: (2026)

Real-Time In Silico Modeling of Postprandial Macronutrient Kinetics: A Validated Computational Engine for Nutrition Research and Digital Health
by: Calderone, Alberto
Published: (2026)