potential-robot: an optimized developer experience

[GENERAL] Name and surname of main applicant

Aleksei Seregin

[GENERAL] Email address of main applicant

alexeusgr@gmail.com

Additional applicants

Big thanks to Randall Harmon who is our mentor and guide, Romain Soulat who gave valuable input from the point of view of certification and software verification; James Dunseith Gimbalabs for mentorship and coaching. Newman S. Lanier for peer review.

[GENERAL] Please specify how many months you expect your project to last (from 2-12 months)

6

[GENERAL] Please indicate if your proposal has been auto-translated into English from another language.

No

[GENERAL] Does your project have any dependencies on other organizations, technical or otherwise?

Yes

[GENERAL] If YES, please describe what the dependency is and why you believe it is essential for your project’s delivery. If NO, please write “No dependencies.” .

Helios is a TypeScript Domain Specific Language for developing dApps on Cardano. Helios is being actively developed thanks to Catalyst support.

[GENERAL] Will your project’s output/s be fully open source?

Yes

[GENERAL] If NO, please describe which outputs are not going to be open source. If YES, please write “Project will be fully open source.”

Project is published on GitHub under MIT license

[METADATA] Category of Proposal

Dev Tools, API or Library

[METADATA] SDG rating

4 - Ensure inclusive and equitable quality education and promote lifelong learning opportunities for all

9 - Build resilient infrastructure, promote inclusive and sustainable industrialization and foster innovation

9.a - Facilitate sustainable and resilient infrastructure development in developing countries through enhanced financial, technological and technical support to African countries, least developed countries, landlocked developing countries and small island developing States

9.3 - Increase the access of small-scale industrial and other enterprises, in particular in developing countries, to financial services, including affordable credit, and their integration into value chains and markets

[IMPACT] Please describe your proposed solution.

• The problem:

Developing on Cardano is challenging. According to the State of The Ecosystem survey hosted by Cardano Foundation 60% of developers in the ecosystem know JavaScript, while only 25% know Haskell; the majority of developers in the community has one year experience or less.

Haskell and nix introduce steep learning curve which implies reduced probability of a newcomer to get positive feedback from interacting with the technology and therefore potentially leads to the ecosystem stagnation and decline of the value of ADA.

• Our solution:

We were inspired by the idea of Truffle on Ethereum. The product is a developer environment ready to be integrated into the workflow the developer is used to. What makes it unique is that it is accessible, concise and points the user to questions that help develop intuitions about how the technology works.

• Audience:

The project is aimed at Middle and Senior devs, someone who thinks to himself "I am suspicious. This crypto thing seems to have something in it but it has weird status. Cardano seems geeky and I like it. I wonder if I could build something on it"

• Impact KPIs:

developer activity in Helios and Cardano - number of GitHub stars and forks, number of mentions in discord and forums, project references to the library.

[IMPACT] How does your proposed solution address the challenge and what benefits will this bring to the Cardano ecosystem?

The project aims to drive adoption of Cardano among crypto enthusiasts and professionals and JavaScript community.

It is the simplest way to run a transaction with Plutus. It does not require cardano-node running, nor Blockfrost access, not even a wallet. All is done in a code editor and the user can experiment with sending different Value between different agents and changing the validator to observe effects on the transactions and the state of the ledger as the transactions happen.

[IMPACT] How do you intend to measure the success of your project?

The long term measure of the API success is how popular it is among the developers.

The short term measure is the developer activity. Accessibility seems important, but difficult to measure exactly.

Project adoption and interest:

This project is being tested by 2 community members beside the author.

We would like to see 1000x forks after one year, this would mean developers begin new projects on Cardano and choose to build on top of our work.

Ease of use:

First tester reported that it took them about a day to get to a stepping stone in their project.

It took about two weeks to get similar functionality to work while we were building the tool.

[IMPACT] Please describe your plans to share the outputs and results of your project?

We provide an open github repository, we suggest our tooling when a developer posts relevant request in the forums.

