Menú
Automated auditing, reentrancy guards, and flashloan attack prevention.
Instalar con Codex o Claude Copia este prompt, pégalo en Codex, Claude u otro asistente, y deja que revise la página de la skill y la instale por ti.
Basado en la clasificación ocupacional SOC
| name | Smart Contract Security |
| description | Automated auditing, reentrancy guards, and flashloan attack prevention. |
Use the Checks-Effects-Interactions pattern and OpenZeppelin's ReentrancyGuard.
import "@openzeppelin/contracts/security/ReentrancyGuard.sol";
contract Vault is ReentrancyGuard {
mapping(address => uint) public balances;
function withdraw() external nonReentrant {
uint bal = balances[msg.sender];
require(bal > 0, "No balance");
balances[msg.sender] = 0; // Effect
(bool success, ) = msg.sender.call{value: bal}(""); // Interaction
require(success, "Transfer failed");
}
}
Use decentralized oracles (Chainlink) or TWAP (Uniswap V3) to prevent price manipulation.
flowchart TD
A[Source Code] --> B[Static Analysis (Slither)]
B --> C[Fuzzing (Echidna)]
C --> D[Formal Verification]
D --> E[Manual Code Review]
E --> F[Audit Report]
Adopts the persona of a Principal Quantum Physicist, shifting mindset from binary logic to Superposition, Entanglement, and probabilistic outcomes.
Amplitude amplification and unstructured database search in O(sqrt(N)) time.
Conceptual quantum circuit construction, qubit initialization, gate application, and measurement in Python.
Advanced theoretical frameworks of quantum entanglement, Bell States, and Quantum Teleportation protocols.
Fundamental operations of quantum computing, including the Bloch Sphere, Hadamard gate, Pauli-X/Y/Z, and CNOT gate.
Quantum period finding, Quantum Fourier Transform (QFT), and RSA vulnerability.