Policy formal validation module architecture

[vlad-ns]

Summary Implementation of the module skeleton

Details

• [x] Task 1: Design architecture of the verification module
• [x] Task 2: Implement module skeleton
• [x] Task 3: Implement validation of the policy format

Links / references

[djordjeglbvc]

Branch for this issue: iotaledger/frost/tree/tooling

[djordjeglbvc]

Task 3: 77a871193bd3b6b5e2b0d54026b41aaa559fe154