[IMPACT]

We plan to write a role-based access control smart contract that manages organization membership and assures its security. This smart contract will be provided as open source library, and audited by a third party.

Standard organization management smart contract would facilitate reuse, and provide secure, audited access control mechanism for other smart contracts.

Main challenges are testing, proving or otherwise validating smart contract security and providing clean interface for clean use of the access control mechanism.

[FEASIBILITY]

1. First sketch of the access control smart contract - 2mo

2. Extensive testing and validation of the security - 4mo

3. Audit of the smart contract and releasing the stable version - 6mo

Implementation of the access control and role management smart contract 30k$
Documenting the interface, and writing the tutorials with an example code - 10k$

Audit of the smart contract, and fixing the errors found - 30$k

* [Michał](https://gitlab.com/mjgajda) is a professional software developer with a background in functional programming, logic, data analytics, and agile software development. Within the past five years, he presented at events associated with ICFP, SkillsExchange, LambdaDays, Haskell.Love, XP Agile Programming Conference, Data Science Europe, EACSL, CCC, LAP. He is interested in software technology, constructive logic, data analytics, and epistemology.

* Julian Ospald is an experienced Cardano developer with many contributions to open source in Haskell ecosystem.

* [Migamake.com](https://www.migamake.com) will provide resources for the work, including high quality code reviews.

[AUDITABILITY]

Smart contract will be developed in open source repository, and the development milestones will be documented as blog post on the company page: <https://www.migamake.com>

We will have reusable organization membership smart contract with the role-based access control security mechanism that can be reused by other smart contracts.

This is a new project.