From 7d2dbd54bee09da11b530a46bf59fd826116128e Mon Sep 17 00:00:00 2001
From: beer-1 <147697694+beer-1@users.noreply.github.com>
Date: Thu, 31 Oct 2024 13:48:19 +0900
Subject: [PATCH] feat: add argument assertion on staking slashing (#157)

* add argument assertion on staking slashing

* typo
---
 precompile/binaries/stdlib/staking.mv         | Bin 11551 -> 11651 bytes
 .../initia_stdlib/sources/staking.move        |   5 +++++
 2 files changed, 5 insertions(+)

diff --git a/precompile/binaries/stdlib/staking.mv b/precompile/binaries/stdlib/staking.mv
index bc2694580f9291442956f99de1b4fc28971a2187..5ddc08cb5168a029b7aa26a90c27270683c53457 100644
GIT binary patch
delta 507
zcmYk1O=}ZT6o${aGk5Of-fKF?wg%JCj-{=2#*H5}K|&>Hi@~-+BZ@6jLRBn;v}uyI
z8x>I$aUn7rH&W|Itsk2*J4J9Qu3Y&K+*nZmfZ`2S@N5p}eV@a7&g#_7>HJz|O9=p}
z5qelp#kz-&9D747@Q3bqDQ>ra>U2L3`p(b6aqs=UA6mXS@*DN5+}Axj?oU0)cjM#D
z>AW@CB>?#<j-&vSYj~6a!V~P@X~d`4^57YsG7~&Uyn&{#<JE(vy}+Rsx`Ee>h%cir
zR?S%%?!SX8@wm-7cU|F%xRhv0i&ZYgAKTBN^;T2d+gadQg1?m-DNdX%j1^DJl*S6B
zlQW}}h2v+6rzdt5t4rm|+(o}$Dc7&~mlw;kjk)=1Jeyu`yPlVpwrN;%Wh+iqJF9>?
z1O(6q5*4GQcBJD`M{c(k%2I;nwUENuj)Xq@u(3Vzbt0KiEl`S_&{Ck1<O!r9t&&Qi
zSzKVsL4HU9I{z-FjKB9hn8%qG5P}B^6jC?UC~KnA)WvGi-QWN&M(={mK)pq#3>o}K
yD(2w!F?5X5tP%YR2Cy0Rg*mK87s6iN1O`jdtuU~bsS#}&eL4CTelYIq{f$3iQC*n;

delta 405
zcmYk0K}%af6ov1Z_vTIVW}3WFgEWdsOCvTf#kLT9NN8~3N^~WZC=}e6Hi=PJt%!>j
zx{`rzZM15@g~;1<*><7-z?~aG6vba4h!b$(-5kz6-{su(`OUdXd+=HcB42@WEcem*
zfuEk+7InUnxbnqq&v7R4e<bgnjZ6mzFaIe2qI?H+K6do%$$o94GK9^;`HEAW>?fpt
zVVn`DjY1EBZ(%@Kw~Z<5=r^zit2_Ae*2*r*U33p$?Ghbx>NLEScZF|QiDzBT;l&@4
zOMZOP`yS4^3gXw92_AQ{yXn<YNxDx^k<#QtGM!Sc?*_UrdaAf|B-fu5_qj(8^TI9J
zIM8_|QbKk?pGQI^1Y|-70=le{sicHG{LG{a9@fY{#+0Ct0+J-5hjd+!*{ZA_V5pm$
z;u|zfE*u<gcF}%|79XLKd3Y$-Rh?yvW+5C#%X|+bG|j*8Id2i8C36`Ton^gfGNlO1
MW~TJlrs-F$dxc?0^8f$<

diff --git a/precompile/modules/initia_stdlib/sources/staking.move b/precompile/modules/initia_stdlib/sources/staking.move
index beafa08a..eb2892d8 100644
--- a/precompile/modules/initia_stdlib/sources/staking.move
+++ b/precompile/modules/initia_stdlib/sources/staking.move
@@ -180,6 +180,9 @@ module initia_std::staking {
     /// Chain already has `StakingState` for the given metadata
     const ESTAKING_STATE_ALREADY_EXISTS: u64 = 16;
 
+    /// Invalid slash fraction
+    const EINVALID_SLASH_FRACTION: u64 = 17;
+
     // Constants
 
     /// Max number of view function response items.
@@ -621,6 +624,8 @@ module initia_std::staking {
         validator: String,
         fraction: BigDecimal
     ) acquires ModuleStore {
+        assert!(bigdecimal::le(fraction, bigdecimal::one()), error::invalid_argument(EINVALID_SLASH_FRACTION));
+
         check_chain_permission(chain);
 
         let module_store = borrow_global_mut<ModuleStore>(@initia_std);