/

Polygon Miden

Polygon Miden

Polygon Miden

Polygon Miden allows you to build high-throughput and private applications currently infeasible anywhere else. Users generate their own zero-knowledge proofs.

Background

Polygon Miden is a zero-knowledge rollup running on the Miden VM. Polygon Miden prioritizes ZK-friendliness over EVM compatibility; that way, it can offer features and benefits unavailable on Ethereum. It aims at builders who want to create high-throughput and private dApps. Miden is a general-purpose rollup; builders can write and deploy arbitrary smart contracts.

Polygon Miden is a zero-knowledge rollup running on the Miden VM. Polygon Miden prioritizes ZK-friendliness over EVM compatibility; that way, it can offer features and benefits unavailable on Ethereum. It aims at builders who want to create high-throughput and private dApps. Miden is a general-purpose rollup; builders can write and deploy arbitrary smart contracts.

Miden Playground

Polygon Technology required an intuitive interface for the Miden VM, prioritizing user-friendly navigation and accessibility. Our team responded by developing a layout that integrates advanced features for real-time writing, execution, proving, and verification of Miden Assembly programs. We ensured the front-end design aligned with Polygon’s brand identity and could scale for future updates. By enhancing the UI and streamlining functionality, we met Polygon Technology’s current needs while providing a tool adaptable for future developments in the Miden ecosystem.

Miden Assembly Code

The Miden Assembly Playground comes with a variety of built-in examples accessible through a dropdown menu, allowing developers to select and interact with different sample programs. The coding environment offers several convenient features: developers can adjust the font size for better readability, copy the code directly, and download it for offline use. Additionally, syntax highlighting has been implemented to improve code readability, making it easier for developers to understand and work with the provided examples.

The Miden Assembly Playground comes with a variety of built-in examples accessible through a dropdown menu, allowing developers to select and interact with different sample programs. The coding environment offers several convenient features: developers can adjust the font size for better readability, copy the code directly, and download it for offline use. Additionally, syntax highlighting has been implemented to improve code readability, making it easier for developers to understand and work with the provided examples.

Developers can perform three main operations on the code: run, debug, and prove. For each of these operations, various input formats are supported. Developers can enter public and private inputs in the input fields. For custom inputs, there is a dedicated JSON space where developers can input JSON data to be used by the code. This flexibility allows for comprehensive testing and verification of Miden Assembly programs.

Developers can perform three main operations on the code: run, debug, and prove. For each of these operations, various input formats are supported. Developers can enter public and private inputs in the input fields. For custom inputs, there is a dedicated JSON space where developers can input JSON data to be used by the code. This flexibility allows for comprehensive testing and verification of Miden Assembly programs.

Miden Operations

Run Operation:

  • Check the output of executed code.

  • Review detailed program information: program hash, cycles, and trace length.

Prove Operation:

  • Access proof information, including proof text.

  • Download and verify the proof text.

  • Check the size of the proof text.

Debug Operation:

  • Execute various operations during debugging.

  • View results such as clock cycles, operations, VM operations, stack data, and memory information.

This comprehensive functionality enhances the development and debugging process for Miden Assembly programs.

Run Operation:

  • Check the output of executed code.

  • Review detailed program information: program hash, cycles, and trace length.

Prove Operation:

  • Access proof information, including proof text.

  • Download and verify the proof text.

  • Check the size of the proof text.

Debug Operation:

  • Execute various operations during debugging.

  • View results such as clock cycles, operations, VM operations, stack data, and memory information.

This comprehensive functionality enhances the development and debugging process for Miden Assembly programs.

Instructions

To render the instructions, we developed a script that retrieves tables from various markdown files, converts them into a JSON format, and then renders this JSON data into instructional tables. For improving search functionality, we implemented several client-side techniques such as debounce, which limits the rate of search function calls, and indexing, which enhances search efficiency and performance. These combined efforts ensure that instructions are displayed accurately and searches are performed quickly and effectively.


Summary

Our efforts focused on significantly enhancing the user experience of the Miden Assembly Playground. We improved both the design and the speed of code execution. By developing a script to render instructional content from markdown files and implementing advanced search techniques like debounce and indexing, we ensured better usability and performance. These changes provide a smoother, more intuitive interaction for users, aligning with our goal of creating a highly functional and user-friendly platform.


Projects

Other works

Projects

Other works

Projects

Other works

Shardeum is an EVM-based, linearly scalable network offering low gas fees forever while maintaining true decentralization and solid security.

Web3

EVM

Blockchain

Shardeum is an EVM-based, linearly scalable network offering low gas fees forever while maintaining true decentralization and solid security.

Web3

EVM

Blockchain

Shardeum is an EVM-based, linearly scalable network offering low gas fees forever while maintaining true decentralization and solid security.

Web3

EVM

Blockchain

Verloop is world's leading customer support automation platform.

AI

Automation

Customer support

Verloop is world's leading customer support automation platform.

AI

Automation

Customer support

Verloop is world's leading customer support automation platform.

AI

Automation

Customer support

Contacts

Work with us

You can contact us at:

shobhit@oakrev.com

Based in

Bangalore

100ft Road, Indiranagar

+91-9929636400

Contacts

Work with us

You can contact us at:

shobhit@oakrev.com

Based in

Bangalore

100ft Road, Indiranagar

+91-9929636400

Contacts

Work with us

You can contact us at:

shobhit@oakrev.com

Based in

Bangalore

100ft Road, Indiranagar

+91-9929636400

2024 Indusbit LLP

2024 Indusbit LLP

2024 Indusbit LLP