Zero-knowledge proof (ZKP) startup Succinct Labs paziņoja par pirmā pilnībā atvērtā koda nulles zināšanu virtuālās mašīnas (zkVM) audita konkursa uzsākšanu. Tā mērķis ir uzlabot viņu tehnoloģiju caurskatāmību un drošību, iesaistot sabiedrību.
Saskaņā ar sacensību noteikumiem personām, kurām izdosies uzlauzt SP1 testnetu, tiks piešķirti USD 110 000. Audita konkurss, kas notiek tikai ar ielūgumiem, sākās 3. jūnijā pulksten 20:00 UTC un turpināsies līdz 24. jūnijā pulksten 20:00 UTC. Ielūgumus var saņemt Web3 drošības risinājumu tirgū Cantina 24 stundu laikā no konkursa sākuma. Dalībnieki tiek aicināti retvītīt visus paziņojumu ierakstus sociālo mediju platformā X, lai saņemtu uzaicinājumu.
Revīzija koncentrējas uz SP1 pamatprogrammām. Nesen SP1 galveno pārbaudītāju, ierobežojumu un rekursijas sistēma tika pārbaudīta, un to veica divi vadošie nulles zināšanu (ZK) auditori. Šis konkurss darbojas kā sekundārais verifikācijas process, lai nodrošinātu, ka SP1 nav neviena potenciāla izmantošanas vai ievainojamības.
Lai palīdzētu dalībniekiem izprast katru programmu, Cantina Discord serverī ir pieejams SP1 koda apraksts.
SP1 ir augstas veiktspējas, pilnībā atvērtā koda un atbalstītājiem draudzīgs zkVM, kas paredzēts Rust programmu vai jebkuru ar LLVM kompilētu programmu izpildes pārbaudei.
Tā ir atvērtā pirmkoda saskaņā ar MIT / Apache 2.0 licencēm, bez koda aptumšošanas ar visu publiski veikto izstrādi. Atšķirībā no esošajiem zkVM ar slēgta koda, nemainīgu ierobežojumu loģiku, SP1 ir modulāra arhitektūra, kas paredzēta pielāgošanai jau no paša sākuma. Šī pielāgojamība ļauj indivīdiem pievienot “priekškompilācijas” zkVM pamata loģikai, tādējādi nodrošinot ievērojamus veiktspējas uzlabojumus.
Tiek izsludināts pirmais audita konkurss par 100% atvērtā pirmkoda zkVM. 110 000 $ balva, ja izdosies sabojāt SP1.Pārbaudiet savas prasmes pic.twitter.com/V3YEIKYrZV
— Succinct (@SuccinctLabs) 2024. gada 3. jūnijs
Kas ir Succinct Labs?
Succinct Labs izstrādā decentralizētu pārbaudītāju tīklu, lai atvieglotu blokķēdes lietojumprogrammu un infrastruktūras izveidi, kas nodrošināta ar kriptogrāfisku verifikāciju. Apvienojot pierādījumu piegādes ķēdi, tas piedāvā ļoti pieejamu pierādījumu ģenerēšanas infrastruktūru ar konkurētspējīgām cenām apkopojumiem, kopprocesoriem un citām lietojumprogrammām, kas izmanto ZKP.
Nesen uzņēmums Paradigm Capital, piedaloties Robot Ventures, Bankless Ventures, Geometry un citiem ievērojamiem investoriem, piesaistīja 55 miljonus USD sākuma un A sērijas finansējumu.
Post Succinct Labs uzsāk atvērtā pirmkoda ZkVM audita konkursu ar 110 000 USD balvu appeared first on Metaverse Post.