The tooling allows us to express statements about desired behavior of a dApp in the natural language and correspond with pieces of code that provide evidence that requested behavior does indeed occur.

We can use the tooling to:

• develop dApp components or new smart contract examples beyond what is currently available in the Open Source.
• run automated tests on a plutus script,
• develop a formal description of a dApp, which could be translated in a language such as WhyML, Coq or such to be formally verified, which is desirable for certification and for the dApp to interop with discovery services.

[CAPABILITY/ FEASIBILITY] What is your capability to deliver your project with high levels of trust and accountability?

All the milestones are complete, the project is being tested by developers in the ecosystem, at least one tester reported they could use the tooling to their needs.

I am a programmer and an Educational Facilitator at Gimbalabs.

[CAPABILITY/ FEASIBILITY] What are the main goals for the project and how will you validate if your approach is feasible?

The main goal is to improve developer experience on Cardano and provide a framework compliant with certification standards developed by IOG and CIP-72: dApp registration.

One could validate our work by using it to implement any of plutus-examples in Helios.

The project is implemented by creating a testing harness to match the vesting contract, which is the primary example in Helios documentation. A set of transactions that interact with the contract endpoints was created, tests and checks were added to make properties of the ledger explicit as transactions take place.

Helios unit tests were added to supplement documentation where it was unclear how things work.

Links to documentation were provided.

[CAPABILITY/ FEASIBILITY] Please provide a detailed breakdown of your project’s milestones and each of the main tasks or activities to reach the milestone plus the expected timeline for the delivery.

DevX research: encountering the problem, initial sketching, formulating the core problem, expert interviews, (Dec 2022 - March 2023)

• Milestone: analysis of haskell.nix integration issues, testing user stories and analysis of reasons for failure (Jan 2023)

SDLC Workshop: planning, analysis, design and implementation.

• Milestone: testing user stories and analysis of reasons for failure (Feb - Apr)
• Milestone: collaboration on building a good starter project (Apr - May)
• Milestone: using the tooling for one of its intended purposes - creating a smart contract from an existing example. (May - June)

[CAPABILITY/ FEASIBILITY] Please describe the deliverables, outputs and intended outcomes of each milestone.

The project is finalized and can be used right away. In fact 14 hours before deadline one of testers reported that they could use this project to achieve a stepping stone in about a day.

The primary deliverable is the github repo, which contains code and documentation.

The outputs of the DevX research are PR's in the group: minutes, Issues, Discussion, and several repositories trying different approaches to fixing plutus-starter.

The outputs of each Milestone are repositories on github:

• https://github.com/aleeusgr/plutus-tests
• https://github.com/aleeusgr/gimbalabs-dandelion-pbl
• https://github.com/aleeusgr/potential-robot
• https://github.com/aleeusgr/sniffle

The intended outcomes by Milestone:

1. Provide plutus-starter with tests for PlutusV2, i.e. integrating Vasil changes into plutus-starter.
2. Accomplish a Gimbalabs PBL development task as a team with a senior engineer.
3. Collaborate with a mentor on creating the solution.
4. Testing the solution

The intended outcome of the project is that when developers research Cardano they find our project in the Cardano Developer Portal, begin their work and join active communication channels.

[RESOURCES & VALUE FOR MONEY] Please provide a detailed budget breakdown of the proposed work and resources.

The main input of this project is programmer hours.

We give an estimate that this software took between 200 to 600 hours of deep focus to build.

Given the constraints we are put under by the Statement of Milestone requirements we consider the project to be on par with other projects in the challenge category.

[RESOURCES & VALUE FOR MONEY] How does the cost of the project represent value for money for the Cardano ecosystem?

Based on the description of the Statement of Milestones our project fits in to 3 milestone category, which constraints the ask between 75k and 150k ADA.

[IMPORTANT NOTE] The Applicant agreed to Fund10 rules and also that data in the Submission Form and other data provided by the project team during the course of the project will be publicly available.

I Accept