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 · 2 comments
Closed
18 tasks done

[pox-4] Stacking Stateful Tests #4548

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

Comments

@setzeus
Copy link
Collaborator

setzeus commented Mar 15, 2024 •
edited by BowTiedRadone
Loading

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.
@github-project-automation github-project-automation bot moved this to Status: 🆕 New in Stacks Core Eng Mar 15, 2024
@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.
@saralab saralab moved this from Status: 🆕 New to Status: 💻 In Progress in Stacks Core Eng Mar 22, 2024
@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
@BowTiedRadone BowTiedRadone mentioned this issue Apr 4, 2024
Merged
This was referenced Apr 6, 2024
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
@github-project-automation github-project-automation bot moved this from Status: 💻 In Progress to Status: ✅ Done in Stacks Core Eng May 3, 2024
@blockstack-devops
Copy link
Contributor

This issue has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.

@stacks-network stacks-network locked as resolved and limited conversation to collaborators Oct 28, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@moodmosaic moodmosaic

@BowTiedRadone BowTiedRadone

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

No branches or pull requests
5 participants
@saralab @moodmosaic @setzeus @blockstack-devops @BowTiedRadone