Feat/rust verifier

[zkfriendly]

Description

Following up on #157, this PR provides a mini CLI tool that exports Groth16 rust verifier based on SnarkJs artifacts.

Type of Change

Please delete options that are not relevant.

• [x] New feature (non-breaking change which adds functionality)

Checklist:

• [x] I have discussed with the team prior to submitting this PR
• [x] I have performed a self-review of my code
• [x] I have commented my code, particularly in hard-to-understand areas
• [x] My changes generate no new warnings
• [x] New and existing unit tests pass locally with my changes

[socket-security[bot]]

New and removed dependencies detected. Learn more about Socket for GitHub ↗︎

Package	New capabilities	Transitives	Size	Publisher
npm/base64-js@1.5.1	None	0	9.62 kB	feross
npm/cli-spinners@2.9.2	None	0	32.1 kB	sindresorhus
npm/clone@1.0.4	None	0	11.1 kB	pvorb
npm/get-caller-file@2.0.5	None	0	4.72 kB	stefanpenner
npm/immediate@3.0.6	None	0	14.6 kB	cwmma
npm/node-forge@1.3.1	None	0	1.66 MB	davidlehn
npm/psl@1.9.0	None	0	461 kB	lupomontero
npm/rust-verifier@0.0.0-use.local	None	0	0 B

🚮 Removed packages: npm/array.prototype.findlastindex@1.2.5, npm/array.prototype.flat@1.3.2, npm/array.prototype.flatmap@1.3.2, npm/assertion-error@1.1.0, npm/atob@2.1.2, npm/es-shim-unscopables@1.0.2, npm/has-bigints@1.0.2, npm/is-symbol@1.0.4

View full report↗︎

[Divide-By-0]

Awesome! Seems fine to me, we should publish this to npm as well with docs for the CLI tool that people can use in general. I guess we can merge this first and add that later.

[Divide-By-0]

Sweet! A next step on this @zkfriendly might be to publish it as an npm package then import it from your repo? DM me your npm username.