Актуальные темы
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Kobi Gurkan
Прикладная криптография, безопасность, экспериментальные вещи - руководитель исследований @BainCapCrypto
Привет @TekGear, есть ли репетитор для Twiddler для iOS, который:
1. Управляется голосом, чтобы можно было тренироваться, не глядя на экран?
2. Предоставляет какую-то голосовую обратную связь, чтобы я мог получить опыт обратной связи о том, как я печатаю в обычных приложениях? Я бы предположил, что это существует для других видов альтернативных методов ввода, но я просто не знаю об этом.
602
Удалил начальные потоки своего эксперимента по использованию Claude Code для портирования longfellow-zk на Rust
Был недоволен формулировкой, так как это могло запутать людей, что произошло что-то удивительное, хотя на самом деле это даже не работало
Размещаю изображения здесь для справки и оставил финальные потоки, которые были более понятными
1,81K
похоже, это действительно интересная возможность для студентов
25 июн. 2025 г.
🚨 ASCrypto 2025 здесь!
🗓️ 29–30 сентября | Медельин | В партнерстве с Latincrypt
👨🏫 Узнайте 𝐦𝐨𝐝𝐞𝐫𝐧 𝐩𝐫𝐨𝐯𝐢𝐧𝐠 𝐬𝐲𝐬𝐭𝐞𝐦𝐬 у лучших экспертов
💥 2 дня, 3 модуля: IVC, STARKs, MPC
👥 С @benediktbuenz, Софией Якубов, @aszepieniec
👇
900
Последнее обновление из эксперимента - после более тщательного изучения, он содержит больше реальных реализаций компонентов доказателя, включая заявленный двунаправленный БПФ, с обновленными бенчмарками, которые медленнее.
Большая часть моего участия заключалась в том, чтобы задавать вопросы: "Это реальная реализация? Вы уверены? Не делайте сокращений и работайте день, если это необходимо."
Что поднимает вопрос о том, насколько хорошо будет работать альтернативное "среднее управление для LLM" (как это назвал @alexhevans) здесь 😅
5 июл., 09:56
Окей, немного неловко - у меня не был установлен Rust на этой машине, поэтому сгенерированный код даже не скомпилировался, а бенчмарки были оценочными, как также заметил @MatteoFrig60839.
Я продолжал работать, чтобы довести это до лучшего состояния, но это все еще не полностью рабочая реализация.
Я все еще был бы довольно подозрителен, если бы это было и правильным, и быстрее, чем тщательно созданная производственная реализация на C++.
Окончательное испытание - это наличие сгенерированного Rust доказательства, проверенного в C++ верификаторе - я пока не могу это сделать и потребуется больше усилий.
Было бы неплохо, если бы у нас была хорошая изолированная функция полной проверки доказательства на C++ и указать CC на это.
1,9K
Последнее обновление из эксперимента - после более тщательного изучения, он содержит больше реальных реализаций компонентов доказателя, включая заявленный двунаправленный БПФ, с обновленными бенчмарками, которые медленнее.
Большая часть моего участия заключалась в том, чтобы задавать вопросы: "Это реальная реализация? Вы уверены? Не делайте сокращений и работайте день, если это необходимо."
Что поднимает вопрос, насколько хорошо будет работать альтернативное "среднее управление для LLM" (как это назвал @alexhevans) здесь 😅
5 июл., 09:56
Окей, немного неловко - у меня не был установлен Rust на этой машине, поэтому сгенерированный код даже не скомпилировался, а бенчмарки были оценочными, как также заметил @MatteoFrig60839.
Я продолжал работать, чтобы довести это до лучшего состояния, но это все еще не полностью рабочая реализация.
Я все еще был бы довольно подозрителен, если бы это было и правильным, и быстрее, чем тщательно созданная производственная реализация на C++.
Окончательное испытание - это наличие сгенерированного Rust доказательства, проверенного в C++ верификаторе - я пока не могу это сделать и потребуется больше усилий.
Было бы неплохо, если бы у нас была хорошая изолированная функция полной проверки доказательства на C++ и указать CC на это.
142
Окей, немного неловко - у меня не был установлен Rust на этой машине, поэтому сгенерированный код даже не скомпилировался, а бенчмарки были оценочными, как также заметил @MatteoFrig60839.
Я продолжал работать, чтобы довести это до лучшего состояния, но это все еще не полностью рабочая реализация.
Я все еще был бы довольно подозрителен, если бы это было и правильным, и быстрее, чем тщательно созданная производственная реализация на C++.
Окончательное испытание - это наличие сгенерированного Rust доказательства, проверенного в C++ верификаторе - я пока не могу это сделать и потребуется больше усилий.
Было бы неплохо, если бы у нас была хорошая изолированная функция полной проверки доказательства на C++ и указать CC на это.
5 июл., 01:38
Попросили реализовать остальное + добавить реализацию на ассемблере, новые требования приложены
5,69K
Топ
Рейтинг
Избранное