NyhederZcash beviser sikkerhed med 2.700 matematiske teoremer efter Ironwood-opgradering Henrik Solgaard / 29. juli 2026