Julkaisin juuri yksinkertaisemman todisteen FRI:n RBR-terveydestä! Työskentely @0xAlbertG ja Benedikt Wagnerin kanssa Kirjoitin myös blogikirjoituksen, jossa selitin todistuksen korkean tason ajatuksia. Sinun tarvitsee vain tietää, kuinka värittää kaavio! Linkit paperiin ja blogiin alla 1/3
ePrint: blogi: Tämä analyysi syntyi, koska tarvitsimme FRI:lle vahvempia ominaisuuksia jossain erillisessä työssä. Tämä työ on hieman taka-alalla, mutta äskettäinen EF PQ -työpaja Cambridgessa motivoi meitä julkaisemaan 2/3
itsenäinen FRI-todistus. Osoittautuu, että se voi olla hyödyllinen koko SNARK-pinon muodollisessa todentamisessa! Nyt suuri kysymys kuuluu: kuka todistaa MCA:n kapasiteettiin asti? 3/3
7,11K