DavidZO 🔺

ANUNCIO IMPORTANTE 🚨 ¡Se viene el Hackathon: LatAm Institucional! 🌎 Un fin de semana entero para transformar las instituciones de Latam desde adentro. 📅 Vie 15 mayo - 6:00 PM 📅 Dom 17 mayo - 9:00 AM En colaboración con @ForoBlockchain en el marco de #LedgerLeadersWeek Registro 👇

Colombia build mode ON 🔺🔥 🇨🇴 @DavidZapataOh

Atención Builders en Colombia 🇨🇴 Tenemos un Workshop! Introducción técnica a Avalanche: arquitectura, L1s personalizadas y casos reales de uso. Presencial | Abierto a estudiantes y no estudiantes Warm up first. Build better after 🔺

Warm-Up Session de #BuildGames 🔺 Workshop técnico previo a la hackathon. Smart Contracts · L1s · Avalanche 📅 10 & 12 Feb 🕒 Horarios LATAM Time to Build 🔺⏳ luma.com/enfe5k4d?local…

🚀 Arranca hoy Build Games ⚡️ La competencia global de builders de Avalanche: ⏳ 6 semanas 💰 $1M en premios Es momento de construir en serio.

Introducing: Build Games 🏆 A $1,000,000 Builder Competition on Avalanche. You’ll like this👇:

> Top up Avalanche Card in seconds from @coreapp > Pay for goods/services in seconds using @TheAvaxCard Payments across LatAm, powered by Avalanche 🔺

Side event of our side event 🇦🇷 At Devconnect we hosted a 'Builders Connect' meetup to hear from founders in the Avalanche ecosystem. The following day we hosted a builder hub for local devs to hang out & learn about Avalanche & x402 Join our upcoming x402 hackathon below 👇

Builders Connect Buenos Aires 🇦🇷 A space for builders, developers and founders at Devconnect to network & share their project Join & chat with Ava Labs DevRel, Team1, Codebase teams & more over great food in the heart of Buenos Aires Registration with limited spots below 👇

Día 6 en @invisiblgarden 🌱 Cada vez más enfocado en cómo construir sistemas privados y eficientes. 🔐 @1dot2 nos introdujo a PLONKish, cómo representar un programa completo en una estructura verificable con ZK. Todo como una tabla donde las variables pueden repetirse sin revelar su valor, gracias al Permutation Argument. PLONK es la base de la mayoría de zkEVMs y rollups modernos. 🧩 Claudio Hermida habló de Categorías y Mónadas y cómo ayudan a organizar la lógica y efectos (errores, estado) sin romper la consistencia del sistema. 🧠 Pedro Coelho explicó Reinforcement Learning, andar, equivocarse y aprender. Un agente que toma decisiones, recibe recompensas y mejora su comportamiento con el tiempo. Aplicado a juegos, robots y hasta sistemas autónomos que toman decisiones sobre recursos. 🦀 Cerramos con Uniswap fork en Stylus, swaps, liquidez y fees escritos en Rust pero compatibles con la EVM. Seguimos subiendo el nivel 🔝

✅ Día 4 en @invisiblgarden 🌱 Más ZK, redes neuronales y pairings en curvas elípticas. 🦀 Alok Kumar nos adentró a Rust dentro de Arbitrum Stylus: - Tipos primitivos y cómo se mapean al ABI de EVM - Manejo de errores estilo Rust: Result<> para lo recuperable y panic! solo para casos extremos - Custom Errors con #[derive(SolidityError)] → errores - ABI-compatibles (como en Solidity) - Eventos, etc... Usando Rust pero sin romper la compatibilidad con Ethereum. 🔐 @1dot2 habló sobre Proof by Simulation, cómo simular una conversación que demuestre conocimiento de un secreto sin conocerlo. Si puedes simular la interacción completa sin el secreto, entonces la prueba no revela nada del secreto. Lo vimos aplicado al Schnorr Identification Protocol: 1️⃣ Prover elige random r, envía R = g^r 2️⃣ Verifier envía un challenge x 3️⃣ Prover responde z = r + a·x 4️⃣ Verifier chequea: g^z == R · (A^x) Luego añadimos un blinding extra para analizar las propiedades de un sistema de pruebas: • Completeness: Si la afirmación es verdadera, un verifier honesto será convencido por un prover honesto. • Soundness: Si la afirmación es falsa, ningún prover deshonesto puede convencer al verifier honesto. Los sistemas de prueba son robustos y no permiten hacer trampa • Zero Knowledge: Si la afirmación es verdadera, ningún verificador aprende nada más que el hecho de que la afirmación es verdadera 🧠 Con Pedro Coelho conectamos álgebra lineal + derivadas + neuronas artificiales. Perceptrón → cómo decide con una línea (o hiperplano) MLP: varias capas = decisiones no lineales • Funciones de activación, softmax • Backpropagation: regla de la cadena para ajustar pesos • SGD y Adam para optimizar más rápido • Universal Approximation Theorem: con suficientes neuronas, puedes aproximar casi cualquier función 🤯 Con @shrameetweets llevamos las curvas elipticas a un paso más allá, pairings. Tienes un polinomio f(x) y un valor secreto τ. Quieres demostrar que calculaste f(τ) correctamente… ✅ sin revelar τ ✅ sin volver a hacer todo el cálculo en el lado del verificador Usamos 3 piezas: • f(τ)·G → la evaluación comprometida • Un polinomio derivado q(x) que incluye el (x – s) • Un pairing para chequear que la igualdad se mantiene en ambos grupos La prueba es valida si ambos lados del pairing coinciden. Puedes verificar una operación compleja con una sola operación rápida. Eso es lo que hace que zkSNARKs sean tan eficientes. Cada día vamos más profundo, todo se está conectando.

