- Solidity to TVM Compiler Groth16 zkSNARK Proof Verification Instruction Support Introduction Proposal
Submission period: May 7, 2021 00:01 UTC - May 21, 2021 at 23:59 UTC
Voting period: 7 days
Background and Description
In-TVM zero-knowledge proofs verification support introduction lead to necessity to
develop and/or enhance currently existing tools to work with such an extension.
First of all this is about compilers. =nil; Foundation has introduced the
support of VERGRTH16 instruction to C++ to TVM Assembly compiler
(
https://github.com/nilfoundation/tvm-llvm), but unfortunately C++ is not the
most popular tool for in-TVM usage. That is why it is required to introduce
the support of VERGRTH16 instruction support to Solidity to TVM Assembly
compiler.
Instructions for participants
This contest supposes for participants to design and implement VERGRTH16
instruction integration with Solidity to TVM Assembly compiler.
General requirements
The solution has to introduce the high-level function to use VERGRTH16 within the Soliditywritten TVM virtualized logic.
Evaluation criteria and winning conditions
● A participant should do a presentation of her solution at a convenient time agreed with
DevEx members. A solution should include tests with clear instructions.
● In case a test does not cover some scenarios, then jurors can develop their own tests,
but it should reduce such a submission score.
