Zcash’s Project Tachyon publiceert 2.700+ Lean-stellingen die namaak bij Ironwood uitsluiten

Onderzoekers van ZEC$1.139,76▼7,48% hebben een machinaal gecontroleerd Lean-bewijs gepubliceerd — met meer dan 2.700 stellingen — dat formeel aantoont dat de Ironwood shielded pool geen onopspoorbare nep-ZEC kan voortbrengen. Het Project Tachyon-team van Electric Coin Company plaatste het op 7 juli 2026, met daarin het zero-knowledge-bewijssysteem en de circuitregels die de soliditeitsgaranties van de pool onderbouwen. (Tachyon-blog)

Zcash

ZEC

Bekijk coin →

$1.139,76 ▼7,48%

Marktkapitalisatie · $19.38B

Het faalscenario dat wordt uitgesloten, is existentieel. Een aanvaller verhoogt stilletjes het aanbod — geen spoor, geen alarm, niets. Standaardaudits kunnen bugs opsporen; bug bounties kunnen ze aan het licht brengen; geen van beide levert een wiskundige garantie op. Lean wel. Elke stap in de redenering wordt gecontroleerd door een mechanische checker die een bewering alleen accepteert als die logisch volgt uit eerdere stappen, en het resultaat is, volgens crypto.news, een machinaal gecontroleerde bevestiging dat Ironwood onder zijn ontwerpaannames geen onopspoorbare nep-ZEC kan creëren.

Die aannames wegen zwaar. Formele verificatie bevestigt dat code overeenkomt met een specificatie — het bevestigt niet dat die specificatie elke reële dreiging omvat. Het Tachyon-team noemde dit “een alomvattende inspanning om Ironwood formeel te verifiëren”, en het bewijs behandelt de onderdelen die nodig zijn voor het detecteren van namaak: het bewijssysteem en de circuitregels die bepalen hoe notes worden aangemaakt en uitgegeven. Wat het niet doet, is de afwezigheid bewijzen van elke denkbare bug in de volledige protocolstack. De claim is beperkter dan dat. Maar wel cruciaal — het ontwerp van de pool voorkomt stille aanbodinflatie.

De Orchard-schrik die de upgrade aanjoeg

De urgentie gaat terug op Orchard. Voordat Ironwood geactiveerd werd, zorgde een namaakschrik rond de Orchard-pool voor onrust onder houders en versnelde dit de upgrade, zoals Decrypt meldde. Dat incident legde een kloof bloot tussen de cryptografische beloftes van het protocol en wat er daadwerkelijk geverifieerd was. Ironwood werd uitgebracht om die kloof op protocolniveau te dichten. Het Lean-bewijs, enkele weken later gepubliceerd, dicht die kloof op wiskundig niveau.

Cryptobriefing presenteerde dit als het plan van Zcash om de shielded pool van Ironwood formeel te verifiëren en kwetsbaarheden voor onopspoorbare namaak te elimineren. Het verschil tussen dit en een conventionele audit verdient scherpe aandacht — audits zijn menselijke beoordelingen, bug bounties zijn prikkels, en formele verificatie is een bewijs, een keten van logische stappen die door een machine wordt gevalideerd in plaats van afgetekend door een onderzoeker. De techniek komt uit de academische informatica, waar ze is toegepast op compilers, kernels van besturingssystemen en cryptografische primitieven; het inzetten ervan op een live shielded pool van deze omvang is zeldzaam.

Marktreactie en huidige koers

De markt reageerde. CoinMarketCap meldde dat ZEC met 12% steeg toen Zcash-ontwikkelaars aankondigden dat ze bijna klaar waren met het bewijs, rond 9 juli 2026 — een piek die plaatsvond in een over het algemeen angstige markt, met de Fear & Greed Index op 29/100, een totale cryptomarktkapitalisatie van $2.263,63 miljard en een BTC$80.965,00▼1,62%-dominantie van 56,5%. ZEC heeft die winst sindsdien weer ingeleverd. Per 29 juli 2026 noteert Zcash op $463, een daling van 1,32% over 24 uur en 9,79% over zeven dagen, met een marktkapitalisatie van $7,78 miljard, een 24-uurs volume van $0,26 miljard en een 15e plaats in de ranglijst naar marktkapitalisatie.

Een piek bij de aankondiging. Daarna een terugval. Een formeel bewijs is een duurzaam bezit voor het protocol, maar het is geen terugkerende inkomstenstroom of nieuwe toepassing; wat het Zcash wel oplevert, is een verdedigbare claim die geen concurrent die alleen op audits vertrouwt, kan evenaren — namelijk dat de weerstand tegen namaak van zijn shielded pool wiskundig is vastgesteld, en niet slechts heuristisch beargumenteerd. Of die claim zich vertaalt in blijvende vraag, is een aparte vraag die het bewijs niet beantwoordt.

Belangenverstrengeling en reikwijdtebeperkingen

Er is ook een aspect van belangenverstrengeling dat vermelding verdient. Project Tachyon valt onder Electric Coin Company, dat een direct belang heeft bij de geloofwaardigheid en koers van ZEC. De waarde van Lean zit hem er juist in dat het de afhankelijkheid van de reputatie van de auteur vermindert — een bewijs dat klopt, klopt, ongeacht wie het heeft geschreven — maar de specificatie die het bewijs verifieert, is geschreven door hetzelfde team dat het systeem heeft gebouwd. Een aanvaller die het op Ironwood gemunt heeft, zou niet de geverifieerde onderdelen aanvallen; die zou op zoek gaan naar hiaten tussen de specificatie en het reële dreigingsmodel, of in ongeverifieerde delen van de stack die het bewijs niet raakt.

Voorlopig geldt het resultaat als de sterkste formele garantie die ooit voor een shielded pool is gepubliceerd. Of onafhankelijke onderzoekers de grenzen van de verificatie kunnen verleggen — of de aanname kunnen identificeren die het bewijs onbedekt laat — is de volgende echte test.

Volgens de Tachyon-blog is de volgende stap van het team het uitbreiden van de reikwijdte van het bewijs naar aanvullende onderdelen van Ironwood. De volgende netwerkupgrade van Zcash is nog niet ingepland.