From 7a38b4b8b99f6d61eaa5e38479ad0b1ab2292bc4 Mon Sep 17 00:00:00 2001 From: jolestar Date: Wed, 7 Sep 2022 09:25:59 +0800 Subject: [PATCH] [account] Retry when creating delegate account (#110) * [account] Retry when creating delegate account --- build/StarcoinFramework/BuildInfo.yaml | 2 +- .../bytecode_modules/Account.mv | Bin 6111 -> 6206 bytes build/StarcoinFramework/docs/Account.md | 73 ++++++++++++++---- .../source_maps/Account.mvsm | Bin 46526 -> 47563 bytes .../account/delegate_account.exp | 2 +- .../account/delegate_account_retry.exp | 7 ++ .../account/delegate_account_retry.move | 27 +++++++ integration-tests/daospace/dao_account.exp | 6 +- sources/Account.move | 52 +++++++++---- 9 files changed, 130 insertions(+), 39 deletions(-) create mode 100644 integration-tests/account/delegate_account_retry.exp create mode 100644 integration-tests/account/delegate_account_retry.move diff --git a/build/StarcoinFramework/BuildInfo.yaml b/build/StarcoinFramework/BuildInfo.yaml index 4fbcde53..7f16c6f0 100644 --- a/build/StarcoinFramework/BuildInfo.yaml +++ b/build/StarcoinFramework/BuildInfo.yaml @@ -312,7 +312,7 @@ compiled_package_info: ? address: "0x00000000000000000000000000000001" name: YieldFarmingV2 : StarcoinFramework - source_digest: 5F36AADE9312D2934E215C4971621A24AF18EA5B56A52D2BE1D8E173174D0F3C + source_digest: 465BD18AAFF08B609377C24DF93A365C461646250126145426395BBBD12FD8CC build_flags: dev_mode: false test_mode: false diff --git a/build/StarcoinFramework/bytecode_modules/Account.mv b/build/StarcoinFramework/bytecode_modules/Account.mv index f13513b1b5be1b3e88e92f2d8f66d17693815b8f..b197aad86af195affe2f63f2b4bd7eae51c9e3f6 100644 GIT binary patch delta 2331 zcmZ8iTWnlM8J_>2IcLt9IeT_zua3QI?|Nf9$Bw=6Eg9PzCw3CY&aJ5%r*>~9ZIYH- zT9QJ;bz3NxPzk9z2nh*+DxQ$~fRrbA0A6`P;;Ao@c%%ry8}JDK9Iq?DlD{+a-{znH z|NhxOb$)YV{e${nwP1|J!0K4P!Qc3?5Rbfv-aG!UxcqhaPZRudsNnx@=qIS2G~NUK z=V6TgGW_>K?xW6d{ErUi|MmX*zTT5e1`-(aUVQ(DT z;37GQcYzG}x1E9bj$7xx3u}~H^gT+25`W}m@O^M`d)rqiy-LE9ZnBzGrh>#zjwb%p z*}~aUF8&Cfj)wJqM z_Fuo7ejLrGKZ;f!59L0F-foZwlnsT?=>i1N^A6<;+CY$d$)VVH$S!e2_!JcbZs{08 zCXl}@$oCaW1Nm)d6Wnp=-*u>bgjYT3AV7T8dre`8@M%h$BpTr}5V=(jWj{>%DF1Hd z^aRzPdXrbo=m=tvXhze~!tU`%Gcy!{0vjkG9V&>?9HS3ST4>JvkApOA8W@^C0Pqx> zf`Vri=7DiQ?j#yy)oLt|FL;`rB!P|492lUXVC!@O+FX+dp4QAVFQ*wOB)b@k2X>-C zb^}fBc~UX!(|k z^z9MaALQ!UL8SKtfiJK5Jt}YZ7lm0QU-@PxlFGM3Q4ssK9uaM0X&ZK!zJVRdzM zD2{c`nDK187)DGpY^1+0*7xYiqsN2FWRKzqg#=%-0xL^wVe_zn8e7?tGzv$_2xq9} zV}7%rLW?U`CS|rK`W#~BnRK;uPPJXck`t!yl}0K@`&^_ml)G2e&fr-3+tMJ>WjuXS z8l>J$xT64%WzE<)2^Gz6+Q!V02xF9BrZpNmAS~)>Vr;)hjz5}ur0gtV7zr(q z9#r5FB}&bufm&tD%=MD^IqBFjuVT90%jH8p5c}tF>Jv?LsGzyA^LQK`RW@s}ON7Uq zhI3kTGfDe4{jWzti9T0yN@yqsb^)ieXz54gW@mds1M!GeaK;JgM}o%Hbg<*H#35kzHYK6lsWz;98c3-=Z? zx62Qm8(n#T2U43CCTL0B$xGu}160941v6%Z*SxlKH7_b?@lhRs%n?PrjuWbYSk~g5 zL#Yyr%3B34L^^F5mp(C#GusX>XOgSw^;&(D jetc`_rFJt^cz2cOw{MF|ZoecK92a5bw$-@?Y||T>U2aH1R(i$$P&T`6=q()jt69 zr%??5Jo-sK`e$b}{?QcXe*Dq;uDPR_@)a;9U;60RKkq`qm_-i+TkPRd$zyC830BG# z#?DsBay1}W8v-&qcf{fOVTbFC#2W!QxDdGg#XRjV6$v&+2rkzMu3(+9t0jVKqqN;J z$k=ss);Go+cAsgu&$CU3+v6?5=Z;d`n-gxibIjqbw!`O-6Phoa5Fo@C>viUT2`KB} z%Kp{>3LxCI}ogcr@jl9$hCME zNYCE`G7#^(b@V+rN72IXQvk~Q2Tle*1j@y1U!$1iZpzc;^lVz5^iwZwr8v2UYxQ%T zHL>2==v?S{lbiX?Vj;bp*3(=%o#xX@dL_M@UQ4$YwwAV*Z{)YuZWN!HtfkL(ZWeFm zcb0dSb{2LvcGh+-Or(qHQo42FR{mCTYhyOO+gV6oNHKjmt)>t%kf1TU&i@((8o3NL zYLr}LZ;NJjTx>r5iO7kkfABx!M&G-C|MA|z!S166A4kj8_};<6-s3lSU)$T?J9v1Y z9vbZ~;3oT3?!EF# zoA{^N?&VUUK+lfafR=^J1|&Q?Pzp)EJKFO6ZA z$;dEDl4=-Y`p*$p+glu9$}(Z3plMVI9a%U(}LxnAkh>p+`5Q2f6XRyF*9ch#S7L8^k=Z5E$23sSYu%lT0Kb`M% zT~bDN42N7Ou2~9r#6?<3dgY=ECQ*ZH6(rZ&8VAvYZQw8sImlIazg2ggByRAK?ypK@ zNoU73KOrec%mtbkJlmvwKUZnTafCCLNZTr?AY_JNEjwPU-KCMI;ioL@Q51})vM$+gQuC)@2oiCFSn_Os%K9w#jnoiO{XI96^A zN=-4eYp;s!;L&WfG|Y=Qku8^oyG17qQOM2S1lu*#O0ql(H;FCZ0A$8@__ONVq*bIlO< zhnnzEL2YSgagttSkek)mCBkE_T_QY5X+KW?RT=~_C`F`&fr4+(;K`o1Y`)x>+HM=5 zGO;q!^G(wr+%zN|>^Q!t6Z3Hir$~dBD?RewFHhW|=f1DwC7h-j05Y10W#&4adNdK- zsABTGBd7NYScWr>L=HipZX0Q?g_d>>XM2h(mx+zr8CFir+@VhU?__H~7nil)Nk(~F zo{YJjZ-h#Af>0U7r{w}&^?de9<;?z>o}a5voFC#~i2KSUFScn(<;tnV)e4AGzwfLn zTkdG`l7=Q9H$JF{dPYt;q4ufmntbX|s>Pg^b3>{;!B?CtOtwF+j(4fWz%GWK_OzNi z#_tYPl>VG5x9CYF(>QV0A%}747~gl2ylYJ~PSWIWsT^%_u1^jXRJ&*AG|nG3d58L3nW5Q# E1Lnl(%m4rY diff --git a/build/StarcoinFramework/docs/Account.md b/build/StarcoinFramework/docs/Account.md index 9c337ccb..826f5009 100644 --- a/build/StarcoinFramework/docs/Account.md +++ b/build/StarcoinFramework/docs/Account.md @@ -36,6 +36,7 @@ The module for the account resource that governs every account - [Function `create_account_with_initial_amount`](#0x1_Account_create_account_with_initial_amount) - [Function `create_account_with_initial_amount_v2`](#0x1_Account_create_account_with_initial_amount_v2) - [Function `create_delegate_account`](#0x1_Account_create_delegate_account) +- [Function `generate_fresh_address`](#0x1_Account_generate_fresh_address) - [Function `deposit_to_self`](#0x1_Account_deposit_to_self) - [Function `deposit`](#0x1_Account_deposit) - [Function `deposit_with_metadata`](#0x1_Account_deposit_with_metadata) @@ -1302,23 +1303,7 @@ Generate an new address and create a new account, then delegate the account and 
public fun create_delegate_account(sender: &signer) : (address, SignerCapability) acquires Balance, Account, EventStore {
-    let sender_address = Signer::address_of(sender);
-    let sequence_number = Self::sequence_number(sender_address);
-    // use stc balance as part of seed, just for new address more random.
-    let stc_balance = Self::balance<STC>(sender_address);
-
-    let seed_bytes = BCS::to_bytes(&sender_address);
-    Vector::append(&mut seed_bytes, BCS::to_bytes(&sequence_number));
-    Vector::append(&mut seed_bytes, BCS::to_bytes(&stc_balance));
-
-    let seed_hash = Hash::sha3_256(seed_bytes);
-    let i = 0;
-    let address_bytes = Vector::empty();
-    while (i < ADDRESS_LENGTH) {
-        Vector::push_back(&mut address_bytes, *Vector::borrow(&seed_hash,i));
-        i = i + 1;
-    };
-    let new_address = BCS::to_address(address_bytes);
+    let new_address = generate_fresh_address(sender);
     Self::create_account_with_address<STC>(new_address);
     let new_signer = Self::create_signer(new_address);
     (new_address, Self::remove_signer_capability(&new_signer))
@@ -1339,6 +1324,60 @@ Generate an new address and create a new account, then delegate the account and
 
 
 
+
+
+
+
+## Function `generate_fresh_address`
+
+Generate a fresh address from the sender address and the sender's sequence number, and ensure the generated address is not exists onchain.
+
+
+
public fun generate_fresh_address(sender: &signer): address
+

+
+
+
+

+Implementation
+
+
+
public fun generate_fresh_address(sender: &signer) : address acquires Balance, Account {
+    let try_times = 0u64;
+    while(true){
+        let sender_address = Signer::address_of(sender);
+        let sequence_number = Self::sequence_number(sender_address);
+        // use stc balance as part of seed, just for new address more random.
+        let stc_balance = Self::balance<STC>(sender_address);
+
+        let seed_bytes = BCS::to_bytes(&sender_address);
+        Vector::append(&mut seed_bytes, BCS::to_bytes(&sequence_number));
+        Vector::append(&mut seed_bytes, BCS::to_bytes(&stc_balance));
+        Vector::append(&mut seed_bytes, BCS::to_bytes(&try_times));
+
+        let seed_hash = Hash::sha3_256(seed_bytes);
+
+        let i = 0;
+        let address_bytes = Vector::empty();
+        while (i < ADDRESS_LENGTH) {
+            Vector::push_back(&mut address_bytes, *Vector::borrow(&seed_hash,i));
+            i = i + 1;
+        };
+        let new_address = BCS::to_address(address_bytes);
+        if (Self::exists_at(new_address)){
+            try_times = try_times + 1;
+            continue
+        }else{
+            return new_address
+        }
+    };
+    //unreachable
+    abort 0
+}
+

+
+
+
 

 
 
diff --git a/build/StarcoinFramework/source_maps/Account.mvsm b/build/StarcoinFramework/source_maps/Account.mvsm
index 1cbc24c3fbd72faf8fcb614d321f702a1f085fe0..543155e5c234b6bbac0655e734e2d3a2d77d2147 100644
GIT binary patch
literal 47563
zcmbuIcX(A*x`$U1AP{;H5L8Gg(mSGnLdpRmA&E&S(UC()4k1DkNCFDdI|5<>K|rto
zVjXZCIw&wIh$u=?x|BgwL`58NM7-~U>>2Oe=ic8sUY_Uuhv(hj+I#Kwt+w|*S+?hv
zQb#{teW>E+pOim%$1g3y5|@^qS!c>!txv7pnf%=9%xq&!9)!T}|AmA{XJ+P)$SbN~
z%rX&UOhsd6g9%aQi&$$QM8=E@Go~k)a20bu)>%;A10{_a56X)VH)a4R?_Hb&4&I%m
zxe`$ER^e=N@Y2f|GZ;c;#1WN^nF9L0%*C1yVKU}6O5O<}WzzD81oF~G4GX9X`xyPO
zJw%BYkbZy?@+?}>Dm#M-Q!%Gw&2ebM2XIa}c+F_N?VzMQ$AYTHi~)U)A7GsVbuFpY
z$W>6@A)Ifalr$f&V$3Sg_htvyClD@U_Ah5lA?TPhuoggR8S?~f^LyKpL)EpH;~Z;)
z@><|@gfh~+P|299ps%MaXIK#;WXv16+s$m-kU7yEs}GcwF&lD@?VZlkGt0@C7bD2V
zvM%R&BUU3QFJper9skC*51G5SmpA4vQ1@~g&SMVVah$WzS%*xYZcG4z=;j8Y=i5WV
zGp>)E>a-t19uKzLmDl(d;(Io_G?!!T1U)`jYZo{K-Tk;R$H0V?$jHhnP?vTb^_11=
z%jF3-f5Mp7pf9aDRz1*{b_13V^ng~a*mMY5f3h)6A&5rN486TQ#Hrfu!i=$YSc7`4
zRUPLchE1W088MYR2lsIsSegY`4}q>?uY5gP?TtMbh{W|@!mjdIk9sxbU
z&%~Mq736)l)@*R7ruSMK^Cbk47hj?O03}=}k(0j$%YlW#WG8E|OTVQpDB
zLJ&8$F?t&abG@;hkYgaY8=Jrp=@8^?%Hog$u<0i=;4tDBpl{P(u+D+LP5;0u(az;I
zg=3Wl-A9(hDh0Zayh!POOx^P}!)gb*=erFn7W5R}hm{JtkF1H62D*>5S2F+{ieJ;7
zp#)4wslq^BRzNP4cOicSq1Ojtw~@QqZN_wf2s>~W=49vTa$Z1x4e01)o4g0FFX%Se
z5vw2QHtC(R?mA`?ZyxA2IS^|;=r;K`tdBsC+pDqmf^NNDjq28Wgm`B`x8Cp$##8~_
zde0HBDyD9|hcT;RIs}~(Wy~UAmi@aaq3e8dIY+L8pyrcd_2^%LPC&NH!vz1)79hZ3NYI$fH)v3eox(}LX%w%w^gej;qtnN|?pCg_D
zT?xCe4uY+kitUaJ-v>UOufu7MW!`cpdMr*Adpl7t+dFq|0
z6U4g!dMD~Ttbc;;^FPJ<1$2L9tt()v$YvK4%aRL%NV$IK84%_?kQ8D+3_;}Fqv#8v
zbZ($1BP*jQL-mMnB5#I}^2I}ye`Lnc5%K}n`Z#0W0aIJ2=*@TyK&NO`tcIXdvDq>bc*i8Ite;Oz5A(`3EvX$
z3g~414XcFDC7FN4yb3y*zsBm{&1F!WM#+zY&gB7E!=b9o`p2;rLp5o}U@d_gr1=BZ
zFHl{YzhXsj?KPxX4yzi}l;$3Lj+i$}(^}P`mNa`{r9f?Iw!=z=o1|&)xgQ*EQiHL^
z#DUv7)`!`{+AiyyC5X#F_hk84PlN8s7GNy|-ILjpp9P2Jcc3o2)ZkVJ=Pl0O#k3Rgr5!DYpl<4N#kc
z^X$1TawiBWQ@q60ZvoCie*(DavVE+^TW7;db3WEe&^hdtuXFeu@xBF}!>6&Xg3jUE
znY=9nI)^)9rGw7lY^;3HIc%^-gU;a{T+PFndX8LLA3Z8=ySoP#lMF4Cg>Lb1l9|nTfA4kZt-V{_YLS4e-i6g
zaA@&#bCKZC;<3`fp~Yk6gKqJ^agL)gb&G!+^I=Sf7LPRs9F`ZKEnoo(CL|(ra3FKY
zwH-h;F*?No=j}nvGi1kCVYg>A{_%ZQ513g{*0P8!@
z)5XnL--E-h!Yk>g+{62+otmsefYb3S|Q$d0p9GSd?ENS7cfD(R84!xBheZ
z)~3O|JV664T6S;U@Df0$Wm~LXpwrSTU#I0~#5)Z-EjMDF0iBi`u&k}qat&5P>Q<-F
z70mjWI)%<+Hn8_g*1T7`PN5{?^#+|nt+D!mPNB!J7K2Wq0<6iPA8&YVRX=)F^~ztDT92Z(nR
z^xo-Stc#%cPT$7*0UXq=9r&CJoV(5g$VZ?|`QlF#`~yc71>^?`XFAfGLr9LA;_bou
z5Q2G$a%(5v<%fvEKp@NQgdVuVm?9{1?U2D4g@e_J&ETXShYG*z&mBI^NV=Uj9iU=i
zVEBjtAAtGuM&u6EuZqm(n8i@Guqe~-`0d!OTu>W(QAGu#{6#sr`o7epgh((v+f)@$
zAFmPU0mqA~2b@CUjRHO348R%uf1vAeO-K@Va%ScRYmvHP%!Ko4S_uttC$
z#9qL94fG&359@W%4*o!5u&7d
z6IK(bC(T+|wV}Q=D`UM14W*fkH4tu1?QJT?MG0;hxO|jZRXKD7q>JN8H
za}w4(=pxOT#b#G&dNCb3Bd&keyH*nxE%bQOE$>v{YI;#~wikN0Bg*?Cj0yd~(_c_pmspl9b^=?>G1_!&&oAc&@L
zFM6gu#HlF^#T*9qPRN_~4&p8wTAItT-nU`(d?|U&cpexpz-++mf_x0FQygLeRuciHJ%?04n%v&P10exjHuwrc3D0#kbHZkUH@V@rV
zy!Hc|Y76CkjyM2Sg8$)@a~$?h2&wd+-*c)$A8%^RbHJolURF!I7|?Z97b_NYE9j0D
z4?4Z#u)2XxubNnsLHGDsSQA0__&u>Ef$s6W()E7KI^t~yy&tn2YX|8481H`S{g|`F
z`yTXu%pRB
z5!Q6j`!S`lW`N$0*^6}q^nT1sSVuwc$3(SYT?%?X<_hszVCwytu~;)e@5iKK%>+F&
zei`c((EBl!xsz)#_59-stvC$3uI%e}5pO@}!RZ3lMbN{-L98D@@5gMz+6j6;rc_IE
z2pY&MD!>{GdgrDa);Q2RH%GC)0KIeb3f4K$J2!W>;>~){J2#cE;z94+RHfuJOuch+
zm0B-}t#@vE6R!_A+|DmHFl=o^b$;8YBz8G_1RbQjvk8c)pvUDqu+l(}%MG!bfgYC|
zU|Cy_%aK?cH@Q4f$;B)JJ%S&=ItqFOe+lat=n=dV=NJQe1dqUq1wDc<#99V=1RsL+
zEa(w@Bv?LFTF4&B*P!`P67AlAUk&{u);`#Kwu
zw?WBa8KVO7O`ZLihrsd0*z>3t!D+qPXE=|4K_{*sD+_eu4#FA=I&t%`hJ#Mrc31_V
z*Q?el1c&kH^(<}!1aYgkqwj_iVGi4c#}GdUx7+-i4I6O2%{5SO2Iu#mnSnq*uM(<)d2KJ(H5%{=#k<$SJMqsj}+GG4i3|==W_UZ1A<75_2}Ec`4VY?&O(v0et99Is)m1)UtP7MnUbMq#c4
zogCiP>*V;Bc$YvYN9Yi4mqpf6b*x)JC&xBQZj7mu!&*(iVZ~8YpI;{hwz~Y;fxJLr
zPNDblq}uA5#bJx>p|k~gnadGhv9ey;RIANY8EC$4ztPtmxh<3k=8fTxZYE=)2ET*s
zFUT*t{-el@gBb&JhUOH>-$qWqiOqi~Tl~Py<=6ekbCQoh5D)1hct}^xKH96N>-bqh
zuLPZ%bFf|notoY$>(u;^c!xlz=0>c;pi^@LmbG=I#`-yp2MWFW+M`FzYy-PRDvOZW>`sasrj36Ei30KH4-
zb#{7}Folxu2fa(!3#$n9F5xz;51_8hqiI;DAX1t)V0{Ns(riiZ*%9hVvj$dYs4q>g
zS8gE9Zp2FlhmE=~*YQ*if|#fNie73xhd6)rhFl#&ogQ#^#f$^DA9Z^a^GTp*mDQ4o
z_W0(zD1j#QPHTEb<+!uRsrf
z*7_P8_JeO5!v{5BoPLS44`w#~+8i&X)1EBK6<6)_!l@LTrhH}S#k-uA>y1m}A@7x^h0-r?T9
ziMP%Mm-p71?}5IzPh-6d`rdkHs_*SN;(ZJH-k!!P>36xe;aCx%@9jZimc?{<<}z!X
zG0VaIS0z_qzY5{@bq9w(46_z@3xox;;!2!A2LXR{#q|#gEI&TD6<2l2iv(tUvURm0
z_U)kCVI{0PK#xh@IqMdiOT4L|TkLeKCqcK^Sgd)VTkKY>1E9yGrC0|+x7gooJnCML
zNhfVQOuZ!QfYk-`lB_;fSI|o`uZ`#>*=XWT1-&Hu6IL$hC7G8MdP%mEc>6#v$#!6U
z1$s%=Vj?XW^pY$cYXIma*=0)3$J9%*$1q1>>Q_9hH5weABfnC_t~i*`Fo&la$1zVr
z^=mJB1^pMY!bY(8gOD2Dhl-ik-c93&#|raD6zIP|*NcO*z~#C0B)qA%Fxiz^b3W*9
zCmZV_(A|!Arn=j?K)jM8UAmnUn58gvw-bR?4s^E@j#b7YYw1%;?`Gpl^H!`l&|O3Y
zEFb7D!Yf^O5o3w>B8g}TS;
zv}k#=nm*2J=b+Q18dfCear`ocx5jk%TIlFpV}1hn$?|3F-|P{bh`hR5oJl0;tFvZn
zaQJTN*?u
zvikbr`9W8o4{HGE#^If=?roF#B5DrHdPnI0s}<<}trS*k(EXb!Hg*5@9Ot#>f2?%(V^zZ)DrJ?%SZ3#DA2UCc#(3L=Ug%JW}e
zZmF5UOXz=rs@D$*>NjED<+wvo-X5EsQRp95kfYag=Q!d=sBDkQ&3NeAkt6tXrSc86
z60guhLseVWwIf(W=4SAxPV?jps6NMa0GlPUGntI|2Ka2bg1kw1-
zYv}Mt8vo54*9z*`X8b?DpCcCnIk_3xa^ByC82ur*Br4*Fi4c4eJ;qVb!5>MY)f~42
zO1ga6y?ZsI=Ne|7|9#&_bx04rZp<|B4s-misVy9`8!8qRWaJfQWM2CN?t}Ep)*o<&
zN1*zD9Ow9llNL$BsX-<|Elw{Ibgy!WI*!8By~=W|*FpCxGqDzd?p3@ypnH`|
z#JdW*SNRa@1n6GHyODY_6HUD*f}YHzU}b`y%nZUB1$r`*g%tojnMuM*20fYSiZvPZ
zWX5ZEdNT7m@iv2Af<2G51@sbZ8`h_wmtb45-Uht{n}c-|U50*9=n7_KO#PzJ-!ZFT
z>dy(i()Ei%Ly0#Y^ov51uqK0kQD_3zM9?n^^~6ety0W*iW)4I;nf5%Rq-QMn`X~IntrV55GPG*
z%>bV?z547fO>WfqBjBO#dT-oSO{W$(Fc71{E_uVA;(RF|L^)@
zJ~7^e;MN!KbHt|*{QBZ7NBsn06^du>jx*`=&+&sIP}Ob;{KsTmW!|}G`O9?Rtr?2{
z#Em-aizVztfZ>}eoVxc
z`&(E)gPy#5rR&N20P6h#(3AHBtRbK$?>(`sttaoXSTBN}yidkj0ebSDi?tH;
zPu{CO!$cGGPUK}uE`zD3`ChBn)BG;P>jir9-W)3t^z)O(SSOdcd}9!@ls+BwHwG7p
z8HuTv4*M{pF!j=*AyzBUONV+`4L~m)Hd6X*Og+uN4{I#wX?_gWIMCC4uXH`lx92zq
z>d9WQEq5{n^n##1Rx0QPK{{48G?bCm^>)Jumn%s!x(4rQ?pLNj@uE3n>!
z=F*&vwG&!M(<@ysNA6}|>m$(15wCQ;9JxxovP_fily|cNRvpj_mvUI;K`&gq
ziI!ftG$&qH&`Jy
zp{F#x(i5av>3POC=q1fxDY-UgqBOn9d6G0+6R!&-OEV6uFWe)|SgZk%BF(N?F_0?F
z##oD?k2D{~dK&slb0F3t=qF9D^mJ+djd-8Jz0%x)^*P)p&C^(4!Jnjg66+M)FU^;+
zV#&Ax(yWTr4l<;9g_!Lz2TIc`JyV+7iFW|9qwYMdW*4lDP$bO-
zSnFYgG{<3WfRWPlN`FwA_8d2X!<3~~0*e_4V$-W0dNT-heW>0ZxidKa4oi2`USM}B
zS0nl0T&MN|+9-s9AmZ2pNK?NKLW=}K8t!DoPTQS67m%YaZRoG
zzD%Ei-AUPhjKUiOI#sMW8}z+N#mWM`+3cOE-fZ4VyltR2o2~gV=q==ZScgDwAs@jy
z4SEZC0oEDNTgVmr@zN0JE#w=q>VV!tzCg)!F&%aco=D_3C?SZfcnSRtaQ@lKO~~89
zF*Ej{?gQt{ID&i{LWB96v@Mh9G{Ae-<2YUo;*cU>LsuqMGG1TMNp&YyKhRyHciKAr
zo*~{U(CPOe)(p_;=Uu%{zplybMu2|S6NQxkI#DCBtgRFEMyy9cCsh{KY|u%Sh&2cF
za~ZF6{aj`V@tz0$TxKQKi=dy&ynwX=^mCboSo=XgmsyMTK2(=&eoL{bfBVUcsh`V~
zyoVYB{amIBR!z{)WoltXfqpJ?oGYq_sh`U%!deCTm9CeuR)c<}YZTTRFxA6*Mfdaf
zzOCI2rb2XFT#7F>)t}%??4H(xCK=beSFdz`bnmnt{+_<{P*cqp=SxoU#YU(3;{4ru
zC&s45CnbjS-zh2nw4|QCM1NvZnm;-=)|Z@C)!g8VO^Q$Sb4XHZe40N#)qk%qC8-qu
zAD@`oyIZ&T*mz%Jnm;BwAv!VESK8F_#YD&X(^8@nQ=_j%_ILC7uE#BDZn9;h#&=Kj
zrTC*0Qhd>I=|oQOb+_kI#oX-c6`jy6DWw-DX3v+v@th{7XU{ys+`<9ZFD^Rqx?%s{
z-zz?~S9Drzk1&Mfl%#~D?!A5f*l5lwIXd0nJv!Ap`*No4zak{}j!B4*y>@(jVr)`k
zYJ6%M<&{ABR}AVPsW)Nbl6~Ip2r4KE$Z7yt6$B(CHzAVEsCE+Du9I_xgUpaO&7pdvc&tB{_VH}AantLyWe?|2U9>*}uR`d9s{
zy8C8rgWcomJbcT?Bc96pIjv{jyai*vJ^p2btBTHD=yv<4ian9}j^h+U5d8apLE*8v
zxkcj&OY1t$T2aQNNXMB4PLML6$65zLvds7p#~A=lxGHlm)^SkY-8CHNK2Tm#xZ~Uf
z%6k`QpM}@ECN%+7-U^(}7T%Bu#~A^^vcz%q9OnVh_hk;&0tk_1ZsW{5ASl9HG}2$_
zEg$1o75fDJfH_2or;*M)pwi~pzqCgtWP0amU-u8j#C1<%o$h
z)02Z$-7n)Bn}G5<;PiwDX`a5^aefC~pW0kuB-D~+Ud7#xF?~bEL?YHes4dHE#Wi-b
zx=z=;OqO}J7SUMS<~py!Y6Ep-nO|_nPnrH9WA~;yj?)L!y_}9S*TOr3a~y8gMNWFa
zab`dO!`w{t`R0)D>`ODJy6nZse*!b?$~u09_?;om3moLu@t0F+-Sa;+Js$Yzmg<0<6WLo7g?So~_SO-cO+C%ule6fS$SD
z!TJUCeB@rI9_bs?noU8E-)@-}{p*(d9OqUDpwkRM_nJe(bFxQe7v{T@+v`xL_St2=#Vhxe9-BXd!4$YzeIT(K&KyWnHE)Q($aC-LI5Gr4!w&x
zq=7GcTL$WT#b~yI4}*Y!eb`lQgbHRFUqi<1l=#jRGStzF|4)Y
zL_+{=(;WSJb4Z=MVt>g9pP8WjB_*m=x^hUYIjnY}f4t8!XBo)>W#CvWl`8NaH7AfQ
zS&p>;bW6JD*Yo-dl=mv=SlooQ19U7tg|!oOEY@h_IM;xlo0i)MPSljD2~0mQ|3=;t8RHX*-=9MYL81{6ni
zIO1xEs2Z7U#-o*2$p|=r_*c-k
z>1C`Fpl{Q8tkAADw<#Q}Cg?G;238p8G4d>D_hIUhF9xeC=#j5GRvhRQ-h-71dW^gh
z%L{spG_|=4EKa|!8&e55L188S!r^|oP~M6B5k%Cfp0#~B<)wZ(clW=^ak3z&Kn)t*
zu)4#gN!~6qsN2JFu7X-7F(@g>FVyvT5Pgn0q{QzZZdZpJZzTVKh^j+IWS5LkbqS&#
zwV>{$wzW-kV!E@{2azTIvE%$Kr+kIuM(5}{`8lQ(YL}Ge`YcysKjVi`DTn{7>ZIcg
z1ReXmu?B&TeYdW9h@MS(i$TZ!c&sI$W8ZBtogZCA8?^>KN`zsx0X<5%ZLdd(49d#}
zJxau5<$xX~-0rM1sfmQPx=ZtQtn*+oaX!%8aTWnPcK^1$WSg=r-aFQZ_0o@4SV_i#`x)BayHp8^Y%cu0=jROc^A8aQ2dt?9cTVl<6hy
zGVB+iR%wxMxPMGhNrBvT+={*vtXjLrEv)H5w{{#>3h35O!^!~N+E-#_g2mdVFu`%|
zhX7i83VJ03+dh?j1bGqEC^c`&sZnbK<|eRe=W~b`K)3U0Q)Hq|I|pNhgKp=elvxwg
zVrBSxPsiB>0krdO^nDO)ySsY?`5OqJQ=dV<06~$}&%JCDlL5RtG!zJEIsT5p8xQ&>
z4a2$zbTGK**Ei`|%3BXQ$Ed)18FY>@9n07{$C!$B2K27YVXR}IcWvIn`Udo_jj@h{
z-nDVBQ}4wD_oBap-iv8~bq(mfm^R;N6ck19adG!I}v=x!;bp3v`G+kF^_gi2jTf($6MDzsC&4
z)FJBLPrXd2PkGHi2Xk|*)}Vtq3M(3PFxSPJ5@$0huEbmidb@NQ)}x@eOaF|u1@v~Q
zA8RY4D@!X
zx#v^C;wJT@6#^KPeCWf?I~{n==s^Ly`G=9QQi*F^Ya?4ouKFEN3fQGo}d4DV`a;?
zn#Sl0dVY?^N(MbYS7JR1dVU^?^(^T5`3&`5gQ@3dW32^?=`6y>vmyu}KCeS>57zG_
zbw}+E?T@|_SAQN6^~UlgoC-vHcn*+2H+9Wcd9^Hr>!pkvrQzmDPB
zcac4Tj^Qw@XwWg-2P+%peSe~kCJDPH#Y4Os7j?(y#V
zb&rp@lc^PSj}OI)0*fAx6%Q6Y9%~X<^mwfKpnH6CtfioP{MWSQlb9Ag9_uNvSYG`4
zD2=%QHKCcq+572w3=di9AYO{CxHD)7Bi*45J%^YVxFpSi?^reB%;tih*91$ADK^AYpG{fr&
zdYB5w>IHh3a?h`asRYVP2aA2=8PoYS6bN7m_Bi@8<`Ao27g&Y4#@IHWQh$Xwtbz--
zc$w}Zu7j(a__#Serfy>Q{Ca$^M|oF(9^c(EbuyJoc^ROSsV-POK+gp3*)86y9`zv0
zEeN11+>1Wl9AecK=3qVo=1$0o{siJlQ?xYS!#ZV()h~osvWQu17Bbcw+DovXHAgT%
z%PZN2xC8Vxzln7abeG&(ZR)5$ig^lj=RJgV1a#*$XE$X!&1B`5Mmx?+VA&bgp>8m`
z&7$@M;z`gA`!UvMpc~ehr@)DlRdZOiHv_w;M^Tt9jBV4+GZ3>t*X%YdzbQ6aUhkjV
zInJBl1PAh!{reoT59$a0TL&jN>;eQ`{-3X1tG$hR*E5*_@9N8Hb;Rojx~-zH;z0L;
zM64vx;T4aS06M&`#F_?r#2=0|1@wqN0Bb7f5#K$#&i!AZythE-{>!kogUAvP
z|Y@xqnTp8K86jkFgGd&iz+n9Ri*EH}Aj-33Tp%k@7lV>h~t@#hL;7y@^b$nV>&2
zTZOe6bXHN1JGl{4&yg4D#Ua>w%GpVIdqEHOr?JjLb2)x~hII~FNOK$34!BO5VI7Gf
zXerHNtb3uAG!w8ULu+Xs!ul(;k>+Zw6VO(gy>DPg1lmdSa;zk{UYZR!vllZ)n!nTP
zHL%-DGmG*Dg2j!m^$Lv%_Gxb$?2hIL21t1&MTljf=jA)F#)F=hld#f2&&&O>jIHP8
zc&x*(+U&H=#asw_2LBoBAE0OO-B=E1*E9H?Sboqmczdio&@=dEthYeV;16SM2R(y7
zL5)7e)HC=D%sHTEaAWSFOg)3UcT>;H=AIt`i-GU8(R@Dy0jz=FLf-|}+vV;V2kum?3ebT&6Kf9Wz@3NnDCoc)gtY+ldevBu
zfyK=ANjA3u0=U)Rpr3}&5R2_XCx=D=yW89xvo%=W=ANj1!TL3YbmYMh6jt?io&2qr
z=Wtg8LyH{$kK%o0%9iFatnWZ~qf=PtL3g8*)u!%7YcPKT-HqJZ>t`|@bNMV9^i0tY
zt3T+OVj$L?pl6C8tOC$8g|Y4ii$v}1JYKSb00QG6`Z2Kn(X;c&zkywFT%OOM2A09m
z2DJlN2S*>|1h5T`M{u72o8Z`j_l_xB2FH6?AAk;ykFoZH4vvqiO&uIdFb{wZ4!8C?
zIO>mJkqJ6DT4G%fIyib@#exowW7H-YQwN8!Qov$uQhFWVV**=UzI=b7zoekV_E#()
z;;_Z$Q2K)G49gH#8(A-c8uH0e4A6b;em1K;au)~<M%Nl8EI~@?A`9!^=jl1
z%6kIzYNP~f5$M&3+ZFX{Z9z^sp{*DZaq27%sBjKUfWdOxuc
zs}%HpVj0#9(7S|rSffGj5^ltL9rP~Y<5+Ki-X;7ME9_dEUBbhdr$O%$x`UnGCCuQ=
z!$9v6reKwV-X+|IwHu;j98Jgi3ZkWX1=bm8F3paNo;{(3G#g{}g6pK|j>;{inLv5z
zV6mll*#;UD0?1RN(A%0rY`#?Deo}oscJLU+n}eaC0MV5#Z-l5+DT`T;TzfD0-Z&kpu9Smdipa~U9i|W
z9#YPGZ{S${U{E>cB(Uy_uOe?X#n;sRNcR(O3t{$8(9?1G+@5-d?+d=ok
zE?9Sfo|D{b);)GE<*fkSV^?8q1l?ovuwDV(W52}u8FY``hV={R9^0IDZwGo#3dOn}
z^pb2SRu1STSt3?0=p~ukNA!|xDdnvIy(GI2YcA*|nHv>)N%lSEod>-nJC0Rnvdxn0
zHmo~9FUclhO#{6oYl1Z&^pfmlu5$^de#OIBOTpra^M_;E6$d9c#Nw$&P%$9~jjCSs
z3iyxWwBpcS5Y*WHJ|x%ueSngpamBgvao89Rt^k|o($C?oFej5knK54lJ?vCsEe1X8
zxL2x&oq8oqf1rn*V63*Fhn@CV9YGH}?XY4%4?7pAcLAmzB5uXX2R%e|!Wsd3h;YxY
zhlr;sZzJd-q6DiF^bldprJ#3hjA_oUhX`Z60v0cO9GcB9l7QvQwI@-}7@Zz1JAdlK
zymk&cOm4)A2R)BB!SaIBL7x5}v)JXSs+#Shya{&ms@etX+Vw_^2VFa3dQGt%d|&3<-G`cw4H~w5cFs}8|&^$n=y0?<~h(K<7uq3pcArPScgC-WbR$k
zqisEE(-`z<8)WJYdbBlWUC^VgG0oZaXltx1L65e5usong+d){vK##VGSa*U>$hu?o
z2AzReDdM@6vKhWd^&^KZ6FB
z4hiTFSAENI7omH>S8iujgv7U`~K~=BUxx_f#D@j=xYS-%xAKQ8z&YbFQi*
z_>sBM+5C0GLYV<2a@~m`)ejphwV7K>(fqH2O~vZrk}IRuQofK<96P-X8u)=kLpL
znb6F1VOyc3vXcl=9H>gZ!Rw$^r+Gp%L95;c@OIo(4)!=SZ{zHRopwEN0r9ZJQ{Q|^8;rN
z#?+&Vdn0u+Go13qf=*_}VNC~}%*@1E0y>$gz?uO%nJLC90iDd`Vl4-q%((qdCo`W=
z-cis?uy?S&0KEh|hIIk-66{N?uR$-tUc$PCAw$0?)C{XD=of`*Vs!)kIiY)Y{i4tu
z%KH=O7lod~S`PX}p=Ys{fqqe_5Ni@d$
ziPq9=iRFPd(rk!j%4{pm23W>!Crx)c(_4k#QTLZAQ?IyZU_B3=<=M-zR)9{mvaoWY
zt1Q!)WzfyaG-vNFO=GQu8>Q*CQV(fvqrA_dr!)^>9fX^u`4_DH&`X+cU~O3IIDMoU
zgVhsmk!Ctp9`u!F5LPL~O4Chb`bl#U<*kG`X->sj1@Y1})@txb({0a0X_{8w2o_!W
z#)VV|0$5+fqo;uN;@XFt2LY@v%F(C6A6Z{K#&Ij*|GU0;l`=kuz}6S1IN|~XzP^Zf
zoS7Ly>Q-m&mYH4K5>)KB;%YwURsQx8tby%%M>_mX$*U9@>s&o(N
zFF+^n+p(^B!e&e0SIj1uI(h#Jvni%d-rck779K+??g7iiUFPGyS-kg
z`8kv~26XbCjx`qa^OIz((52>WGZmfJEoMvy{f)sDSn;5j4(B<$2U9N{lCUyCFC7xF
z`h#9N9Omq6F?E_h8S81#X}%xp8PI9Idv=}Xn`?XtTF84ea0!3s2K0g;5vvUJf?yI>
zCA5-fpNO>-^wMEMwW*g5<1x!YFC98y{Q@!aI(J}w2koV~7VCTHAWiq|dO0$hXqx~x
z$TCM^O#{7fsla+1^ulF2)-#|NE)QTm2zuf29M%h<7cPIoS_XRIG6?H8(94lMSU-SX
zj%>m@3wk-?o?S0TqDgZ)KyP_BJ7M($y>RJ>bpz;yi<@Zag-bf+<$_+gV<^RT8thBR}r{E#WlWUMVPP?}F-y$*w<`5@LCFj$)I
z*@sB;uatKIhD!4|RtSCmc4>xT)qy*t8H!Z{hDq}S&Yp*Pmo&R$4T5ZGHp3bWIns2`
zo-567DDP(&F3pQrwVpAHLzSr-^J>g|Y5s!wD~yolVXVQFIZ~S4um-{?X*R_g1f!+t
zp1n|-cT?WIP$bPMSaV>EmH8BAu{0-R-47+w%)vSgrPADlbr8l$^BJr|P$o_H?Bk_r
zuJH(1Bsaa2nBX9QO|Jy>G_d}g*MpILVEH>NccYF0vr{3fx)<>v=q;7QSYLzQQuzk!
z1n4c5^;qA6MQ(UvJ_SC4YW0<8C}y~^xm?)>T@bs2ZiCKP38q-RwSF>@0{cUR*Zf^Y
zZ}}Mc7D6z3ZLt2M^9_-kfMv(%j@k>XIz}ntM9_^=gf#_p$C!pS6LiP$VO4^2le~LF
zZ)1>x02;akeG*uGdh;;iJg{u!6{u^#s*#&#uows3$gQ#3gKp%GSe-#P@()~Q7fg%w
z)|yN{LWTeuc`y252nn(HzUgm>XTh?OBfLD>1nZxgYK+_rg2F9dWf_HB0_;x89=HVW
zDO0$WxfWC3n=-5l(3{QfmDZ4F|B~{Kf!=I3=8vGakk4aX1igj)J62eh%@*<|%y3M-
zh1?md2k0&2UReD=Zz0#iiUW(ig$)Dv4N3?gDt4pq1M8oyJc9fUSVqPf)bn5+8NZvd
zlNne7`O{Gu954*rXFZldHIqXY0vo!rvzFjZ03B3!VNC=*G`g3q!|zSX+XXuO7GbRh
z9e!@@b@=6`I8GtxXFVRQBG7>vk7aBfsJ*b(fexw)thJznYAn`Epr6aQXV=eVwo=|Z
zpr6a^#Cjj}bD4Lsc7T2^vl;6r(9dP|W1WIVvd@1}ZR+PTZkhVIOq*0DdC<>gx?$Z6
z`ngPREDz}CGC^1gpr6aUfwc?tD_tL8?E(Et*AlF~;4}(Pi5=|A>fZGVr*3R~e1<18
z)0gZ?P4tpt){W0fNg3jc&GPp54e$&Jb{cx(J?R;qxLB_z-j|S-8s|+)OAY6rGctVM
zv;m$}Uuv4y7aJGnN%uBzuJFXAC8hc}BrP+^>r2Y?4fSNCh4Jr6shL>`2}yBDo>Z@|
zUu<%0YMiI0bG4^mY`o8#5u2JBTUD|z!Q;79ZVjiYIY(wvVyY*@7n_{niH#pZ$;qBX
zb1n6qYdk5j$q8v0DO{MjUJ6d)GPyi+<+Yq^Ip9*|VpA^}=HGoONtr3J-njlD20bS1PSih3NYCn*oD^4ed{Sy$T54uerkC@DqWrTA+8`~9
zV&c<0nN^MA8H`oiiT;<8>A5Y-L&bfmSt*$+2;s{+!Q~5#+S-3`+9$
vkI#r56q`&lrpNY6N>1|9gQ{(sender_address);
-
-        let seed_bytes = BCS::to_bytes(&sender_address);
-        Vector::append(&mut seed_bytes, BCS::to_bytes(&sequence_number));
-        Vector::append(&mut seed_bytes, BCS::to_bytes(&stc_balance));
-
-        let seed_hash = Hash::sha3_256(seed_bytes);
-        let i = 0;
-        let address_bytes = Vector::empty();
-        while (i < ADDRESS_LENGTH) {
-            Vector::push_back(&mut address_bytes, *Vector::borrow(&seed_hash,i));
-            i = i + 1;
-        };
-        let new_address = BCS::to_address(address_bytes);
+        let new_address = generate_fresh_address(sender);
         Self::create_account_with_address(new_address);
         let new_signer = Self::create_signer(new_address);
         (new_address, Self::remove_signer_capability(&new_signer))
     }
 
+    /// Generate a fresh address from the sender address and the sender's sequence number, and ensure the generated address is not exists onchain.
+    public fun generate_fresh_address(sender: &signer) : address acquires Balance, Account {
+        let try_times = 0u64;
+        while(true){
+            let sender_address = Signer::address_of(sender);
+            let sequence_number = Self::sequence_number(sender_address);
+            // use stc balance as part of seed, just for new address more random.
+            let stc_balance = Self::balance(sender_address);
+
+            let seed_bytes = BCS::to_bytes(&sender_address);
+            Vector::append(&mut seed_bytes, BCS::to_bytes(&sequence_number));
+            Vector::append(&mut seed_bytes, BCS::to_bytes(&stc_balance));
+            Vector::append(&mut seed_bytes, BCS::to_bytes(&try_times));
+
+            let seed_hash = Hash::sha3_256(seed_bytes);
+            
+            let i = 0;
+            let address_bytes = Vector::empty();
+            while (i < ADDRESS_LENGTH) {
+                Vector::push_back(&mut address_bytes, *Vector::borrow(&seed_hash,i));
+                i = i + 1;
+            };
+            let new_address = BCS::to_address(address_bytes);
+            if (Self::exists_at(new_address)){
+                try_times = try_times + 1;
+                continue
+            }else{
+                return new_address
+            }
+        };
+        //unreachable
+        abort 0
+    }
+
     spec create_delegate_account {
         pragma verify = false;
         //TODO write spec