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.

c4lvin
Investigador @FourPillarsFP | @chainlight_io anterior
Mientras exploraba el ecosistema de @boundless_xyz, descubrí un caso de uso interesante en las aplicaciones de @RiscZero R0VM: Prueba ZK de Explotación - zkPoEx.
Entre todos los errores, los más críticos son aquellos que existen en productos en vivo. En cripto, dado que las vulnerabilidades críticas conducen inmediatamente a la explotación de fondos, el valor monetario de los errores en vivo es muy alto.
Típicamente, cuando se encuentran tales errores, plataformas de recompensas por errores como @immunefi o @HackenProof actúan como intermediarios para verificar la autenticidad y gravedad del error y negociar la recompensa. Esta estructura tiene un problema: los detalles del error deben ser divulgados antes de que el whitehat reciba la recompensa. Desde la perspectiva del proyecto, después de recibir el informe del error y revisarlo, podrían corregirlo y luego afirmar que está "fuera de alcance" o degradar su gravedad. En casos muy extremos, los intermediarios podrían ver la vulnerabilidad y explotarla primero.
zkPoEx, a través de RiscZero's R0VM, permite probar la existencia de una vulnerabilidad con prueba ZK sin revelar los detalles del error. Dado que puede probar que existe un error que satisface ciertas condiciones, los descubridores de errores pueden esperar respuestas más cooperativas de los proyectos, como solicitar un pago parcial por adelantado.
Para explicar con más detalle, el reportero utiliza calldata/contrato de explotación como entrada privada y el estado en el momento del ataque como entrada pública para cambiar los valores de estado del contrato objetivo dentro de R0VM. Después de la ejecución, el recibo de tx y la prueba generada por el Prover de R0VM pueden verificar si el ataque satisfizo condiciones específicas, como cambios en el saldo.
Personalmente, creo que este método es bastante útil para reportar vulnerabilidades en vivo, pero no he visto casos en los que se hayan reportado errores utilizando este enfoque. Parece ser porque los proyectos necesitan proporcionar las condiciones por adelantado... Si tal sistema es realmente difícil de implementar en la práctica, me gustaría saber cuáles serían los desafíos.


463
Just unlocked Diamond status on @boundless_xyz mainnet beta
With the introduction of the "Verify" section where you can leave the website open and run verification idly, it has become significantly easier to raise tiers. I feel like yap rewards are kinda converted into public sale tiers.
personally love this compact program, compared to ~6 month of lazy farming ;)

2.94K
: : Verificar para Confiar - Dos Enfoques Diferentes de EigenCloud y Boundless
La verificación es un instinto humano. Constantemente verificamos: confirmando horarios de reuniones, revisando opiniones de productos, validando información.
Pero en la era de la computación en la nube y la IA, somos cada vez menos capaces de verificar lo que sucede tras bambalinas. Esta brecha entre nuestro instinto de verificación y nuestra capacidad ha creado una crisis de confianza fundamental en los sistemas digitales.
@eigenlayer y @boundless_xyz son dos proyectos pioneros que abordan diferentes aspectos de este desafío.
1. EigenCloud
EigenCloud se enfoca en la verificación "intersubjetiva", cosas que no pueden ser probadas matemáticamente pero en las que los observadores racionales estarían de acuerdo (por ejemplo, decisiones de gobernanza de DAO, equidad de incentivos). Aprovechando $EIGEN, un token con un mecanismo de bifurcación único, EigenCloud implementa verificabilidad respaldada por seguridad económica.
2. Boundless
Como un mercado de probadores descentralizado construido sobre @RiscZero zkVM, Boundless implementa verificabilidad garantizada por prueba criptográfica. Así, Boundless se especializa en cálculos deterministas con entradas/salidas claras.
Estos dos no son visiones competitivas; son capas complementarias. EigenCloud sobresale donde el juicio subjetivo importa, y Boundless domina donde la certeza matemática es posible.
Estamos en un punto de inflexión donde la tecnología de verificación se encuentra con la demanda del mercado. Los proyectos que construyen esta infraestructura hoy definirán cómo interactuamos con los sistemas digitales mañana. La pregunta no es si la computación verificable se convertirá en estándar; es qué tan rápido podemos llegar allí.
1.71K
c4lvin reposteó
Mindshare coreano TG para Pre TGE 24h Top 20
1er. @AbstractChain @bram_m11 @SiwonHuh lo están matando
2do. @gaib_ai tuvo un evento comunitario ayer
3er. @Sidekick_Labs tener transmisiones en vivo con muchos KOL coreanos @ROKMCFIREANT @sikiri0 @oldman_cek
4to. @Mira_Network @Edward__Park matando a la gente está publicando algo todos los días
5to. @irys_xyz a los coreanos les encanta jugar sus juegos
+ @monad gmonadas @sungmo_nad

