Некоторые из самых умных людей, которых я знаю, находятся здесь на X, поэтому я решил, что пришло время присоединиться. Я Кармит, и большая часть моей работы заключалась в том, чтобы вывести технологии конфиденциальности из теории и сделать их работающими в реальном мире. Я провел годы в качестве профессора в Университете Бар-Илан, работая над криптографией — тем видом математики, который доказывает, что что-то истинно, не раскрывая ничего другого. Это элегантно, мощно... и слишком часто это не выходит за пределы страниц научной статьи. За это время я наблюдал, как доказательства с нулевым разглашением выросли из нишевой академической идеи в одну из самых многообещающих технологий для будущего интернета. Но вот в чем проблема: если для работы нужны огромные серверы и специальная инфраструктура, это никогда не достигнет миллиардов людей. Без масштаба конфиденциальность остается привилегией — а не правом. Вот почему я стал соучредителем @ligero_inc — чтобы перенести ZK из теории в практику и сделать так, чтобы миллиардные доказательства конфиденциальности работали где угодно, даже на мобильных устройствах. Мы создаем суверенные технологии доказательства на стороне клиента, чтобы вы могли проверять соответствие, право на участие или целостность, не раскрывая свои личные данные. Без посредников. Без утечек. Просто математика, работающая там, где вы находитесь. Я здесь, чтобы поделиться тем, что мы строим, учиться у других и общаться с людьми, которые верят, что конфиденциальность должна быть базовым правом, а не роскошью. Если это про вас, я был бы рад пообщаться.
2,41K