Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[pox-4] Stacking Stateful Tests #4548

Closed
18 tasks done
setzeus opened this issue Mar 15, 2024 · 1 comment
Closed
18 tasks done

[pox-4] Stacking Stateful Tests #4548

setzeus opened this issue Mar 15, 2024 · 1 comment
Assignees
@moodmosaic @BowTiedRadone
Labels
2.5 clarity PoX-4
Milestone
Nakamoto Mileston...

Comments

@setzeus
Copy link
Collaborator

setzeus commented Mar 15, 2024 •
edited by BowTiedRadone

With the latest progress from @BowTiedRadone & @moodmosaic, it's now possible to test the core stacking functions in PoX-4 in a stateful manner. Starting with the core sequence for a solo stacker, a "complete" instance of stateful testing would cover all of the following state changes in a single run, across multiple reward cycles:

Generating Authorization

  • Signer explicitly creates an authorization

Solo Stacking

  • Solo stacking with a signature (stacks-stx)
  • Solo stacking with an authorization (stacks-stx)
  • Solo stacking extension with a signature (stack-extend)
  • Solo stacking extension with an authorization (stack-extend)
  • Solo stacking increase (stack-increase)

Pool Stacking

  • Pool delegating (delegate-stx)
  • Pool revoking (revoke-delegate-stx)
  • Pool stacking (delegate-stack-stx)
  • Pool stacking extended (delegate-stack-extend)
  • Pool stacking increased (delegate-stack-increase)
  • Allow contract caller (allow-contract-caller)
  • Disallow contract caller (disallow-contract-caller)
  • Pool aggregate commit with a signature (stack-aggregation-commit)
  • Pool aggregate commit with an authorization (stack-aggregation-commit)
  • Pool aggregate commit indexed with a signature (stack-aggregation-commit)
  • Pool aggregate commit indexed with an authorization (stack-aggregation-commit)
  • Pool aggregate increase (stack-aggregation-increase)

