Temas en tendencia
#
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
Cripto aplicado, seguridad, cosas experimentales - Jefe de Investigación @BainCapCrypto
Kobi Gurkan reposteó
Los TEE requieren inherentemente confianza en los operadores y fabricantes, pero también es posible usarlos de manera que *mejoren* estrictamente la seguridad de un sistema sin introducir nuevos cuellos de botella de confianza. Escribí sobre dos casos de uso en los que esto es posible:
1.62K
Oye, @TekGear ¿hay un tutor para Twiddler para iOS que sea:
1. ¿Dirigido por voz, para que puedas entrenar sin mirar una pantalla?
2. ¿Algún tipo de retroalimentación de voz para poder tener una experiencia de retroalimentación de cómo escribo en aplicaciones regulares? Me imagino que esto existe para otros tipos de métodos de entrada alternativos, pero simplemente no lo sé
525
Eliminé los hilos iniciales de mi experimento para usar Claude Code para portar longfellow-zk a rust
No estaba contento con el encuadre, ya que podría confundir a la gente que sucediera algo increíble mientras ni siquiera funcionaba
Puse imágenes aquí como referencia, y dejé los hilos finales que eran más claros


1.77K
Parece una oportunidad muy divertida para los estudiantes

Arantxa Zapico 🧉25 jun 2025
🚨 ¡ASCrypto 2025 ya está aquí!
🗓️ 29 y 30 de septiembre | Medellín | Afiliado a Latincrypt
👨 🏫 Aprenda los sistemas de prueba modernos de los mejores expertos
💥 2 días, 3 módulos: IVC, STARKs, MPC
👥 Con @benediktbuenz, Sophia Yakoubov, @aszepieniec
👇
860
Última actualización del experimento: después de un pinchazo más cuidadoso, contiene implementaciones más reales de los componentes del probador, incluido un fft bidireccional reclamado, con puntos de referencia actualizados, que son más lentos
La mayor parte de mi participación ha sido más del tipo "¿es una implementación real? ¿Estás seguro? No tomes atajos y trabaja durante un día si es necesario"
Lo que nos lleva a la pregunta de qué tan bien funcionaría aquí 😅 una alternativa de "mandos intermedios para los LLM" (como @alexhevans la llamó)


Kobi Gurkan5 jul, 09:56
ok, un poco vergonzoso: no tenía rust instalado en esa máquina, por lo que el código generado ni siquiera se compiló y los puntos de referencia eran estimaciones, como también noté @MatteoFrig60839
Presioné más para llevarlo a un mejor estado, pero aún no es una implementación que funcione completamente
Todavía sospecharía bastante si es correcto + más rápido que una implementación de C++ de grado de producción cuidadosamente hecha a mano
la prueba definitiva de tener una prueba generada por óxido verificada en un verificador de C ++ - No puedo hacerlo bien por ahora y requeriría más insistencia
sería bueno si tuviéramos una buena función de verificación de prueba completa aislada en C ++ y apuntáramos CC hacia eso
1.86K
Última actualización del experimento: después de un pinchazo más cuidadoso, contiene implementaciones más reales de los componentes del probador, incluido un fft bidireccional reclamado, con puntos de referencia actualizados, que son más lentos
La mayor parte de mi participación ha sido más del tipo "¿es una implementación real? ¿Estás seguro? No tomes atajos y trabaja durante un día si es necesario"
Lo que nos lleva a la pregunta de qué tan bien funcionaría 😅 aquí una alternativa de "mandos intermedios para LLM" (como @alexhevans la llamó)


Kobi Gurkan5 jul, 09:56
ok, un poco vergonzoso: no tenía rust instalado en esa máquina, por lo que el código generado ni siquiera se compiló y los puntos de referencia eran estimaciones, como también noté @MatteoFrig60839
Presioné más para llevarlo a un mejor estado, pero aún no es una implementación que funcione completamente
Todavía sospecharía bastante si es correcto + más rápido que una implementación de C++ de grado de producción cuidadosamente hecha a mano
la prueba definitiva de tener una prueba generada por óxido verificada en un verificador de C ++ - No puedo hacerlo bien por ahora y requeriría más insistencia
sería bueno si tuviéramos una buena función de verificación de prueba completa aislada en C ++ y apuntáramos CC hacia eso
93
ok, un poco vergonzoso: no tenía rust instalado en esa máquina, por lo que el código generado ni siquiera se compiló y los puntos de referencia eran estimaciones, como también noté @MatteoFrig60839
Presioné más para llevarlo a un mejor estado, pero aún no es una implementación que funcione completamente
Todavía sospecharía bastante si es correcto + más rápido que una implementación de C++ de grado de producción cuidadosamente hecha a mano
la prueba definitiva de tener una prueba generada por óxido verificada en un verificador de C ++ - No puedo hacerlo bien por ahora y requeriría más insistencia
sería bueno si tuviéramos una buena función de verificación de prueba completa aislada en C ++ y apuntáramos CC hacia eso

Kobi Gurkan5 jul, 01:38
Se le pidió que implementara el resto + agregara una implementación de ensamblado, las nuevas notificaciones adjuntas

5.65K
Populares
Ranking
Favoritas
Onchain en tendencia
Tendencia en X
Principales fondos recientes
Más destacadas