implement DEEP-FRI #8

bobbinth · 2020-04-28T17:35:58Z

This PR will attempt to resolve

Replace FRI with DEEP-FRI for low-degree testing #1 Replace FRI with DEEP-FRI
Complete estimation of proof security level #2 Add grinding
Add grinding to proof generation #3 Complete security level estimation
Write up STARK proof generation/ verification process

…to deep-fri

bobbinth added 17 commits April 28, 2020 10:35

incremented version and updated dependencies

a4b20b6

refactored trace table

dfb64a9

implemented constraint polys module

e4664ab

added first implementation of composition poly module

723174b

updated composition poly module

79bedbd

moved coefficient generator into a seprate module

e5eacd3

implemented trace register composition

66cd103

removed trace register coposition from constraint evaluator

1efb09d

refactored constraint polynomial composition

a3177ff

added deep values struct

584c7bb

optimized power series generation

7c0f8ba

refactoring prover (WIP commit)

a1c0f87

changed signature of synthetic division

b560cba

improved constraint combination degree computations

8f77592

implemented constraint evaluation at deep points

96ea6d1

minor refactoring

1c4dec9

refactored constraint evaluator

0aa4802

bobbinth self-assigned this May 5, 2020

This was linked to issues May 5, 2020

Complete estimation of proof security level #2

Closed

Add grinding to proof generation #3

Closed

bobbinth added 10 commits May 5, 2020 09:54

improved building of composition polynomial

fd1d7c1

bugfix in constraint evaluation at deep point

1b4b549

minor clean-up

6ceffcc

minor simplifications in constraint table

84f538b

added new implementation of FRI

9f942b9

integrating new FRI implementation into stark (WIP commit)

ac6c82b

minor clean-up in prover module

6b1db47

some clean-up in verifier module

179ca6c

some more clean-ups

06eadc6

added basic implementation of pow grinding

4c008cd

bobbinth linked an issue May 9, 2020 that may be closed by this pull request

Replace FRI with DEEP-FRI for low-degree testing #1

Closed

bobbinth added 17 commits May 10, 2020 00:08

started STARK write-up

f6f940e

updated stark description write-up

aaef9bc

testing formulas in github markdown

c4e9b91

moved constraint description into a seprate readme

9cffa21

updated stark readme

345ecf6

updated default extension factor

7174cfd

implemented passing options through command line args

a3b477b

updated proof soundness estimation

bd7215b

described how deep composition polynomial is built

288a0f6

added readme to trace module

9bcbc99

completed proof generation write-up

963858d

minor refactoring of deep values

8896bc2

updated proof security level formula

7c4a304

moved FRI description into a seprate readme

5738323

updated write-up

f012092

updated default grinding factor

619f38f

Merge branch 'master' of https://github.com/GuildOfWeavers/distaff in…

cb6a931

…to deep-fri

bobbinth merged commit 6a4c9a1 into master May 15, 2020

bobbinth deleted the deep-fri branch May 15, 2020 07:25

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

implement DEEP-FRI #8

implement DEEP-FRI #8

bobbinth commented Apr 28, 2020 •

edited

Loading

implement DEEP-FRI #8

implement DEEP-FRI #8

Conversation

bobbinth commented Apr 28, 2020 • edited Loading

bobbinth commented Apr 28, 2020 •

edited

Loading