Spinada Progress Update-1.

Last couple of weeks have been incredible for Spinada. We had breakthrough in implementing ZKP as we were not only able to construct arithmetic circuit for ZKP but we also optimized it , after optimization circuit were able to generate keys of 3.7 Kb which initially was 160 Kb.

We were also able to Check with test proof Haskell implementation of ZKP validation. We translated to Haskell a part of solidity validator generated by SnarkJs library, and used a ready Haskell implementation of cryptographic pairing algorithm.

Currently implementation of these Haskell in Plutus is in progress and have to check if these code compile in Plutus core.

Apart from working on the ZKP implementation team has also started working on other components of the protocol parallelly.

Here’s a short progress report on the Governance, Relayer and Proposal contracts.

- Added Governance validator.
- Added User Account validator.
- Added Proposal validator.
- Added Tokens’ policy.

- Added “Start App” endpoint and tests for it.
- Added “Stake” endpoint and tests for it.
- Added “Unstake” endpoint and tests for it.
- Added “Become Relayer” endpoint and tests for it.
- Added “Delete Relayer” endpoint and tests for it.
- Added “Create Proposal” endpoint and tests for it.
- Added “Vote” endpoint and tests for it.

- Sign and submit transactions by a browser wallet.

Currently the team is also working on
- Adding “Execute Proposal” endpoint and tests for it.
- Testing the application in the testnet.
- Demo frontend app.