Remix Release v0.53.0

The Big News

• Keyboard shortcut for Cut-Copy-Paste files and folder
• Interface to generate proof in Circom compiler plugin
• Publish multi-selected files to Gist

New Keyboard Shortcuts

In the File Explorer, we’ve add keyboard shortcuts for copying: Ctrl/Cmd + C, cutting: Ctrl/Cmd + X and pasting: Ctrl/Cmd + V.

Publish Multi-selected Files to a Gist

When multiple files are selected, the right-click pop-up menu gives the option to publish to a GIST.

Circom Updates

We have updated the Circom plugin so that you can use the GUI to go all the way through making a proof. The interface has a step by step approach — showing the next step when appropriate.

We have also updated the Circom template files, so if you had been playing with our Circom template files, load up a new Workspace with the latest.

Let’s walk through the process of using this plugin:

When the Circom plugin is loaded, it will look like this:

Just like before, you need to start with a .circom circuit. If you don’t have one, go to the File Explorer, create a workspace, and load one of the Circom ZKP templates. Then click on one to have it active in the File Explorer. Then go back to Circom and compile the circuit. In this example, I’m using the Hash Checker template.

Plonk has been added

You can now choose between Groth16 and Plonk proving schemes.

Choosing the number of constraints — PTAU

Choose the lowest number of constraints that will work with your circuit. If you choose a PTAU that is too small for your circuit, the setup will fail. Similarly, if you choose a PTAU file that is too large for your circuit, the setup will also fail.

Export options

You can now export the verifier Solidity contract as well as the verification key. A popup toaster will show the location of these files:

Compute Witness

The Compute Witness section will be visible after the setup has been successfully run.

Input the correct values and hit to Compute.

Generate Proof

Once the Witness has been computed, you can generate the proof.

The proof will be generated and if you’ve exported the verifier calldata, it will be put in a .json file and the popup toaster will show its location:

Advanced Configuration

Back up towards the top of the plugin lies the Advanced Configuration section. It now has these prime numbers to choose:

Thank You, Dear Remix Users

Please report any problems you find in Remix. And, as always, please send us any suggestions about changes you’d like to see in Remix, or any functionality you think would be useful to add.

Join our Discord server for community support. Or, send us an email at remix@ethereum.org!