Skip to content

Commit

Permalink
fix: compute the account creation cost in STP only for CALL (#7)
Browse files Browse the repository at this point in the history
  • Loading branch information
OlivierBBB authored Nov 28, 2024
1 parent 73d9ad2 commit 5856c85
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions stp/call/shorthands.tex
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
\left\{ \begin{array}{lrl}
\locTransfersValue & \define &
\begin{cases}
\If \locCctv = 0: & 0 \\
\If \locCctv = 0: & 0 \\
\If \locCctv = 1: & 1 - \resLo_{i + 1} \\
\end{cases} \\
& \define &
Expand All @@ -12,7 +12,7 @@
%%%%%%%%%%
\locZeroValue & \define &
\begin{cases}
\If \locCctv = 0: & 0 \\
\If \locCctv = 0: & 0 \\
\If \locCctv = 1: & \resLo_{i + 1} \\
\end{cases} \\
& \define & \locCctv \cdot \resLo_{i + 1}
Expand Down

0 comments on commit 5856c85

Please sign in to comment.