From 5856c85e3c3eb4ccf195b5439ef4072f09f25cd5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Olivier=20B=C3=A9gassat?= <38285177+OlivierBBB@users.noreply.github.com> Date: Thu, 28 Nov 2024 17:52:36 +0700 Subject: [PATCH] fix: compute the account creation cost in STP only for CALL (#7) --- stp/call/shorthands.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/stp/call/shorthands.tex b/stp/call/shorthands.tex index 279964b..8c00856 100644 --- a/stp/call/shorthands.tex +++ b/stp/call/shorthands.tex @@ -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 & @@ -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}