See also #4433.
@setzeus setzeus changed the title [pox-4] Stacking Stateful Testing [pox-4] Stacking Stateful Tests Mar 15, 2024
moodmosaic added a commit that referenced this issue Mar 16, 2024
@moodmosaic
wip: PoX-4 StackStxCommand & stateful property tests planning
6369fb2 
This commit lays the groundwork for the StackStxCommand and
GetStackingMinimumCommand classes for PoX-4. It also proposes the
introduction of fast-check based stateful tests, similar to the efforts
for sBTC (stacks-network/sbtc#152).

As highlighted in #4548,
this initiative is part of an ongoing effort to embrace a more rigorous,
property-based testing strategy for PoX-4 interactions.

The planned stateful tests aim to simulate various stacking scenarios,
ensuring compliance with PoX-4 protocols and robust error handling. This
strategy is expected to greatly enhance test coverage and the reliability
of PoX-4 stacking operations, bolstering confidence in the protocol’s
robustness and correctness.

Note: This is an early-stage WIP commit. Implementation details and testing
strategies are subject to substantial development and refinement.
@moodmosaic moodmosaic mentioned this issue Mar 16, 2024
Merged
moodmosaic added a commit that referenced this issue Mar 17, 2024
@moodmosaic
wip: PoX-4 StackStxCommand & stateful property tests planning
50aa5fc 
This commit lays the groundwork for the StackStxCommand and
GetStackingMinimumCommand classes for PoX-4. It also proposes the
introduction of fast-check based stateful tests, similar to the efforts
for sBTC (stacks-network/sbtc#152).

As highlighted in #4548,
this initiative is part of an ongoing effort to embrace a more rigorous,
property-based testing strategy for PoX-4 interactions.

The planned stateful tests aim to simulate various stacking scenarios,
ensuring compliance with PoX-4 protocols and robust error handling. This
strategy is expected to greatly enhance test coverage and the reliability
of PoX-4 stacking operations, bolstering confidence in the protocol’s
robustness and correctness.

Note: This is an early-stage WIP commit. Implementation details and testing
strategies are subject to substantial development and refinement.
moodmosaic added a commit that referenced this issue Mar 17, 2024
@moodmosaic
wip: PoX-4 StackStxCommand & stateful property tests planning
29425eb 
This commit lays the groundwork for the StackStxCommand and
GetStackingMinimumCommand classes for PoX-4. It also proposes the
introduction of fast-check based stateful tests, similar to the efforts
for sBTC (stacks-network/sbtc#152).

As highlighted in #4548,
this initiative is part of an ongoing effort to embrace a more rigorous,
property-based testing strategy for PoX-4 interactions.

The planned stateful tests aim to simulate various stacking scenarios,
ensuring compliance with PoX-4 protocols and robust error handling. This
strategy is expected to greatly enhance test coverage and the reliability
of PoX-4 stacking operations, bolstering confidence in the protocol’s
robustness and correctness.

Note: This is an early-stage WIP commit. Implementation details and testing
strategies are subject to substantial development and refinement.
moodmosaic added a commit that referenced this issue Mar 18, 2024
@moodmosaic
wip: PoX-4 StackStxCommand & stateful property tests planning
87b28c8 
This commit lays the groundwork for the StackStxCommand and
GetStackingMinimumCommand classes for PoX-4. It also proposes the
introduction of fast-check based stateful tests, similar to the efforts
for sBTC (stacks-network/sbtc#152).

As highlighted in #4548,
this initiative is part of an ongoing effort to embrace a more rigorous,
property-based testing strategy for PoX-4 interactions.

The planned stateful tests aim to simulate various stacking scenarios,
ensuring compliance with PoX-4 protocols and robust error handling. This
strategy is expected to greatly enhance test coverage and the reliability
of PoX-4 stacking operations, bolstering confidence in the protocol’s
robustness and correctness.

Note: This is an early-stage WIP commit. Implementation details and testing
strategies are subject to substantial development and refinement.
@moodmosaic moodmosaic mentioned this issue Mar 18, 2024
Merged
moodmosaic added a commit that referenced this issue Mar 19, 2024
@moodmosaic
wip: PoX-4 StackStxCommand & stateful property tests planning
e7f6467 
This commit lays the groundwork for the StackStxCommand and
GetStackingMinimumCommand classes for PoX-4. It also proposes the
introduction of fast-check based stateful tests, similar to the efforts
for sBTC (stacks-network/sbtc#152).

As highlighted in #4548,
this initiative is part of an ongoing effort to embrace a more rigorous,
property-based testing strategy for PoX-4 interactions.

The planned stateful tests aim to simulate various stacking scenarios,
ensuring compliance with PoX-4 protocols and robust error handling. This
strategy is expected to greatly enhance test coverage and the reliability
of PoX-4 stacking operations, bolstering confidence in the protocol’s
robustness and correctness.

Note: This is an early-stage WIP commit. Implementation details and testing
strategies are subject to substantial development and refinement.
moodmosaic added a commit that referenced this issue Mar 19, 2024
@moodmosaic
wip: PoX-4 StackStxCommand & stateful property tests planning
e3ae8c5 
This commit lays the groundwork for the StackStxCommand and
GetStackingMinimumCommand classes for PoX-4. It also proposes the
introduction of fast-check based stateful tests, similar to the efforts
for sBTC (stacks-network/sbtc#152).

As highlighted in #4548,
this initiative is part of an ongoing effort to embrace a more rigorous,
property-based testing strategy for PoX-4 interactions.

The planned stateful tests aim to simulate various stacking scenarios,
ensuring compliance with PoX-4 protocols and robust error handling. This
strategy is expected to greatly enhance test coverage and the reliability
of PoX-4 stacking operations, bolstering confidence in the protocol’s
robustness and correctness.

Note: This is an early-stage WIP commit. Implementation details and testing
strategies are subject to substantial development and refinement.
moodmosaic added a commit that referenced this issue Mar 19, 2024
@moodmosaic
wip: PoX-4 StackStxCommand & stateful property tests planning
7fa3318 
This commit lays the groundwork for the StackStxCommand and
GetStackingMinimumCommand classes for PoX-4. It also proposes the
introduction of fast-check based stateful tests, similar to the efforts
for sBTC (stacks-network/sbtc#152).

As highlighted in #4548,
this initiative is part of an ongoing effort to embrace a more rigorous,
property-based testing strategy for PoX-4 interactions.

The planned stateful tests aim to simulate various stacking scenarios,
ensuring compliance with PoX-4 protocols and robust error handling. This
strategy is expected to greatly enhance test coverage and the reliability
of PoX-4 stacking operations, bolstering confidence in the protocol’s
robustness and correctness.

Note: This is an early-stage WIP commit. Implementation details and testing
strategies are subject to substantial development and refinement.
@BowTiedRadone BowTiedRadone mentioned this issue Mar 25, 2024
Merged
moodmosaic added a commit that referenced this issue Mar 26, 2024
@moodmosaic
wip: PoX-4 StackStxCommand & stateful property tests planning
3ec2f98 
This commit lays the groundwork for the StackStxCommand and
GetStackingMinimumCommand classes for PoX-4. It also proposes the
introduction of fast-check based stateful tests, similar to the efforts
for sBTC (stacks-network/sbtc#152).

As highlighted in #4548,
this initiative is part of an ongoing effort to embrace a more rigorous,
property-based testing strategy for PoX-4 interactions.

The planned stateful tests aim to simulate various stacking scenarios,
ensuring compliance with PoX-4 protocols and robust error handling. This
strategy is expected to greatly enhance test coverage and the reliability
of PoX-4 stacking operations, bolstering confidence in the protocol’s
robustness and correctness.

Note: This is an early-stage WIP commit. Implementation details and testing
strategies are subject to substantial development and refinement.
moodmosaic added a commit that referenced this issue Mar 26, 2024
@moodmosaic
wip(pox-4): StackStxCommand & stateful property tests planning
3c54090 
This commit lays the groundwork for the StackStxCommand and
GetStackingMinimumCommand classes for PoX-4. It also proposes the
introduction of fast-check based stateful tests, similar to the efforts
for sBTC (stacks-network/sbtc#152).

As highlighted in #4548,
this initiative is part of an ongoing effort to embrace a more rigorous,
property-based testing strategy for PoX-4 interactions.

The planned stateful tests aim to simulate various stacking scenarios,
ensuring compliance with PoX-4 protocols and robust error handling. This
strategy is expected to greatly enhance test coverage and the reliability
of PoX-4 stacking operations, bolstering confidence in the protocol’s
robustness and correctness.

Note: This is an early-stage WIP commit. Implementation details and testing
strategies are subject to substantial development and refinement.
moodmosaic added a commit that referenced this issue Mar 26, 2024
@moodmosaic
wip(pox-4): StackStxCommand & stateful property tests planning
0f1dddf 
This commit lays the groundwork for the StackStxCommand and
GetStackingMinimumCommand classes for PoX-4. It also proposes the
introduction of fast-check based stateful tests, similar to the efforts
for sBTC (stacks-network/sbtc#152).

As highlighted in #4548,
this initiative is part of an ongoing effort to embrace a more rigorous,
property-based testing strategy for PoX-4 interactions.

The planned stateful tests aim to simulate various stacking scenarios,
ensuring compliance with PoX-4 protocols and robust error handling. This
strategy is expected to greatly enhance test coverage and the reliability
of PoX-4 stacking operations, bolstering confidence in the protocol’s
robustness and correctness.

Note: This is an early-stage WIP commit. Implementation details and testing
strategies are subject to substantial development and refinement.
This was referenced Mar 27, 2024
Merged
Merged
Merged
Merged
This was referenced Apr 4, 2024
Merged
Closed
Merged
Merged
moodmosaic added a commit that referenced this issue Apr 11, 2024
@moodmosaic
wip(pox-4-tests): StackStxCommand & stateful property tests planning
9905e7e 
This commit lays the groundwork for the StackStxCommand and
GetStackingMinimumCommand classes for PoX-4. It also proposes the
introduction of fast-check based stateful tests, similar to the efforts
for sBTC (stacks-network/sbtc#152).

As highlighted in #4548,
this initiative is part of an ongoing effort to embrace a more rigorous,
property-based testing strategy for PoX-4 interactions.

The planned stateful tests aim to simulate various stacking scenarios,
ensuring compliance with PoX-4 protocols and robust error handling. This
strategy is expected to greatly enhance test coverage and the reliability
of PoX-4 stacking operations, bolstering confidence in the protocol’s
robustness and correctness.

Note: This is an early-stage WIP commit. Implementation details and testing
strategies are subject to substantial development and refinement.
moodmosaic added a commit that referenced this issue Apr 11, 2024
@moodmosaic
wip(pox-4-tests): StackStxCommand & stateful property tests planning
954e294 
This commit lays the groundwork for the StackStxCommand and
GetStackingMinimumCommand classes for PoX-4. It also proposes the
introduction of fast-check based stateful tests, similar to the efforts
for sBTC (stacks-network/sbtc#152).

As highlighted in #4548,
this initiative is part of an ongoing effort to embrace a more rigorous,
property-based testing strategy for PoX-4 interactions.

The planned stateful tests aim to simulate various stacking scenarios,
ensuring compliance with PoX-4 protocols and robust error handling. This
strategy is expected to greatly enhance test coverage and the reliability
of PoX-4 stacking operations, bolstering confidence in the protocol’s
robustness and correctness.

Note: This is an early-stage WIP commit. Implementation details and testing
strategies are subject to substantial development and refinement.
@BowTiedRadone BowTiedRadone mentioned this issue Apr 26, 2024
Merged
@moodmosaic
Copy link
Member

Resolved via #4550 and #4725.

@setzeus setzeus closed this as completed May 3, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@moodmosaic moodmosaic

@BowTiedRadone BowTiedRadone

Labels
2.5 clarity PoX-4
Projects
Stacks Core Eng
Archived in project
Milestone
Nakamoto Milestone 0.4 [3.0 Activation]
Development

No branches or pull requests
4 participants
@saralab @moodmosaic @setzeus @BowTiedRadone