Nikos Baxevanis
8d373fcf00
Merge branch 'next' into feat/signers-voting-property-testing
2024-02-28 14:56:18 +01:00
Nikos Baxevanis
6e6090eb80
Bump @stacks/transactions for isClarityType
...
- Bump @stacks/transactions from ^6.9.0 to ^6.12.0 for `isClarityType`.
- Use `assert` and `isClarityType` for stricter TypeScript type checks.
- Replace `// @ts-ignore` with precise assertions, improving tests.
Thanks to Hugo Caillard for his crucial help and guidance.
2024-02-28 13:28:49 +01:00
Nikos Baxevanis
ae05a62b3e
Add property-based tests for signers-voting contract functions
...
- reward-cycle-to-burn-height
- burn-height-to-reward-cycle
- is-in-prepare-phase
This effort, initially part of https://github.com/stacks-network/stacks-core/pull/4286 ,
is now in a separate commit and PR as it's autonomous with regards to PoX-4
property and fuzz testing. Additional property-based tests for the remaining
functions of the signers-voting contract are warranted and will be addressed
in separate commits/PRs.
2024-02-28 13:02:40 +01:00
Jeff Bencin
9385b42360
Merge pull request #4425 from jbencin/chore/vec-allocation-stacks-common
...
chore(stacks-common): Improvements to `Vec` allocation and operations
2024-02-27 22:06:13 -05:00
Jeff Bencin
16bd17cd43
chore: Address Brice's PR comment
2024-02-27 17:37:45 -05:00
Jeff Bencin
5a3b6f6895
chore: Address Brice's PR comments
2024-02-27 17:37:45 -05:00
Jeff Bencin
a6e3bedb21
chore: Minor performance tweaks
2024-02-27 17:37:45 -05:00
Jeff Bencin
29cfdb8620
chore: Undo flat_map() changes because this seems to optimize significantly worse than a for loop
2024-02-27 17:37:45 -05:00
Jeff Bencin
05c63dc3b2
chore(stacks-common): Clean up Vec operations in transaction.rs
2024-02-27 17:37:45 -05:00
Jeff Bencin
04ddd83192
chore(stacks-common): Use vec::with_capacity() when possible to allocate vectors
2024-02-27 17:37:45 -05:00
Jeff Bencin
d72ad44e24
Merge pull request #4408 from jbencin/chore/vec-with-capacity
...
chore(clarity): Replace `Vec::new()` and `vec![]`
2024-02-27 17:36:33 -05:00
Jeff Bencin
9ff45c3b0f
chore: Address Brice's PR comments
2024-02-27 15:57:08 -05:00
Jeff Bencin
21e2232156
chore(clarity): Use vec::with_capacity() when possible to allocate vectors
2024-02-27 15:57:08 -05:00
ASuciuX
ee1f7ed545
Merge pull request #4385 from ASuciuX/mutants/add-skip-attribute-to-timeout-functions
...
Mutants/add skip attribute to timeout functions
2024-02-27 19:50:41 +02:00
ASuciuX
ff7ec086f5
Merge branch 'next' into mutants/add-skip-attribute-to-timeout-functions
2024-02-27 17:50:23 +02:00
Marzi
708a3fc877
Cargo Format
2024-02-27 10:02:37 -05:00
Marzi
221ee486ae
Re-apply deleting StagingUserBurnSupport definition and usage
2024-02-27 10:02:37 -05:00
Marzi
ef5169bec0
Cargo Format
2024-02-27 10:02:37 -05:00
Marzi
f502020bea
Delete UserBurnSupportOp definition and usage
2024-02-27 10:02:37 -05:00
ASuciuX
2ff19e8c07
Merge branch 'next' into mutants/add-skip-attribute-to-timeout-functions
2024-02-27 15:07:52 +02:00
wileyj
577b118a36
Merge pull request #4287 from stacks-network/feat/signers-cast-dkg-vote
...
Feat/signers cast dkg vote
2024-02-26 07:21:15 -08:00
Jacinta Ferrant
e22871d6af
Send DKG and sign to all senders and remove shutdown in hanging tests
...
Signed-off-by: Jacinta Ferrant <jacinta@trustmachines.co >
2024-02-24 16:50:24 -05:00
Jacinta Ferrant
7dfee14faa
CRC: fix faulty comments
...
Signed-off-by: Jacinta Ferrant <jacinta@trustmachines.co >
2024-02-24 16:49:57 -05:00
Jacinta Ferrant
0bd2ad6212
Store commands to the side in case init fails
...
Signed-off-by: Jacinta Ferrant <jacinta@trustmachines.co >
2024-02-24 16:49:38 -05:00
Jacinta Ferrant
9ce4f97c9f
Fix epoch check
...
Signed-off-by: Jacinta Ferrant <jacinta@trustmachines.co >
2024-02-23 22:02:01 -05:00
Jacinta Ferrant
1384084dd1
Do not trigger DKG if we have an approved DKG key set in the contract
...
Signed-off-by: Jacinta Ferrant <jacinta@trustmachines.co >
2024-02-23 15:07:13 -05:00
Jacinta Ferrant
05518ad42b
CRC: cleanup comments
...
Signed-off-by: Jacinta Ferrant <jacinta@trustmachines.co >
2024-02-23 13:49:33 -05:00
Jacinta Ferrant
6edec125ab
CRC: cleanup parse_function_args
...
Signed-off-by: Jacinta Ferrant <jacinta@trustmachines.co >
2024-02-23 13:33:11 -05:00
Jacinta Ferrant
e24f223a98
Fix signer vote calculations into a struct
...
Signed-off-by: Jacinta Ferrant <jacinta@trustmachines.co >
2024-02-23 13:12:50 -05:00
Jacinta Ferrant
1de817b2f1
Fix fee calculation and always broadcast Sign errors as block rejections
...
Signed-off-by: Jacinta Ferrant <jacinta@trustmachines.co >
2024-02-23 10:25:39 -05:00
Jacinta Ferrant
69d25fb0dd
CRC: cleanup var names and add comment to SignerMessages
...
Signed-off-by: Jacinta Ferrant <jacinta@trustmachines.co >
2024-02-22 22:02:12 -05:00
Jacinta Ferrant
66c6862ecc
Move get_signer_weights function to signer_set.rs
...
Signed-off-by: Jacinta Ferrant <jacinta@trustmachines.co >
2024-02-22 21:58:00 -05:00
Jacinta Ferrant
0bc6442200
Fix test_make_miners_stackerdb_config by adding missing miners contract to peer config
...
Signed-off-by: Jacinta Ferrant <jacinta@trustmachines.co >
2024-02-22 21:58:00 -05:00
Jacinta Ferrant
838f06fda2
Fix test simple signer test by fixing contract id
...
Signed-off-by: Jacinta Ferrant <jacinta@trustmachines.co >
2024-02-22 21:58:00 -05:00
Jacinta Ferrant
1c8d6118c4
Fix reward cycle filter bad transactions test
...
Signed-off-by: Jacinta Ferrant <jacinta@trustmachines.co >
2024-02-22 21:58:00 -05:00
Jacinta Ferrant
51809a009b
Fix get_current_reward_cycle in stacks client
...
Signed-off-by: Jacinta Ferrant <jacinta@trustmachines.co >
2024-02-22 21:58:00 -05:00
Jacinta Ferrant
e99d6d8ce2
Cleanup reward cycle transitions test
...
Signed-off-by: Jacinta Ferrant <jacinta@trustmachines.co >
2024-02-22 21:58:00 -05:00
Jacinta Ferrant
5149d6fcd3
Always refresh configs, temp set consenus has to 0 in coordinator calculation, retrieve NEXT signers transactions in signer
...
Signed-off-by: Jacinta Ferrant <jacinta@trustmachines.co >
2024-02-22 21:58:00 -05:00
Jacinta Ferrant
b0d4a34a1a
Retreive the transactions from the NEXT signers in the miner
...
Signed-off-by: Jacinta Ferrant <jacinta@trustmachines.co >
2024-02-22 21:58:00 -05:00
Jacinta Ferrant
c0a0d74a26
Fix reward set boundary calculation
...
Signed-off-by: Jacinta Ferrant <jacinta@trustmachines.co >
2024-02-22 21:58:00 -05:00
Jacinta Ferrant
33a8a80787
Increase wait_for_signers timeout
...
Signed-off-by: Jacinta Ferrant <jacinta@trustmachines.co >
2024-02-22 21:58:00 -05:00
Jacinta Ferrant
74ec4bca4f
Fix prepare phase reward set calculation
...
Signed-off-by: Jacinta Ferrant <jacinta@trustmachines.co >
2024-02-22 21:58:00 -05:00
Jacinta Ferrant
867198119d
CRC: cleanup logging
...
Signed-off-by: Jacinta Ferrant <jacinta@trustmachines.co >
2024-02-22 21:58:00 -05:00
Jacinta Ferrant
9cce191a5b
WIP: add test for post epoch 3 reward cycle transition
...
Signed-off-by: Jacinta Ferrant <jacinta@trustmachines.co >
2024-02-22 21:58:00 -05:00
Jacinta Ferrant
435e6768fd
Fix rebase issue: rename of slots to weight
...
Signed-off-by: Jacinta Ferrant <jacinta@trustmachines.co >
2024-02-22 21:58:00 -05:00
Jacinta Ferrant
62e2109259
CRC: use signer weights when calculating block rejection thresholds
...
Signed-off-by: Jacinta Ferrant <jacinta@trustmachines.co >
2024-02-22 21:58:00 -05:00
Jacinta Ferrant
14a15a682d
CRC: cleanup comments
...
Signed-off-by: Jacinta Ferrant <jacinta@trustmachines.co >
2024-02-22 21:58:00 -05:00
Jacinta Ferrant
0b08bf7d98
Fix signer slot id for index calculation in verify_payload
...
Signed-off-by: Jacinta Ferrant <jacinta@trustmachines.co >
2024-02-22 21:58:00 -05:00
Jacinta Ferrant
efd6352b58
If no reward set is found for a reward cycle, do not check again
...
Signed-off-by: Jacinta Ferrant <jacinta@trustmachines.co >
2024-02-22 21:58:00 -05:00
Jacinta Ferrant
3fa40b738a
Fix verify payload test
...
Signed-off-by: Jacinta Ferrant <jacinta@trustmachines.co >
2024-02-22 21:58:00 -05:00