From 3d23dfed386b38bb9085d9144375c9526df71ded Mon Sep 17 00:00:00 2001 From: Yoichi Hirai Date: Tue, 19 Sep 2017 14:02:55 +0200 Subject: [PATCH] Fill the determined gas costs --- Paper.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Paper.tex b/Paper.tex index 960bcac7..a4e27023 100644 --- a/Paper.tex +++ b/Paper.tex @@ -1584,7 +1584,7 @@ \subsection{zkSNARK Related Precompiled Contracts} \begin{eqnarray} \Xi_{\mathtt{BN\_ADD}}&\equiv&\Xi_{\mathtt{BN\_PRE}}\quad\text{except:}\\ \Xi_{\mathtt{BN\_ADD}}(\boldsymbol\sigma,g,I)&=&(\varnothing,0,A^0,())\quad\text{if}\ x=\varnothing\vee y=\varnothing\\ -g_r&=&?\\ +g_r &=& 500\\ \mathbf o&\equiv&\delta_1^{-1}(x+y)\quad\text{where $+$ is the group operation in $G_1$}\\ x&\equiv&\delta_1(\bar I_{\mathbf d}[0..63])\\ y&\equiv&\delta_1(\bar I_{\mathbf d}[64..127])\\ @@ -1598,7 +1598,7 @@ \subsection{zkSNARK Related Precompiled Contracts} \begin{eqnarray} \Xi_{\mathtt{BN\_MUL}}&\equiv&\Xi_{\mathtt{PRE}}\quad\text{except:}\\ \Xi_{\mathtt{BN\_MUL}}(\boldsymbol\sigma,g,I)&=&(\varnothing,0,A^0,())\quad\text{if}\ x=\varnothing\\ -g_r&=&?\\ +g_r &=& 40000\\ \mathbf o&\equiv&\delta_1^{-1}(n\cdot x)\quad\text{where $\cdot$ is the scalar multiplication in $G_1$}\\ n&\equiv&\bar I_{\mathbf d}[0..31]\\ x&\equiv&\delta_1(\bar I_{\mathbf d}[32..95])