Anaxi Labs жана Карнеги Меллон университетинин CyLab проспективдүү далил тутумун ачты

PITTSBURGH, Америка Кошмо Штаттары, 6-декабрь, 2024-жыл/Chainwire/--Anaxi Labs, Карнеги Меллон университетинин CyLab, университеттин киберкоопсуздук жана купуялык институту менен биргеликте криптография үчүн компилятордук алкакты жарыялайт, ал криптография үчүн компилятор алкагын жарыялайт. Билим негизги талап кылат соодалашуулар.

Масштабдуу, криптографиялык жактан корголгон жана борбордон ажыратылган тиркемелердин колго алынгыс трифектасы мүмкүн эмес жана массалык түрдө кабыл алуу үчүн тоскоолдук болуп саналган.

Криптографиядагы жетишкендик

Ethereum сыяктуу блокчейндер децентралдаштырылган инфраструктуранын келечеги катары кабыл алынды, Zero-Knowledge (ZK) технологиясы Ethereumдун коопсуздугун жана масштабдуулугун 120 TPSден жогору жогорулатуу үчүн жарыяланды.

Команданын айтымында, ZK далилдерин иштеп чыгуу татаал жана көп убакытты талап кылат жана ондогон иштеп чыгуучулардан миңдеген сааттарды талап кылат. Далилдөө процессинде ылдамдыкты биринчи орунга коюу протоколдорду кол менен иштеп чыгууну билдирет жана кол менен коддоо жана он миңдеген код саптары менен бул коопсуздуктун олуттуу кемчиликтерин киргизет.

Бул коопсуздукту сезген борбордон ажыратылган тиркемелерди түзүүнү кыйындатат жана аудитордук жана шайкештикти коркунучтуу түшкө айлантат - бардык тоскоолдуктар каржы, саламаттыкты сактоо жана AI сыяктуу жөнгө салынуучу тармактарда кеңири жайылтылышына. Карнеги Меллондун изилдөөчүлөрүнүн тобу Anaxi Labs менен кызматташууда.

CMUнун акыркы документи түздөн-түз жогорку деңгээлдеги программалык камсыздоону компиляциялоонун жана аны далилдөө системаларынын иштеши үчүн зарыл болгон жөнөкөй формаларга (төмөнкү деңгээлдеги өкүлчүлүктөр) айландыруунун революциялык жолун сунуштайт.

Жана мунун баары автоматтык түрдө аткарылат, кайталануучу жана текшерилет, кол жумушунан арылып, процесстин коопсуздугун криптографиялык жактан камсыз кылуу менен иштөөнү кескин жакшыртат.

Иш буга жогорку деңгээлдеги программаны талдоо, программаны кичинекей, бөлүнгүс бирдиктерге бөлүп, андан кийин ар бир бирдиктен төмөнкү деңгээлдеги өкүлчүлүктү түзүү аркылуу жетишет, аны далилдөө системаларынын түрлөрүнө оңой эле киргизүүгө болот.

«Эсептөө процессин автоматтык түрдө процессордун ордун ээлеген өзгөчө бөлүкчөлөргө бөлүү идеясы жаңы ыкма жана кимдир бирөө мындай ыкманы биринчи жолу колдонуп жатат, анда биз программаны толук көрсөтүүдөн качабыз. компилятор», - деди Карнеги Меллон университетинин ассистенти Риад Вахби Электротехника жана эсептее техникасы кафедрасы .

"Биз бул үчүн абдан толкунданып жатабыз."

Жаңы борборлоштурулган колдонмолордун кулпусун ачуу

Anaxi Labs изилдөөлөрүнүн негизинде курулуп жаткан изилдөө жана негизи Web3 жана андан тышкаркы тармактарда төңкөрүш жасоого багытталган.

