Tendencias del momento
#
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
Criptografía aplicada, seguridad, cosas experimentales - Jefe de Investigación @BainCapCrypto
Kobi Gurkan republicó
Los TEE requieren inherentemente confianza en los operadores y fabricantes, pero también es posible utilizarlos de maneras que *mejoren* estrictamente la seguridad de un sistema sin introducir nuevos cuellos de botella de confianza. Escribí sobre dos casos de uso donde esto es posible:
2,46K
Hola @TekGear, ¿hay un tutor para Twiddler para iOS que sea:
1. Dirigido por voz, para que puedas entrenar sin mirar la pantalla?
2. Algún tipo de retroalimentación por voz para que pueda tener una experiencia de retroalimentación sobre cómo escribo en aplicaciones regulares? Imaginaría que esto existe para otros tipos de métodos de entrada alternativos, pero simplemente no lo sé.
587
Eliminé los hilos iniciales de mi experimento para usar Claude Code para portar longfellow-zk a rust
No estaba satisfecho con el enfoque, ya que podría confundir a las personas haciéndoles pensar que algo increíble sucedió cuando ni siquiera funcionó
Colocando imágenes aquí como referencia, y dejé los hilos finales que eran más claros
1,79K
parece una oportunidad realmente divertida para los estudiantes
25 jun 2025
🚨 ¡ASCrypto 2025 ya está aquí!
🗓️ 29-30 de septiembre | Medellín | Afiliado a Latincrypt
👨🏫 Aprende 𝐦𝐨𝐝𝐞𝐫𝐧𝐨𝐬 𝐬𝐲𝐬𝐭𝐞𝐦𝐚𝐬 𝐝𝐞 𝐩𝐫𝐨𝐯𝐢𝐧𝐠 𝐝𝐞 𝐥𝐨𝐬 𝐦𝐨𝐣𝐨𝐫𝐞𝐬 𝐞𝐱𝐩𝐞𝐫𝐭𝐨𝐬
💥 2 días, 3 módulos: IVC, STARKs, MPC
👥 Con @benediktbuenz, Sophia Yakoubov, @aszepieniec
👇
886
Última actualización del experimento: después de un análisis más cuidadoso, contiene más implementaciones reales de los componentes del probador, incluyendo un fft bidireccional declarado, con benchmarks actualizados, que son más lentos.
La mayor parte de mi participación ha sido del tipo "¿es una implementación real? ¿Estás seguro? No tomes atajos y trabaja un día si es necesario".
Lo que plantea la pregunta de cuán bien funcionaría una "gestión intermedia para LLMs" (como lo llamó @alexhevans) aquí 😅.
5 jul, 09:56
ok, un poco embarazoso - no tenía rust instalado en esa máquina, así que el código generado ni siquiera se compiló y los benchmarks eran estimaciones, como también notó @MatteoFrig60839
Indagué más para llevarlo a un mejor estado, pero aún no es una implementación completamente funcional
Aún estaría bastante sospechoso si es tanto correcto como más rápido que una implementación de C++ de calidad de producción cuidadosamente elaborada
la prueba definitiva sería tener una prueba generada en rust verificada en un verificador de C++ - no puedo hacerlo bien por ahora y requeriría más indagación
sería genial si tuviéramos una buena función de verificación de prueba aislada en C++ y apuntar CC hacia eso
1,89K
Última actualización del experimento: después de un análisis más cuidadoso, contiene más implementaciones reales de los componentes del probador, incluyendo un fft bidireccional declarado, con puntos de referencia actualizados, que son más lentos.
La mayor parte de mi participación ha sido del tipo "¿es una implementación real? ¿Estás seguro? No tomes atajos y trabaja un día si es necesario".
Lo que plantea la pregunta de cuán bien funcionaría una alternativa de "gestión intermedia para LLMs" (como lo llamó @alexhevans) aquí 😅.
5 jul, 09:56
ok, un poco embarazoso - no tenía rust instalado en esa máquina, así que el código generado ni siquiera se compiló y los benchmarks eran estimaciones, como también notó @MatteoFrig60839
Indagué más para llevarlo a un mejor estado, pero aún no es una implementación completamente funcional
Aún estaría bastante sospechoso si es tanto correcto como más rápido que una implementación de C++ de calidad de producción cuidadosamente elaborada
la prueba definitiva sería tener una prueba generada en rust verificada en un verificador de C++ - no puedo hacerlo bien por ahora y requeriría más indagación
sería genial si tuviéramos una buena función de verificación de prueba aislada en C++ y apuntar CC hacia eso
128
ok, un poco embarazoso - no tenía rust instalado en esa máquina, así que el código generado ni siquiera se compiló y los benchmarks eran estimaciones, como también notó @MatteoFrig60839
Indagué más para llevarlo a un mejor estado, pero aún no es una implementación completamente funcional
Aún estaría bastante sospechoso si es tanto correcto como más rápido que una implementación de C++ de calidad de producción cuidadosamente elaborada
la prueba definitiva sería tener una prueba generada en rust verificada en un verificador de C++ - no puedo hacerlo bien por ahora y requeriría más indagación
sería genial si tuviéramos una buena función de verificación de prueba aislada en C++ y apuntar CC hacia eso
5 jul, 01:38
Se pidió implementar el resto + añadir una implementación en ensamblador, las nuevas reclamaciones adjuntas
5,68K
Parte superior
Clasificación
Favoritos