StarkWare
Published in

StarkWare

StarkDEX Deep Dive: the STARK Core Engine

Part 3 of 4

Introduction

STARK Proof Systems

The Trace

Trace Low Degree Extension and Commitment

The Constraints

Composition Polynomial

Committing to the Composition Polynomial

DEEP Composition Polynomial

Low Degree Testing

Transformation to Non-Interactive Protocol (Fiat-Shamir)

Proof Length Optimizations

Periodic Columns

Summary

--

--

Developing the Full Proof Stack for STARK

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