Салттуу жана жөнгө салынуучу финансыда, аудитордук жөндөмдүүлүктү сактоо менен иштин жогорулашы, АКШ доллары менен заматта төлөмдөр сыяктуу банк ичиндеги которууларды реалдуу убакыт режиминде эсептешүүгө мүмкүндүк берет.

Саламаттыкты сактоо тармагында, 23andMe туш болгон кыйынчылыктардын шартында, Anaxi Labs тарабынан иштелип чыккан продукт тарабынан иштетилген коопсуз жана купуялыкты сактоочу шифрлөө куралдары эми маанилүү маселелерди чечип, жеке генетикалык маалыматты коопсуз түрдө колдоно алат жана баалуу изилдөөлөрдү жүргүзүүгө мүмкүндүк берет.

Ишкананын AI жана критикалык физикалык инфраструктура чөйрөсүндө борбордон ажыратылган чечим, ал жогорку жеткиликтүүлүктү жана нөлгө жакын күтүү убактысын талап кылат, мисалы, бир нече маалыматтар жана эсептөө энергия ресурстары боюнча тез тактоо жана жыйынтык чыгаруу.

Жакынкы аралыкта, изилдөөгө негизделген өнүмдөр Web3 компаниялары үчүн масштабдуулук, коопсуздук жана борбордон ажыратуу менен күрөшүп жаткан эң эффективдүү чечимди камсыздайт, бул топтоо жана өз ара аракеттенүү үчүн жаңы дизайн парадигмасын сунуштайт.

"Бул изилдөө жана биз изилдөөнү камтыган биз куруп жаткан продукт бүгүнкү күндө ZK жана EVM сыяктуу масштабдуу аткаруу чыгымдары үчүн коопсуз чечимди талап кылган көптөгөн маанилүү өнөр жай колдонмолоруна терең таасирин тийгизет, акыры бизди криптографиялык көз карашыбыздын босогосуна алып барат. - реалдуу убакыт режиминде эсептешүү менен камсыздалган борбордон ажыратылган консенсус, - деди Кейт Шен, Anaxi Labs компаниясынын негиздөөчүсү.

«Ошондой эле бизге анын тил жана китепкана агностикасы жагат, башкача айтканда, ар кандай долбоорлор кодду өзгөртпөстөн андан пайда көрө алат. Бул бизге бүгүнкү күндө барган сайын статикалык, монолиттүү ыкмаларга каршы ачык, биргелешкен негизди түзүүгө мүмкүндүк берди ”, - деп кошумчалайт Шен.

“Бул бардык иштеп чыгуучуларга издөөлөр, ко-процессорлор жана аппараттык камсыздоону тездетүү сыяктуу далилдөө системаларындагы эң акыркы жетишкендиктерди автоматтык түрдө тандап алууга жана бириктирүүгө мүмкүндүк берет; ар бир эсептөө субстраттын натыйжалуулугун жогорулатуу."

Anaxi Labs жана CyLab, Оюнду өзгөртүү өнөктөштүк

Карнеги Меллондун CyLabы блокчейнди өнүктүрүү үчүн негиз болуп кызмат кылган алдыңкы изилдөөлөрдүн борборунда болду, анын ичинде Zero-Knowledge.

CyLab факультетинин көрүнүктүү изилдөөчүлөрүнүн арасында ZK тарыхына сындуу салым кошкон профессор Брайан Парно кирет, анын лабораториясы кеңири цитаталанган маалыматтарды чыгарган. Nova кагаз сериясы жана ассистент-профессор Риад Вахби, анын жыйынтыгында жаңы криптографиялык технологиялар пайда болгон Ethereum Foundation (жана жакында эле, жол бузуу Jolt zkVM Andreessen Horowitz крипто бөлүмү тарабынан ишке ашыруу, a16z крипто).

Бул компилятордун алкагында баяндалган жыйынтыктар CMU Secure Blockchain Initiative аркылуу Anaxi Labs жана CyLab ортосундагы симбиотикалык өнөктөштүктөн келип чыккан экинчи изилдөө долбоорунун натыйжасы.

