Skip to content

feat(coding-theory): integrate CompPoly's executable Guruswami-Sudan decoder - #574

Open
olympichek wants to merge 7 commits into
Verified-zkEVM:mainfrom
formal-land:guruswami-sudan
Open

feat(coding-theory): integrate CompPoly's executable Guruswami-Sudan decoder#574
olympichek wants to merge 7 commits into
Verified-zkEVM:mainfrom
formal-land:guruswami-sudan