Audit-Driven Fix Secures Liquid Staking Token Against ManipulationA critical vulnerability was discovered in a recent audit of a project within the LUKSO ecosystem, impacting its liquid staking mechanism…1d ago1d ago
Using Formal Verification techniques when auditingAt Extropy we are continually striving to improve the quality of our audits to help ensure that our clients’ projects are safe from attack…5d ago5d ago
Extropy Security Bytes: w6 2025Welcome to this week’s Web3 security roundup, covering the latest hacks, exploits, and social engineering scams from 1st-8th Feb 2025. This…Feb 10Feb 10
Extropy Security Bytes: w4 2025Welcome to this week’s blockchain security roundup, brought to you by Extropy.io! In this series, we deliver bite-sized updates on the most…Jan 27Jan 27
2024 in reviewIn 2024 we continued our focus on zero-knowledge technology and security. We expanded our team, delivered impactful training to hundreds of…Dec 31, 2024Dec 31, 2024
This article illustrates the main sections of an audit report, using examples from recent audits…A typical report will contain the following sections :Sep 23, 2024Sep 23, 2024
Starklings5: Functions in CairoWe’re continuing our journey with Starklings Cairo, and this time, we’re diving into functions. Functions are a fundamental part of any…Sep 6, 2024Sep 6, 2024
Starklings04-Cairo: IfWe’re back with another article of Starklings Cairo. In this installment, we’ll explore if, the most basic (but still surprisingly…Aug 5, 2024Aug 5, 2024
Madara Quick Start GuideWelcome to this Madara Quick Start Guide! This guide will walk you through the quickest and easiest way we’ve been able to get a Madara…Jul 8, 2024Jul 8, 2024
