Skip to content

Commit

Permalink
Fill the determined gas costs
Browse files Browse the repository at this point in the history
  • Loading branch information
pirapira committed Jan 19, 2018
1 parent 0d18e5e commit 3d23dfe
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions Paper.tex
Original file line number Diff line number Diff line change
Expand Up @@ -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])\\
Expand All @@ -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])
Expand Down

0 comments on commit 3d23dfe

Please sign in to comment.