Hilapohjaisista ZK/SNARKeista puuttuu tiukka prototyyppipino. Lattirust pyrkii täyttämään tämän aukon. Se on modulaarinen Rust-kehys argumenttijärjestelmien vertailuun SIS:n ja MLWE:n kautta. Ajattele arkworksia ristikoille, ilman oikopolkuja. Puretaan tämä.

lattirust on Rust-kirjasto hilapohjaisten ZK/SNARK-järjestelmien prototyyppien ja vertailun tekemiseen. Sillä on arkworksin kaltainen markkinarako, mutta se kohdistuu hilaprimitiiviin. Ajattele sitä lattigona, mutta se on suunnattu argumenttijärjestelmiin.

Kirjasto on modulaarinen, ja se kattaa: - lattirust-aritmetiikka: polynomirenkaat, lineaarinen algebra, haasteavaruudet - hila-estimaattori: konkreettinen turvallisuusarvio - Relaatiot: argumenttisuhteiden abstraktiot - Labrador, Lova: Viimeaikaisten järjestelmien toteutukset

Suojausarvio perustuu tällä hetkellä hila-estimaattoriin ja PQ-kiteisiin. Tulevaisuuden suunnitelmiin kuuluu käännösaikainen Rust-natiiviestimaattori, joka on optimoitu SIS-oletuksille, ja joka korjaa argumenttikohtaisen kovuuden työkalujen puutteen.

labradori toteuttaa LaBRADOR-järjestelmän, joka keskittyy hilaystävällisiin argumentteihin. lova lisää Lova ZK -protokollien inspiroimia taittopohjaisia tekniikoita, mikä osoittaa jatkuvaa ytimekkyyden ja tehokkuuden tutkimista hilaoletuksissa.

Tuleva työ sisältää parametrisoitua polynomiaritmetiikkaa (tukee ei-NTT- tai osittaisia NTT-alueita) ja moduulien nostoa q ≡ 5 mod 8:lle. Etenemissuunnitelma vihjaa syvempään optimointiin aritmeettisesti raskaissa kryptografisissa konteksteissa.

Siinä on integrointi nimuen kanssa ja osittainen yhteensopivuus arkworksin kanssa, mikä viittaa aikomukseen laajemmasta ekosysteemin yhteentoimivuudesta. Huomionarvoista on, että Nethermindin ristikko rakennettiin varhaiselle ristikkohaaralle.

Tiimi työskentelee aktiivisesti ZK-todisteiden parissa MLWE- ja RLWE-salausjärjestelmille (KLSS23, Libert24) ja Jasminin jatkuva-aikaisille FHE-operaatioille, jotka kohdistuvat korkean varmuuden käyttötapauksiin virallisella vahvistuksella hacspecin, Jasminin, EasyCryptin ja Leanin kautta.

Kaiken kaikkiaan lattirust on asemoitumassa kattavaksi peruskerrokseksi korkean varmuuden ristikkopohjaisille ZK-järjestelmille. Työkalut ja arkkitehtuuri palvelevat ristikkopohjaisten todistusjärjestelmien kokeellista suunnittelua ja konkreettista ilmentymää.

Repo: