Skip to content
This repository has been archived by the owner on Jun 17, 2020. It is now read-only.

Create FAQ: "Formal Verification for RhoLang" #943

Open
golovach-ivan opened this issue Aug 31, 2018 · 4 comments
Open

Create FAQ: "Formal Verification for RhoLang" #943

golovach-ivan opened this issue Aug 31, 2018 · 4 comments
Assignees
Labels
zz-Community Building guides: @allancto @Ojimadu Building RChain worldwide communities zz-RChain Technical Literacy see developer-education

Comments

@golovach-ivan
Copy link

Write FAQ with answers to questions about the topic "Formal Verification for RhoLang"

  • What is Formal Verification?
  • Formal Verification vs Testing
  • Formal Verification vs Type Systems
  • Why Formal Verification for RhoLang not for Java or Haskell?
  • Why Formal Verification so important for Blockchain/Smart Contracts?
  • Do Google/Facebook/Twitter use Formal Verification?
  • What Blockchain-competitors offer Formal Verification?
  • Why do the other Blockchain-competitors not offer Formal Verification?
  • Which bussinesses may be interested in Formal Verification?

Benefit to RChain

Budget and Objective

Estimated Budget of Task: $[1500]
Estimated Timeline Required to Complete the Task: [1week]
How will we measure completion? [pdf with detailed answers commited to google docs]

@golovach-ivan golovach-ivan added zz-Education see also developer-education (guide was: @TrenchFloat) Discussion request for discussion, not (yet) a task proposal zz-RChain Technical Literacy see developer-education zz-Community Building guides: @allancto @Ojimadu Building RChain worldwide communities labels Aug 31, 2018
@golovach-ivan golovach-ivan self-assigned this Aug 31, 2018
@golovach-ivan golovach-ivan removed the Discussion request for discussion, not (yet) a task proposal label Aug 31, 2018
@Ojimadu
Copy link
Contributor

Ojimadu commented Sep 7, 2018

@golovach-ivan It's nice you're creating this issue but where do you intend to publish this to make it easily accessible? Also how did you arrive at the budget?

@dckc
Copy link
Contributor

dckc commented Sep 19, 2018

This is an interesting idea but I also recommend revising the measure of completion:

  • review by collaborators A, B, and C
  • reach an audience of XXX readers

@JoshOrndorff do you see any connection to solutions group work?

@JoshOrndorff
Copy link

I think this is an interesting topic and would love to help review. I represent marketing more than solutions, but Ned may find it useful.

Both groups are more focused on dapp dev related tooling than on teaching the math right now. But I hope things like this will still be funded. Good way to attract mathematicians to the project.

@ddayan
Copy link

ddayan commented Sep 20, 2018

@JoshOrndorff I believe it is also important for dapp devs. Rholang is Turing complete and I believe it's important to teach people how to use these tools during development.

IMO this content could be useful for devs, marketing & business development.

@dckc dckc removed zz-Education see also developer-education (guide was: @TrenchFloat) labels Oct 10, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
zz-Community Building guides: @allancto @Ojimadu Building RChain worldwide communities zz-RChain Technical Literacy see developer-education
Projects
None yet
Development

No branches or pull requests

5 participants