Бул өнөктөштүк CMU академиктерине кызматташууга жана Web3 жана Web 2.0 тиркемелери үчүн Anaxi Labs жетектеген блокчейн изилдөөлөрүнүн коммерциялык жайылтууларынан алынган түшүнүктөрдү үйрөнүүгө мүмкүндүк берет.

Бул аларга блокчейн менен болгон негизги көйгөйлөргө коммерциялык чечимдерди табууга мүмкүндүк берет, бул blockchain технологиясынын белгилүү артыкчылыктары менен массалык түрдө кабыл алуунун ортосундагы ажырымды кыскарта албайт. Ошондой эле бул CMU студенттери үчүн Web3те карьерасын баштоо үчүн трамплин катары кызмат кылат.

"Anaxi Labs менен CyLab өнөктөштүгү CMU изилдөөчүлөрүнүн долбоорлорду түз, реалдуу тиркемелер менен иштөө жөндөмүн өркүндөтөт, алардын ишинин практикалык актуалдуулугу жана таасир этүү потенциалы бар", - деди Майкл Лисанти, CyLabтын өнөктөштүк боюнча улук директору.

Anaxi Labs жөнүндө көбүрөөк билүү үчүн: https://www.anaxilabs.com/

Anaxi Labs жана CyLab акыркы иштери жөнүндө көбүрөөк билүү үчүн: https://www.cylab.cmu.edu/

Anaxi Labs менен CyLab өнөктөштүгү жөнүндө көбүрөөк билүү үчүн: https://www.cylab.cmu.edu/news/2024/07/17-anaxi-labs-strategic-partner.html

Anaxi Labs жөнүндө

Anaxi Labs өнүккөн академиялык теорияны жана массалык түрдө кабыл алуунун дүйнөлөрүн бириктирген изилдөө жана өнүктүрүү лабораториясынын жаңы түрү.

Алар оригиналдуу, алдыңкы изилдөөлөрдү чыгарууга, ишкана деңгээлиндеги, коопсуз жана масштабдуу борбордон ажыратылган инфраструктураны курууга жана криптография менен иштетилген борбордон ажыратылган тиркемелердин кийинки муунун катализациялоого арналган.

Anaxi Labs криптографиялык изилдөөлөр боюнча дүйнөнүн эң алдыңкы акылдары жана жүздөгөн миллион колдонуучулары менен тиричилик аталышындагы өнүмдөрдү куруу жана иштетүү тажрыйбасы бар дүйнөлүк деңгээлдеги инженерлер менен иштешет.

Алар криптография боюнча жогорку окуу жайлардын өнөр жай өнөктөшү болуп саналат Карнеги Меллон университети . Биргелешип, алар илимдин адамдар, коом жана планета үчүн кыла ала турган күчүн ачуу аркылуу интернеттин келечегин өзгөртүүгө умтулушат.

Вебсайт: https://www.anaxilabs.com/

CyLab жөнүндө

Карнеги Меллон университети CyLab университеттин коопсуздук жана купуялык изилдөө институту.

Алар инженердик, информатика, мамлекеттик саясат, маалыматтык системалар, бизнес, финансылык маалымат тобокелдиктерин башкаруу, гуманитардык илимдер жана коомдук илимдер тармактарын камтыган университеттин бардык мектептеринин эксперттерин бириктирет.

Биздин миссия - изилдөө, билим берүү, мамлекеттик саясат жана практикага олуттуу таасир тийгизүү үчүн бөлүмдөр, дисциплиналар жана географиялык чек аралар боюнча биргелешкен коопсуздукту жана купуялуулукту изилдөөнү жана билим берүүнү катализдөө, колдоо, илгерилетүү жана бекемдөө.

Вебсайт: https://www.cylab.cmu.edu/

Байланыш

PR

Daisy Leung

[email protected]