diff --git a/agora/Agora/Plutarch/Orphans.hs b/agora/Agora/Plutarch/Orphans.hs index 77be2b17..e2057625 100644 --- a/agora/Agora/Plutarch/Orphans.hs +++ b/agora/Agora/Plutarch/Orphans.hs @@ -40,7 +40,7 @@ instance PTryFrom PData (PAsData PPubKeyHash) where (wrapped :: Term _ (PAsData PByteString), unwrapped :: Term _ PByteString) <- tcont $ ptryFrom @(PAsData PByteString) opq tcont $ \f -> pif (plengthBS # unwrapped #== 28) (f ()) (ptraceError "a PubKeyHash should be 28 bytes long") - pure (punsafeCoerce wrapped, punsafeCoerce $ unwrapped) + pure (punsafeCoerce wrapped, punsafeCoerce unwrapped) -- | @since 0.1.0 instance AdditiveSemigroup (Term s PPOSIXTime) where @@ -88,7 +88,7 @@ instance PTryFrom PData (PAsData PDatumHash) where ptryFrom' opq = runTermCont $ do (wrapped :: Term _ (PAsData PByteString), unwrapped :: Term _ PByteString) <- tcont $ ptryFrom @(PAsData PByteString) opq - tcont $ \f -> pif (plengthBS # unwrapped #== 28) (f ()) (ptraceError "a DatumHash should be 28 bytes long") + tcont $ \f -> pif (plengthBS # unwrapped #== 64) (f ()) (ptraceError "a DatumHash should be 64 bytes long") pure (punsafeCoerce wrapped, punsafeCoerce unwrapped) -- | @since 0.1.0 diff --git a/bench.csv b/bench.csv index ea18afa7..9f848b1e 100644 --- a/bench.csv +++ b/bench.csv @@ -1,37 +1,37 @@ name,cpu,mem,size -Agora/Effects/Treasury Withdrawal Effect/effect/Simple,289254528,702155,3182 -Agora/Effects/Treasury Withdrawal Effect/effect/Simple with multiple treasuries ,448314458,1069267,3509 -Agora/Effects/Treasury Withdrawal Effect/effect/Mixed Assets,407878321,965148,3374 -Agora/Effects/Governor Mutation Effect/validator/valid new governor datum/governor validator should pass,83758582,229228,7665 -Agora/Effects/Governor Mutation Effect/validator/valid new governor datum/effect validator should pass,97345575,266935,3358 -Agora/Stake/policy/stakeCreation,43114795,124549,2156 -Agora/Stake/validator/stakeDepositWithdraw deposit,171823342,464745,4189 -Agora/Stake/validator/stakeDepositWithdraw withdraw,171823342,464745,4177 -Agora/Proposal/policy/proposalCreation,23140177,69194,1518 -Agora/Proposal/validator/cosignature/proposal,204468349,563576,6644 -Agora/Proposal/validator/cosignature/stake,114125937,284821,4726 -Agora/Proposal/validator/voting/proposal,165922664,436410,6573 -Agora/Proposal/validator/voting/stake,107127768,275725,4700 -Agora/Proposal/validator/advancing/successfully advance to next state/Draft -> VotringReady,161811766,432942,6471 -Agora/Proposal/validator/advancing/successfully advance to next state/VotingReady -> Locked,160968344,431439,6474 -Agora/Proposal/validator/advancing/successfully advance to next state/Locked -> Finished,162664811,435045,6474 -Agora/Proposal/validator/advancing/successfully advance to failed state: timeout/Draft -> Finished,160681965,430212,6473 -Agora/Proposal/validator/advancing/successfully advance to failed state: timeout/VotingReady -> Finished,159273054,427507,6474 -Agora/Proposal/validator/advancing/successfully advance to failed state: timeout/Locked -> Finished,160404032,429911,6474 -"Agora/Proposal/validator/unlocking/legal/1 proposals, voter, unlock stake + retract votes, VotingReady",181038199,485408,6524 -"Agora/Proposal/validator/unlocking/legal/1 proposals, creator, unlock stake, Finished",155771580,420896,6528 -"Agora/Proposal/validator/unlocking/legal/voter unlocks stake after voting/1 proposals, voter, unlock stake, Finished",154838669,421191,6528 -"Agora/Proposal/validator/unlocking/legal/voter unlocks stake after voting/1 proposals, voter, unlock stake, Locked",154838669,421191,6528 -"Agora/Proposal/validator/unlocking/legal/42 proposals, voter, unlock stake + retract votes, VotingReady",2577778520,7019619,28042 -"Agora/Proposal/validator/unlocking/legal/42 proposals, creator, unlock stake, Finished",2298521083,6224856,28311 -"Agora/Proposal/validator/unlocking/legal/voter unlocks stake after voting/42 proposals, voter, unlock stake, Finished",2297588172,6225151,28211 -"Agora/Proposal/validator/unlocking/legal/voter unlocks stake after voting/42 proposals, voter, unlock stake, Locked",2297588172,6225151,28211 +Agora/Effects/Treasury Withdrawal Effect/effect/Simple,68035487,187575,3723 +Agora/Effects/Treasury Withdrawal Effect/effect/Simple with multiple treasuries ,82245885,228733,4050 +Agora/Effects/Treasury Withdrawal Effect/effect/Mixed Assets,81358886,228858,3915 +Agora/Effects/Governor Mutation Effect/validator/valid new governor datum/governor validator should pass,90397270,249528,8799 +Agora/Effects/Governor Mutation Effect/validator/valid new governor datum/effect validator should pass,106082031,292993,3609 +Agora/Stake/policy/stakeCreation,52241265,152127,2514 +Agora/Stake/validator/stakeDepositWithdraw deposit,180880812,492023,4431 +Agora/Stake/validator/stakeDepositWithdraw withdraw,180880812,492023,4419 +Agora/Proposal/policy/proposalCreation,23140177,69194,1519 +Agora/Proposal/validator/cosignature/proposal,338414402,960812,8364 +Agora/Proposal/validator/cosignature/stake,126327509,315061,4968 +Agora/Proposal/validator/voting/proposal,298791918,833990,8293 +Agora/Proposal/validator/voting/stake,125076577,331847,4942 +Agora/Proposal/validator/advancing/successfully advance to next state/Draft -> VotringReady,292475323,820090,8191 +Agora/Proposal/validator/advancing/successfully advance to next state/VotingReady -> Locked,291631901,818587,8194 +Agora/Proposal/validator/advancing/successfully advance to next state/Locked -> Finished,293328368,822193,8194 +Agora/Proposal/validator/advancing/successfully advance to failed state: timeout/Draft -> Finished,291345522,817360,8193 +Agora/Proposal/validator/advancing/successfully advance to failed state: timeout/VotingReady -> Finished,289936611,814655,8194 +Agora/Proposal/validator/advancing/successfully advance to failed state: timeout/Locked -> Finished,291067589,817059,8194 +"Agora/Proposal/validator/unlocking/legal/1 proposals, voter, unlock stake + retract votes, VotingReady",304637691,851452,8244 +"Agora/Proposal/validator/unlocking/legal/1 proposals, creator, unlock stake, Finished",275360000,776686,8248 +"Agora/Proposal/validator/unlocking/legal/voter unlocks stake after voting/1 proposals, voter, unlock stake, Finished",270836329,766331,8248 +"Agora/Proposal/validator/unlocking/legal/voter unlocks stake after voting/1 proposals, voter, unlock stake, Locked",270836329,766331,8248 +"Agora/Proposal/validator/unlocking/legal/42 proposals, voter, unlock stake + retract votes, VotingReady",3074171496,8538583,29762 +"Agora/Proposal/validator/unlocking/legal/42 proposals, creator, unlock stake, Finished",2782286591,7741684,30031 +"Agora/Proposal/validator/unlocking/legal/voter unlocks stake after voting/42 proposals, voter, unlock stake, Finished",2630541760,7294679,29931 +"Agora/Proposal/validator/unlocking/legal/voter unlocks stake after voting/42 proposals, voter, unlock stake, Locked",2630541760,7294679,29931 Agora/AuthorityToken/singleAuthorityTokenBurned/Correct simple,21017788,55883,806 Agora/AuthorityToken/singleAuthorityTokenBurned/Correct many inputs,33204186,88241,900 -Agora/Treasury/Validator/Positive/Allows for effect changes,29938856,79744,1390 +Agora/Treasury/Validator/Positive/Allows for effect changes,29938856,79744,1391 Agora/AuthorityToken/singleAuthorityTokenBurned/Correct simple,21017788,55883,806 Agora/AuthorityToken/singleAuthorityTokenBurned/Correct many inputs,33204186,88241,900 -Agora/Governor/policy/GST minting,43087287,120125,1829 -Agora/Governor/validator/proposal creation,261928725,689487,8181 -Agora/Governor/validator/GATs minting,352305185,937264,8302 -Agora/Governor/validator/mutate governor state,84905433,234687,7766 +Agora/Governor/policy/GST minting,51007235,144191,2034 +Agora/Governor/validator/proposal creation,317651809,854963,9315 +Agora/Governor/validator/GATs minting,122322162,331416,9436 +Agora/Governor/validator/mutate governor state,91544121,254987,8900