Create FAQ: "Formal Verification for RhoLang"

[golovach-ivan]

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

• technical literacy for community
• information for meetups (#779 "meetup in a box" issue)
• data for marketing (blog, twitter, etc)

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]

[Ojimadu]

@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]

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]

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]

@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.