菜单
Automated auditing, reentrancy guards, and flashloan attack prevention.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 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.