Día 3 en @invisiblgarden 🌱 Más ZK y bastante criptografía aplicada. Día técnico y denso, pero muy nutritivo. 🦀 Alok Kumar nos mostró Stylus CLI, la herramienta para crear y desplegar contratos en Rust dentro de Arbitrum manteniendo compatibilidad con EVM. 🔐 @1dot2 profundizó en el protocolo de identificación Schnorr, arrancando desde los campos finitos y la aritmética modular para que entendiéramos bien por qué funciona. Vimos cómo se usa un secreto para generar una prueba que cualquiera puede verificar con la clave pública, pero sin revelar el secreto. Todo gracias a lo difícil que es invertir la exponenciación en estos grupos, el famoso problema del logaritmo discreto. 🧠 Pedro Coelho continuó con reducción de dimensionalidad y clustering en ML PCA, K-Means y cómo encontrar estructura en datos sin etiquetas. Conceptos que empiezan a conectar la IA con privacidad y eficiencia. 🤝 Octavio explicó Multi Party Computation, poder obtener un resultado conjunto sin revelar los datos individuales. Vimos el ejemplo de sumar aportes privados, el modelo “honesto pero curioso” y la idea de Oblivious Transfer (el cliente obtiene solo el mensaje que elige y el servidor no sabe cuál fue) 📈 Y @shrameetweets cerró con Curvas Elípticas, la base de casi toda la criptografía moderna, firmas, ECDH y ZK. Cada vez vamos profundizando más en cada tema.

Día 2 en @invisiblgarden 🌱 Primeros pasos en ZK, algo de Rust y avanzado en Machine Learning. Este día fue más práctico y técnico. 🦀 Alok Kumar nos mostró Stylus, escribir Smart contracts en Rust para la red de Arbitrum y seguir siendo compatible con la EVM. 🔒 Ya era hora de empezar con algo de ZK, de la mano de @1dot2: Cómo funcionan realmente las Zero Knowledge Proofs. La idea central: ➡️ Probar que algo es válido sin revelar la información que lo hace válido. Ejemplo en términos simples: ✅ “Sé la contraseña” ❌ “Aquí está la contraseña” Vimos: • witness → el secreto • statement → la afirmación pública • circuito → representación del problema para poder verificarlo sin descubrir el witness • Cómo eso termina en zkSNARKs, pruebas cortas, rápidas y sin interacción Muy buena base para entender todo lo que se construye con privacidad en blockchain. 🧠 Y Pedro Coelho nos llevó a clasificación y regresión en ML, cómo los modelos asignan etiquetas o números usando los datos. Otro día cargado de conceptos que vamos a usar sí o sí más adelantes

Arrancó @invisiblgarden Buenos Aires 2025! 3 semanas mezclando lo último sobre IA, ZK y ciberseguridad 🤖 Con Pedro Coelho repasamos cómo las máquinas aprenden, ML, redes neuronales, las 5 tribus de la IA (Symbolists, Analogizers, Bayesians, Evolutionaries y Connectionists) y cerramos dejando abierto un tema que será clave estas semanas, privacidad en IA. 🔒 Con @0xlord_forever vimos por qué votar en blockchain es más complejo de lo que parece y cómo MACI (Minimal Anti-Collusion Infrastructure) resuelve la privacidad y la anti-colusión, y cómo Privote abstrae todo para que sea mucho más sencillo de usar. Si esto fue el día 1, no quiero imaginar lo que se viene 🔥

A year of impact from @AvaxTeam1 🔺 Team1 plays a vital role in expanding adoption and strengthening engagement across the Avalanche ecosystem The Avalanche Foundation looks forward to seeing their continued progress in the year ahead 👏

Builders, la jungla los espera. Se viene un bootcamp intensivo con mentores, una hackathon para transformar ideas en prototipos reales, validación de un jurado internacional y un premio de 2,500 USDC a repartir 🏆 👉 Inscríbete en el bootcamp y entra a la jungla: lu.ma/bootcampcr

Here we go! 🚀🚀🚀 First Crypto Club session (supported by @ethereumfndn) successfully launched. We explored cryptographic algorithms and the fascinating world of elliptic curve properties, the backbone of modern blockchain and ZK. This is just the beginning ✨

@AvalancheFDN @BucksPay_ 👀

What are you building on Avalanche this week? 🔺 Let us know! 👇

Comentando la comunidad Colombiana Web3, un grato encuentro con @DavidZapataOh entre comunidades @ethereum_cali y @UltravioletaDAO

Aprendiendo a crear tokens encriptados eERC en Avalanche de la mano de @alejandro99so 🤯