Verificar que un movimiento de ajedrez es legal requiere 20 comprobaciones de reglas diferentes. En la cadena, eso son millones de gas. Fuera de la cadena, en un circuito con una prueba zk-SNARK, son 250k gas para verificar. La misma seguridad, una fracción del costo. Este es el desbloqueo que está remodelando silenciosamente web3.
Estamos construyendo un verificador zk-SNARK Groth16 en Solidity puro, sin dependencias externas, con una capa de aplicación completa que lo utiliza. El ejemplo: un juego privado de ajedrez donde los movimientos se demuestran legales sin revelar cuál fue el movimiento. El patrón: cualquier cálculo expresable como restricciones puede trasladarse fuera de la cadena.
Suscríbete para más construcciones profundas en Solidity.
🎵 Música "Skyline Views" de ‘Spective & Erwin Do’
💿 Escucha en todas partes:
✅ Para más Música Libre de Derechos de Autor visita:
Etiquetas: tutorial de solidity, zk snark solidity, verificador groth16, pruebas de conocimiento cero, verificación en cadena, tutorial de circom, tutorial de snarkjs, zk solidity, emparejamiento bn254, verificador de zk proof, ethereum zk, cálculo off chain, circuito zk, eip 196, eip 197, zk dapp, desarrollo de contratos inteligentes, desarrollo de ethereum, desarrollo web3, solidity avanzado, contratos inteligentes de ethereum, tutorial de web3, desarrollo de blockchain, solidity 0.8, zk rollup, plonk noir
Hashtags: #Solidity #Web3 #Ethereum #ConocimientoCero #ZKSnark #ContratosInteligentes #Groth16 #DesarrolloBlockchain #DesarrolloWeb3 #DesarrolloEthereum #TutorialSolidity #ZKProofs #DesarrolloContratosInteligentes #DesarrolloCrypto #Criptografía