Low Degree Testing in zk-STARK: Part 2

1. The finite field

2. The magic

3. The Merkle proofs

3.1 Bob’s task

3.2 Alice’s task

4. Verifying the next variable

4.1 Bob’s task

  • {A, 4c, 16c, 64c}
  • {A, 4(c+(p-1)/16), 16c, 64c} which equals {A, 4(c+(p-1)/16), 16(c+(p-1)/16), 64(c+(p-1)/16)} and thus already computed.
  • {A, 4(c+2(p-1)/16), 16c, 64c} which equals {A, 4(c+2(p-1)/16), 16(c+2(p-1)/16), 64(c+2(p-1)/16)} and thus already computed.
  • {A, 4(c+3(p-1)/16), 16c, 64c} which equals {A, 4(c+3(p-1)/16), 16(c+3(p-1)/16), 64(c+3(p-1)/16)} and thus already computed.

4.2 Alice’s task

5. Conclusion

--

--

--

https://www.kitten.finance/

Love podcasts or audiobooks? Learn on the go with our new app.

Recommended from Medium

Lisk Dev Update: Core 1.6.0 nears completion, extra security for Hub 1.12.0 and Lisk Mobile 1.0.0

Deploy Machine Learning Model on Docker

Web Scraping using Python

Power BI Complete Short Tutorial in Hindi / Urdu #TAIK18 (1–1)

Using R Programming to utilise Google Ads data for SEO keyword research

How To Install Dmg On Virtualbox

Publish an Amazon SNS message from an EC2 in Amazon VPC

Data Mesh Patterns: Change Data Capture

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store
Kitten Finance

Kitten Finance

https://www.kitten.finance/

More from Medium

India’s First AI-Based Cooking Robot Nosh

What is AdLunam?

The Art of Decision Making