mirror of
https://github.com/pseXperiments/vstf.dev.git
synced 2026-05-02 03:00:52 -04:00
28 lines
1.1 KiB
HTML
28 lines
1.1 KiB
HTML
<!DOCTYPE html>
|
|
<html lang="en">
|
|
<head>
|
|
<meta charset="UTF-8">
|
|
<meta name="viewport" content="width=device-width, initial-scale=1.0">
|
|
<title>vstf.dev</title>
|
|
<!-- MathJax library inclusion -->
|
|
<script type="text/javascript" async
|
|
src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-MML-AM_CHTML">
|
|
</script>
|
|
</head>
|
|
<body>
|
|
|
|
<h1>Framework for Verifiable State Transition Functions</h1>
|
|
|
|
<p>Welcome to the framework for verifiable state transition functions.</p>
|
|
|
|
<p>Given a series of states \( \{ \text{state}_0, \text{state}_1, \dots, \text{state}_{N} \} \), a corresponding series of proofs \( \{ \text{proof}_0, \text{proof}_1, \dots, \text{proof}_{N} \} \), and a series of inputs \( \{ \text{input}_1, \dots, \text{input}_{N} \} \), the verifiable state transition function, denoted as \( \text{vstf} \), is verified incrementally as:</p>
|
|
|
|
\[
|
|
\forall i \in \{ 1, \dots, N \} : \text{vstf}(\text{state}_i, \text{state}_{i-1}, \text{proof}_i, \text{proof}_{i-1}, \text{input}_i) = 1
|
|
\]
|
|
|
|
<p>Instruction sets for the standard benchmark are currently in progress.</p>
|
|
|
|
</body>
|
|
</html>
|