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

[SPEC] Specification of Superfluid Protocol #1868

Open
1 of 2 tasks
hellwolf opened this issue Apr 12, 2022 · 0 comments
Open
1 of 2 tasks

[SPEC] Specification of Superfluid Protocol #1868

hellwolf opened this issue Apr 12, 2022 · 0 comments
Assignees
@hellwolf
Labels
Epic Issues container Project: PROTOCOL-SPEC Superfluid protocol specification in haskell Type: Enhancement New feature or request

Comments

@hellwolf
Copy link
Contributor

hellwolf commented Apr 12, 2022 •
edited
Loading

As a Superfluid Protocol stakeholder, I'd like to see the foundational tech used by Superfluid protocol gaining more legitimacy by getting more serious in its design decisions and being more formal in its specification.

To achieve this, these steps are being taken in 2022 Q2:

  • spec-haskell project, where concepts are better defined and simulation and test environments are being built.
  • Publish generated yellow paper (a byproduct from spec-haskell project).
  • Extend olive branches to known academics in e-money space to make the case that Superfluid protocol has the potential be a formal subject.
@hellwolf hellwolf added the Type: Enhancement New feature or request label Apr 12, 2022
@hellwolf hellwolf self-assigned this Apr 12, 2022
@hellwolf hellwolf changed the title Specification of Superfluid Protocol [SPEC] Specification of Superfluid Protocol May 9, 2022
@philipandersson philipandersson added the Team: Protocol Protocol Core, Sentinel, Peripherals, Protocol Infrastructure Tools & DevOps label Mar 16, 2023
@hellwolf hellwolf added Epic Issues container and removed Team: Protocol Protocol Core, Sentinel, Peripherals, Protocol Infrastructure Tools & DevOps labels Mar 24, 2023
@hellwolf hellwolf transferred this issue from another repository Mar 5, 2024
@hellwolf hellwolf added the Project: PROTOCOL-SPEC Superfluid protocol specification in haskell label Jul 12, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@hellwolf hellwolf

Labels
Epic Issues container Project: PROTOCOL-SPEC Superfluid protocol specification in haskell Type: Enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@hellwolf @philipandersson