[{"@context":"https:\/\/schema.org\/","@type":"BlogPosting","@id":"https:\/\/blog.terabox.com\/insights\/hypernova-zkvm-folding-schemes-zk-snarks#BlogPosting","mainEntityOfPage":"https:\/\/blog.terabox.com\/insights\/hypernova-zkvm-folding-schemes-zk-snarks","headline":"Hypernova: Escalando ZKVM con Folding Schemes","name":"Hypernova: Escalando ZKVM con Folding Schemes","description":"\ud83d\udcfa V\u00eddeo de estudio recomendado hoy: https:\/\/www.youtube.com\/watch?v=TP1W-E2kuro Hypernova: El futuro de las M\u00e1quinas Virtuales de Conocimiento Cero (ZKVM)El poder de los ZK SNARKs en la sociedad digitalLa evoluci\u00f3n hacia las ZKVM escalablesHypernova y el esquema de plegado de alto gradoConclusiones... ","datePublished":"2026-07-15","dateModified":"2026-07-15","author":{"@type":"Person","@id":"https:\/\/blog.terabox.com\/author\/flextech-admin\/#Person","name":"flextech-admin","url":"https:\/\/blog.terabox.com\/author\/flextech-admin\/","image":{"@type":"ImageObject","@id":"https:\/\/secure.gravatar.com\/avatar\/ad516503a11cd5ca435acc9bb6523536?s=150&#038;d=mm&#038;r=gforcedefault=1","url":"https:\/\/secure.gravatar.com\/avatar\/ad516503a11cd5ca435acc9bb6523536?s=150&#038;d=mm&#038;r=gforcedefault=1","height":96,"width":96}},"publisher":{"@type":"Organization","name":"terabox","logo":{"@type":"ImageObject","@id":"http:\/\/blog.terabox.com\/wp-content\/uploads\/2021\/11\/logo\u4ea7\u54c1\u540d-\u7ad6\u7248.png","url":"http:\/\/blog.terabox.com\/wp-content\/uploads\/2021\/11\/logo\u4ea7\u54c1\u540d-\u7ad6\u7248.png","width":900,"height":900}},"image":{"@type":"ImageObject","@id":"https:\/\/blog.terabox.com\/wp-content\/uploads\/2026\/07\/mqdefault-10-1.jpg","url":"https:\/\/blog.terabox.com\/wp-content\/uploads\/2026\/07\/mqdefault-10-1.jpg","height":180,"width":320},"url":"https:\/\/blog.terabox.com\/insights\/hypernova-zkvm-folding-schemes-zk-snarks","video":{"@context":"http:\/\/schema.org\/","@type":"VideoObject","@id":"https:\/\/www.youtube.com\/watch?v=TP1W-E2kuro#VideoObject","contentUrl":"https:\/\/www.youtube.com\/watch?v=TP1W-E2kuro","name":"HyperNova: Toward practical zero-knowledge virtual machines with Abhiram Kothapalli | a16z research","description":"Zero-knowledge proofs are a powerful cryptographic technique for demonstrating the correctness of computations without revealing any secret inputs. They enable a new class of secure applications with enhanced integrity and privacy guarantees, including verifiable databases, private voting protocols, anonymous credentials, and privacy-preserving cryptocurrencies. Current interest centers on proving the correct execution of an entire virtual machine, which enables a single-proof system for the underlying substrate running all applications.\n\nAbhiram Kothapalli (Protocol Labs) presents HyperNova, a new and highly-performant recursive zero-knowledge proof system. HyperNova achieves a significantly lower recursion overhead for computations represented with high-degree constraints. It represents a step forward in the pursuit of efficient zero-knowledge proof systems for virtual machine execution \u2014 a remarkably fertile research program over the past decade. Modern approaches are beginning to employ recursive zero-knowledge proofs (proofs that demonstrate the existence of other proofs) due to their distinct ability to prove stateful computations with dynamic control flow. \n\nAbout the presenter \nAbhiram is recently earned his PhD in computer science from Carnegie Mellon University. His research focuses on designing zero-knowledge proofs, a powerful technique for proving the correctness of computations without revealing any secret inputs. He has been awarded a doctoral fellowship from Protocol Labs for his work in zero-knowledge proofs.\n\nAbout a16z crypto research\na16z crypto research is a multidisciplinary lab that works closely with our portfolio companies and others toward solving the important problems in the space, and toward advancing the science and technology of the next generation of the internet. More about us: a16z.com\/2022\/04\/21\/announcing-a16z-crypto-research\n\nMore from the a16z crypto team\n- Subscribe to our 'web3 weekly newsletter': a16zcrypto.substack.com \n- Listen to our 'web3 with a16z' podcast: a16zcrypto.com\/web3-with-a16z-podcast\/\n- Read more of our work: a16zcrypto.com","thumbnailUrl":["https:\/\/i.ytimg.com\/vi\/TP1W-E2kuro\/default.jpg","https:\/\/i.ytimg.com\/vi\/TP1W-E2kuro\/mqdefault.jpg","https:\/\/i.ytimg.com\/vi\/TP1W-E2kuro\/hqdefault.jpg","https:\/\/i.ytimg.com\/vi\/TP1W-E2kuro\/sddefault.jpg"],"uploadDate":"2024-09-20T13:58:45+00:00","duration":"PT56M55S","embedUrl":"https:\/\/www.youtube.com\/embed\/TP1W-E2kuro","publisher":{"@type":"Organization","@id":"https:\/\/www.youtube.com\/channel\/UCTHq3W46BiAYjKUYZq2qm-Q#Organization","url":"https:\/\/www.youtube.com\/channel\/UCTHq3W46BiAYjKUYZq2qm-Q","name":"a16z crypto","description":"The definitive resource for the latest and leading trends in crypto \u2014 including conversations with founders and builders, insights from engineers and researchers, and demos from the teams creating new products and systems. \n\nThis channel is for anyone seeking to go deeper on this new computing era \u2014 from stablecoins, onchain markets, and AI agents to new forms of coordination, ownership, and decentralized infrastructure.\n\nAbout us: a16z crypto is a venture capital fund that invests in crypto and blockchain startups. We back bold entrepreneurs building at the frontier the next internet.\n\nFor more about a16z crypto: https:\/\/a16zcrypto.com\/ \nFor more about a16z crypto research: https:\/\/a16z.com\/2022\/04\/21\/announcing-a16z-crypto-research\/ \n\n***\nPosts should not be considered investment advice or an advertisement for investment services. Reposts of third party content are not attributable to a16z; see disclosures for more information: https:\/\/a16z.com\/disclosures\/.\n","logo":{"url":"https:\/\/yt3.ggpht.com\/86gRba_kGXV5HYhFLzP4eIcH3psq_ThRgvith-OvC8r1tKzZA24tZeIsiz-xIPylkLz1vgh3Z9w=s800-c-k-c0x00ffffff-no-rj","width":800,"height":800,"@type":"ImageObject","@id":"https:\/\/www.youtube.com\/watch?v=TP1W-E2kuro#VideoObject_publisher_logo_ImageObject"}},"potentialAction":{"@type":"SeekToAction","@id":"https:\/\/www.youtube.com\/watch?v=TP1W-E2kuro#VideoObject_potentialAction","target":"https:\/\/www.youtube.com\/watch?v=TP1W-E2kuro&t={seek_to_second_number}","startOffset-input":"required name=seek_to_second_number"},"interactionStatistic":[[{"@type":"InteractionCounter","@id":"https:\/\/www.youtube.com\/watch?v=TP1W-E2kuro#VideoObject_interactionStatistic_WatchAction","interactionType":{"@type":"WatchAction"},"userInteractionCount":983}]]},"about":["\u300eSpanish\u300f","Insights"],"wordCount":1679},{"@context":"https:\/\/schema.org\/","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Insights","item":"https:\/\/blog.terabox.com\/insights\/#breadcrumbitem"},{"@type":"ListItem","position":2,"name":"Hypernova: Escalando ZKVM con Folding Schemes","item":"https:\/\/blog.terabox.com\/insights\/hypernova-zkvm-folding-schemes-zk-snarks#breadcrumbitem"}]}]