mirror of
https://github.com/zoo-apps/papers.git
synced 2026-10-30 14:56:54 +00:00
zeekayandHanzo Dev
dced1dcfb9
Bylines, paper authorship, correspondence addresses and the founder blurb under each post named an individual. They name the organisation that published the work instead: the brand on posts and pages, the research byline on papers, and research@ in place of a personal address. Both are what these repositories already used elsewhere — nothing new was coined. Co-authors are untouched. Where a paper named someone else alongside, they stay named; only the one byline changed. Bibliography entries, running heads, PDF metadata and affiliations move with it, so a citation still resolves to whoever the cited paper names. Sample and fixture data uses the placeholder name these tests already use elsewhere, so no assertion changed meaning. Co-authored-by: Hanzo Dev <[email protected]>
74 lines
2.9 KiB
TeX
74 lines
2.9 KiB
TeX
\documentclass[11pt,letterpaper]{article}
|
|
\usepackage{shared/zoocover}
|
|
|
|
% Packages
|
|
\usepackage[utf8]{inputenc}
|
|
% geometry loaded by zoocover
|
|
\usepackage{amsmath,amssymb,amsthm}
|
|
\usepackage{graphicx}
|
|
\usepackage{hyperref}
|
|
\usepackage{cite}
|
|
\usepackage{booktabs}
|
|
\usepackage{array}
|
|
\usepackage{tikz}
|
|
\usepackage{pgfplots}
|
|
\usepackage{algorithm}
|
|
\usepackage{algorithmic}
|
|
\usepackage{enumitem}
|
|
\usepackage{mathtools}
|
|
\usepackage{xcolor}
|
|
|
|
\pgfplotsset{compat=1.18}
|
|
|
|
% Theorem environments
|
|
\newtheorem{theorem}{Theorem}
|
|
\newtheorem{lemma}[theorem]{Lemma}
|
|
\newtheorem{proposition}[theorem]{Proposition}
|
|
\newtheorem{corollary}[theorem]{Corollary}
|
|
\theoremstyle{definition}
|
|
\newtheorem{definition}{Definition}
|
|
\newtheorem{example}{Example}
|
|
\theoremstyle{remark}
|
|
\newtheorem{remark}{Remark}
|
|
|
|
% Custom commands
|
|
\newcommand{\Zoo}{\textsc{Zoo}}
|
|
\newcommand{\Lux}{\textsc{Lux}}
|
|
\newcommand{\Quasar}{\textsc{Quasar}}
|
|
\newcommand{\Corona}{\textsc{Corona}}
|
|
|
|
% Title information
|
|
\title{\textbf{Quasar Hybrid Consensus on Zoo Network: GPU-Accelerated BLS and Post-Quantum Finality}\\
|
|
\large Dual-Path Verification with Classical and Lattice-Based Threshold Signatures}
|
|
\author{
|
|
Antje Worring, Zoo Labs Foundation Research\thanks{[email protected]}\\
|
|
\textit{Zoo Labs Foundation}\\
|
|
\texttt{[email protected]}
|
|
}
|
|
|
|
\date{July 2024}
|
|
|
|
\begin{document}
|
|
|
|
\zoocoverpage
|
|
|
|
\begin{abstract}
|
|
We present the \Quasar{} hybrid consensus mechanism deployed on Zoo Network, inherited from the \Lux{} blockchain and extended with GPU-accelerated cryptographic verification. \Quasar{} achieves post-quantum finality through a dual-path architecture: BLS12-381 aggregate signatures provide classical Byzantine fault tolerance, while \Corona{} threshold signatures (Ring-LWE based) provide lattice-based post-quantum security. Both verification paths execute in parallel; a block achieves finality only when \textbf{both} paths confirm validity. GPU batch verification of BLS12-381 signatures yields a measured 10x throughput improvement over sequential CPU verification, processing 10,000 signatures per batch on commodity hardware. Each validator maintains approximately 1.3\,MB of GPU memory for a 1,000-validator set. We provide formal verification of safety and liveness properties in Lean~4 (Consensus/BFT.lean, Consensus/Quasar.lean, Consensus/Safety.lean, Consensus/Liveness.lean, GPU/ConsensusScaling.lean) and analyze the security guarantees under both classical and quantum adversary models.
|
|
\end{abstract}
|
|
|
|
\tableofcontents
|
|
\newpage
|
|
|
|
\input{sections/01-introduction}
|
|
\input{sections/02-protocol-model}
|
|
\input{sections/03-bls12-381-fast-path}
|
|
\input{sections/04-corona-post-quantum-path}
|
|
\input{sections/05-gpu-batch-verification}
|
|
\input{sections/06-validator-set-management}
|
|
\input{sections/07-formal-verification}
|
|
\input{sections/08-empirical-evaluation}
|
|
\input{sections/09-cross-references-and-related-work}
|
|
\input{sections/99-conclusion}
|
|
|
|
\end{document}
|