SEARCH FOR
DEVELOPERS

Submission period: September 25, 2021 00:01 UTC - October 25, 2021 at 23:59 UTC

icon-01

About Free TON

Free TON is a next-gen blockchain that belongs to no one and to everyone at the same time.

icon-02

How does it work

The project has no central control. All decisions are made in a decentralized way by the whole community.

icon-03

Perspectives

The project is technological, therefore, very worthy rewards are offered for developers (and not only for them)

ABOUT THE CONTEST

We propose to take part in the contest

Participants are expected to introduce the way to efficiently verify EdDSA over Ed25519 signatures with the newly introduced VERGRTH16 instruction to make it possible to verify outside protocols zk-rollups inside the TVM.

Rewards

$175k+

priority

1

PRIZE PLACES

3

Background and Description

=nil; Foundation as an initial member of Free TON community developed an upgraded version of TON Virtual Machine, which includes cryptographic primitives required for usage zero-knowledge proof verification within the virtualized applications. =nil; Foundation also prepared C++ ("GitHub - NilFoundation/cpp-ton: Cryptography-enhanced Telegram Open Network Protocol C++ Implementation ) and Rust-y (GitHub - NilFoundation/rust-ton: Cryptography-enhanced Telegram Open Network Protocol Rust Implementation) ZK proof verification instruction-enhanced TON protocol implementations.

Crucial application for such a verificaiton instruction is to verify rollups which often consist of transactions/replication packages/votes signatures etc.

Verifying transactions, votes etc. is all about verifying its signatures. Widespread signatures (EdDSA, ECDSA) are defined over non-pairing friendly curves (Ed25519, secp256k1) which have no twisted curves and induce high verification costs and timings. In case of FreeTON verification timings are required to be kept as low as possible.

Ths document proposes a contest results of which are supposed to introduce the way to efficiently verity non-pairing friendly curves-based signatures over BLS12-381-based Groth16 SNARK proof which would result in the introduction of a way to verify zk-rollups on FreeTON.

Rewards

Only submissions with an average score equal to or more than 5.0 can get a reward.

  • 1st prize (score >= 7.0) - 300000 TONs (≈$105 000)
  • 2nd prize (score >= 6.0) - 150000 TONs (≈$52 500)
  • 3rd prize (score >= 5.0) - 50000 TONs (≈$17 500)

About questions

If you have questions about how to submit an application or other questions, you can ask them on the forum, you will be quickly answered (click here to go)