What does it take to design a programming language for zero knowledge proofs?
Founder of @FormalLand, @guillaumeclaret, on formal verification in Noir, its origins in Rust, and the dream of portable ZK at @__zkhack__ last year.
A few quick facts:
1. ZRC-20 is not a Zcash protocol standard.
2. Zcash Shielded Assets are still experimental on Testnet.
3. If you want censorship-resistant private money secured by Zcash consensus the asset is zcash:native
DYOR and stay safe 🛡️
El pasado martes 15, nuestra Project Manager @arq_marii asistió al evento de @zcashesp1 🇪🇸✨ Un momento extraordinario acompañando a amigos y miembros de la comunidad.
Como Mari adelantó en una entrevista pasada hecha por el equipo de zcash en Español, les hizo entrega de un exclusivo swag de parte de @redbridge_zec! 🎁✨
¡Septiembre se termina y ha dejado muchísimas novedades!
🚀Acompáñanos en vivo para repasar los hitos más importantes, las noticias clave del mes y lo que se viene para el próximo trimestre.
🎙️ Live: Resumen del Mes de Septiembre
⏰ Hora: 17:00 UTC
🔴 En directo aquí: https://t.co/gg7AsuBVzA
¡Te esperamos! 👇
#YouTubeLive #ResumenMensual #Comunidad
Parte del equipo de Zcash en Español, representado por @gordonesTV y @SoyAuraBrito del #ClubZcashBarcelona y @ZcastEsp, hablaron de Zcash en el Noviciado junto a la Familia de Solana.
¡Creando puentes y estrechando lazos cripto!
Gracias totales @ETHSpain_ desde @ZcastEsp estamos felices de haber compartido con ustedes y orgullosos de todo lo que lograron hacer hoy. Seguimos construyendo 🛡️🎉