26.76K
: : La expansión del ecosistema Bitcoin es inevitable
Es innegable que Bitcoin está entrando en una nueva fase de desarrollo. Tras una revisión exhaustiva del ecosistema de Bitcoin durante la reciente Conferencia de Bitcoin en junio, ha quedado claro que la infraestructura tecnológica de Bitcoin está experimentando un crecimiento rápido y transformador.
Los segmentos de más rápido crecimiento del ecosistema de Bitcoin incluyen:
- Restaking y staking líquido centrados en @babylonlabs_io, @Lombard_Finance y @SolvProtocol
- Soluciones L2 avanzadas que implementan BitVM mejorado e incorporan @SuccinctLabs SP1 y zkVM @RiscZero para puentes con mínima confianza
- Las principales cadenas L1 impulsan las iniciativas de BTC, incorporando proyectos BTCFi
Dado que recientemente hubo actualizaciones notables, me gustaría presentarlas aquí.
1. @babylonlabs_io
- Propuso reducir los tiempos de retiro de staking de Bitcoin de aproximadamente 7 días a alrededor de 50 horas. Este estándar de liquidación T+2 se alinea con los requisitos financieros tradicionales, lo que hace que el staking de Babylon sea significativamente más atractivo para los participantes institucionales.
- Colaboró con @krakenfx para lanzar servicios de staking de Bitcoin
- $BABY cotizó en la principal bolsa coreana, Upbit
2. @SuiNetwork impulsando iniciativas BTCFi
- Sui se ha convertido en el promotor más agresivo de las iniciativas de BTCFi, abordando la integración de Bitcoin con una seria sofisticación técnica.
- El cofundador @EmanAbio ha publicado análisis detallados de la estrategia BTCFi de Sui; apoyando directamente el puente de BTC en la infraestructura a nivel de cadena, como el puente 2PC-MPC de @ikadotxyz y el puente BTC nativo de Sui.
- Ha estado incorporando activamente proyectos BTCFi, como Lombard y Native, con
- Los activos relacionados con BTC ahora representan más del 10% del capital total de Sui.
3. @aave hablar de la integración de BTC L2
- @build_on_bob presentado una propuesta a la gobernanza de Aave, sugiriendo la adición de SolvBTC / openUSDT.
4. BitVM
- Publicación del documento técnico de BitVM3
- Propone reducir drásticamente el tamaño y los costes de las pruebas
5. @citrea_xyz
- Hoja de ruta anunciada para lanzar el primer zk-rollup de Bitcoin a través de BitVM + @boundless_xyz
El ecosistema de Bitcoin se está desarrollando a un ritmo sin precedentes, coincidiendo con un impulso favorable de los precios que crea condiciones óptimas para los proyectos del ecosistema. Esta convergencia de la innovación técnica, la infraestructura de adopción institucional y las condiciones del mercado sugiere que estamos presenciando un momento crucial en la evolución de Bitcoin desde el oro digital hasta la infraestructura financiera integral.
La clave es aprovechar este impulso mientras las condiciones sigan siendo favorables :) ¡Esperemos que el ecosistema de Bitcoin aproveche este impulso sabiamente y capture el mercado en un futuro cercano!




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