Description

Iroha 2 currently has WASM-based smartcontracts. WASM, however, imposes a maintainer burden on the user, so upgrading these takes work.

We also have an ISI based on easily upgradeable smartcontract facilities, which are difficult to compose into arbitrary logic but require no manual intervention for upgrading to newer versions of Iroha.

We would like to involve the community in creating a domain-specific language for creating and composing logic made out of ISI.

Iroha 2 DSL is our most important project. Therefore, we would like it to be considered with top priority if not all Iroha-based projects can be considered for the internship programme.

Milestones

Eval 1:

• Research rust proc macros & design EBNF grammar prototype (July 8)
• Implement proc macro, which outputs AST form (July 15)

Eval 2

• Research ISI format (July 22)
• Implement ISI backend (July 29)

Eval 3

• Implement compiler form from existing proc macro (August 11)
• Conduct manual testing
• Address bugs

Eval 4

• Document mentorship results
• Present working ISI compiler in both proc macro and standalone binary form