mirror of
https://github.com/lux-apps/papers.git
synced 2026-10-30 18:15:21 +00:00
zeekay
abf99d05fc
Restructured from flat .tex/.pdf files into per-paper subdirectories. Added Antje Worring as co-author on all papers. Synced PDFs to pdfs/ for download site.
87 lines
2.0 KiB
TeX
87 lines
2.0 KiB
TeX
\section{Detailed Protocol Specifications}
|
|
|
|
|
|
\subsection{Message Formats}
|
|
|
|
Complete specification of all protocol messages:
|
|
|
|
\begin{lstlisting}[language=Solidity, caption=Protocol Message Structures]
|
|
struct ChallengeInitiation {
|
|
bytes32 assertionId;
|
|
address challenger;
|
|
uint256 stake;
|
|
bytes disputedState;
|
|
bytes alternativeState;
|
|
uint256 blockNumber;
|
|
bytes32 nonce;
|
|
bytes signature;
|
|
}
|
|
|
|
struct BisectionResponse {
|
|
bytes32 challengeId;
|
|
uint256 round;
|
|
uint256 midpoint;
|
|
bytes32 midpointHash;
|
|
bytes proof;
|
|
uint256 timestamp;
|
|
bytes signature;
|
|
}
|
|
|
|
struct OneStepProof {
|
|
bytes32 preStateRoot;
|
|
bytes32 postStateRoot;
|
|
bytes instruction;
|
|
bytes machineState;
|
|
bytes[] memoryProofs;
|
|
bytes[] storageProofs;
|
|
uint256 gasUsed;
|
|
bytes signature;
|
|
}
|
|
\end{lstlisting}
|
|
|
|
\subsection{Gas Cost Breakdown}
|
|
|
|
Detailed gas costs for each operation:
|
|
|
|
\begin{table}[h]
|
|
\centering
|
|
\caption{Detailed Gas Cost Analysis}
|
|
\begin{tabular}{lrr}
|
|
\toprule
|
|
\textbf{Operation} & \textbf{Gas Cost} & \textbf{USD Cost} \\
|
|
\midrule
|
|
Challenge initiation & 150,000 & \$15 \\
|
|
Bisection round & 200,000 & \$20 \\
|
|
Segment selection & 50,000 & \$5 \\
|
|
One-step proof submission & 2,000,000 & \$200 \\
|
|
Challenge resolution & 100,000 & \$10 \\
|
|
Stake slashing & 75,000 & \$7.50 \\
|
|
Reward distribution & 50,000 & \$5 \\
|
|
\midrule
|
|
\textbf{Total (worst case)} & 2,625,000 & \$262.50 \\
|
|
\bottomrule
|
|
\end{tabular}
|
|
\end{table}
|
|
|
|
\subsection{Security Parameters}
|
|
|
|
Recommended parameter values for different security levels:
|
|
|
|
\begin{table}[h]
|
|
\centering
|
|
\caption{Security Parameter Recommendations}
|
|
\begin{tabular}{lccc}
|
|
\toprule
|
|
\textbf{Parameter} & \textbf{Low Security} & \textbf{Medium Security} & \textbf{High Security} \\
|
|
\midrule
|
|
Challenge period & 1 day & 3 days & 7 days \\
|
|
Minimum stake & 1,000 LUX & 10,000 LUX & 100,000 LUX \\
|
|
Bisection timeout & 2 hours & 1 hour & 30 minutes \\
|
|
Max bisection rounds & 20 & 30 & 40 \\
|
|
Slashing percentage & 10\% & 25\% & 50\% \\
|
|
Reward percentage & 5\% & 10\% & 15\% \\
|
|
\bottomrule
|
|
\end{tabular}
|
|
\end{table}
|
|
|