טוקן רפלקציה עם הפצת O(1): ביקורת ופריסה

uint256 private _tTotal;
uint256 private _rTotal;
uint256 private _tFeeTotal;
uint256 public taxFee = 5;
uint256 public liquidityFee = 3;
uint256 public burnFee = 2;
mapping(address => uint256) private _rOwned;
mapping(address => uint256) private _tOwned;
mapping(address => bool) private _isExcluded;
constructor(uint256 totalSupply) {
    _tTotal = totalSupply * 10**18;
    _rTotal = (MAX - (MAX % _tTotal));
    _rOwned[msg.sender] = _rTotal;
}
function _getRate() private view returns (uint256) {
    (uint256 rSupply, uint256 tSupply) = _getCurrentSupply();
    return rSupply / tSupply;
}
function _getCurrentSupply() private view returns (uint256, uint256) {
    uint256 rSupply = _rTotal;
    uint256 tSupply = _tTotal;
    for (uint256 i = 0; i < _excluded.length; i++) {
        if (_rOwned[_excluded[i]] > rSupply || _tOwned[_excluded[i]] > tSupply) return (_rTotal, _tTotal);
        rSupply -= _rOwned[_excluded[i]];
        tSupply -= _tOwned[_excluded[i]];
    }
    if (rSupply < _rTotal / _tTotal) return (_rTotal, _tTotal);
    return (rSupply, tSupply);
}
function balanceOf(address account) public view returns (uint256) {
    if (_isExcluded[account]) return _tOwned[account];
    return tokenFromReflection(_rOwned[account]);
}
function tokenFromReflection(uint256 rAmount) public view returns (uint256) {
    require(rAmount <= _rTotal, "Amount too large");
    return rAmount / _getRate();
}
function _transferStandard(address sender, address recipient, uint256 tAmount) private {
    (uint256 rAmount, uint256 rTransferAmount, uint256 rFee, uint256 tTransferAmount, uint256 tFee, uint256 tLiquidity, uint256 tBurn) = _getValues(tAmount);
    _rOwned[sender] -= rAmount;
    _rOwned[recipient] += rTransferAmount;
    _reflectFee(rFee, tFee);
    _takeLiquidity(tLiquidity);
    _burn(sender, tBurn);
    emit Transfer(sender, recipient, tTransferAmount);
}
function _reflectFee(uint256 rFee, uint256 tFee) private {
    _rTotal -= rFee;
    _tFeeTotal += tFee;
}

}

</details> Наивный перебор всех держателей потребляет в 50 раз больше газа, чем O(1) reflection. При 10 000 холдеров одна транзакция может стоить 5 млн газа, в то время как O(1) — всего 100 тыс. O(1) реализация эффективнее наивного перебора по газу, что подтверждает таблица ниже.

### Почему excluded адреса пулов критичны?

Адреса пулов ликвидности (Uniswap pair, PancakeSwap pair) должны быть excluded от reflection. Если пул участвует в reflection, его баланс токена постоянно растёт, нарушая соотношение token/ETH в пуле и создавая арбитражные возможности. Это классическая ошибка в ранних reflection-токенах. Включаем этот пункт в каждый чек-лист аудита.

```solidity
function excludeFromReward(address account) public onlyOwner {
    require(!_isExcluded[account], "Already excluded");
    if (_rOwned[account] > 0) {
        _tOwned[account] = tokenFromReflection(_rOwned[account]);
    }
    _isExcluded[account] = true;
    _excluded.push(account);
}
```

השוואה בין יישום O(1) ליישום נאיבי: כמה יותר טוב?

יישום O(1) צורך פי 50 פחות גז ואינו תלוי במספר המחזיקים. החיסכון בעמלות עסקה מגיע ל-90%. הזמינו פיתוח של טוקן reflection — נכין תוכנית מפורטת תוך 7–14 ימים.

איך לבדוק טוקן reflection לפני פריסה?

אנו משתמשים בניתוח סטטי עם Slither כדי לזהות פרצות בקוד, ביצוע סימבולי עם Mythril כדי למצוא נתיבי שגיאה, ופיוזינג עם Echidna כדי לוודא חלוקה נכונה תחת פרמטרים אקראיים. אנו גם מריצים בדיקות אינטגרציה על עותק של mainnet כדי לבדוק מגבלות גז ונכונות של כתובות excluded.

פרצות בטוקני reflection ומניעתן

• איטרציה על excluded: הפונקציה uint256 private _tTotal; uint256 private _rTotal; uint256 private _tFeeTotal; uint256 public taxFee = 5; uint256 public liquidityFee = 3; uint256 public burnFee = 2; mapping(address => uint256) private _rOwned; mapping(address => uint256) private _tOwned; mapping(address => bool) private _isExcluded; constructor(uint256 totalSupply) { _tTotal = totalSupply * 10**18; _rTotal = (MAX - (MAX % _tTotal)); _rOwned[msg.sender] = _rTotal; } function _getRate() private view returns (uint256) { (uint256 rSupply, uint256 tSupply) = _getCurrentSupply(); return rSupply / tSupply; } function _getCurrentSupply() private view returns (uint256, uint256) { uint256 rSupply = _rTotal; uint256 tSupply = _tTotal; for (uint256 i = 0; i < _excluded.length; i++) { if (_rOwned[_excluded[i]] > rSupply || _tOwned[_excluded[i]] > tSupply) return (_rTotal, _tTotal); rSupply -= _rOwned[_excluded[i]]; tSupply -= _tOwned[_excluded[i]]; } if (rSupply < _rTotal / _tTotal) return (_rTotal, _tTotal); return (rSupply, tSupply); } function balanceOf(address account) public view returns (uint256) { if (_isExcluded[account]) return _tOwned[account]; return tokenFromReflection(_rOwned[account]); } function tokenFromReflection(uint256 rAmount) public view returns (uint256) { require(rAmount <= _rTotal, "Amount too large"); return rAmount / _getRate(); } function _transferStandard(address sender, address recipient, uint256 tAmount) private { (uint256 rAmount, uint256 rTransferAmount, uint256 rFee, uint256 tTransferAmount, uint256 tFee, uint256 tLiquidity, uint256 tBurn) = _getValues(tAmount); _rOwned[sender] -= rAmount; _rOwned[recipient] += rTransferAmount; _reflectFee(rFee, tFee); _takeLiquidity(tLiquidity); _burn(sender, tBurn); emit Transfer(sender, recipient, tTransferAmount); } function _reflectFee(uint256 rFee, uint256 tFee) private { _rTotal -= rFee; _tFeeTotal += tFee; } עוברת על מערך ה-excluded. אם המערך גדול — חריגה ממגבלת הגז. אנו מגבילים את אורך המערך ומאפשרים רק לבעלים להוסיף.
• אובדן דיוק: עם מספר עצום של עסקאות, </details> Наивный перебор всех держателей потребляет в 50 раз больше газа, чем O(1) reflection. При 10 000 холдеров одна транзакция может стоить 5 млн газа, в то время как O(1) — всего 100 тыс. O(1) реализация эффективнее наивного перебора по газу, что подтверждает таблица ниже. ### Почему excluded адреса пулов критичны? Адреса пулов ликвидности (Uniswap pair, PancakeSwap pair) должны быть excluded от reflection. Если пул участвует в reflection, его баланс токена постоянно растёт, нарушая соотношение token/ETH в пуле и создавая арбитражные возможности. Это классическая ошибка в ранних reflection-токенах. Включаем этот пункт в каждый чек-лист аудита. ```solidity function excludeFromReward(address account) public onlyOwner { require(!_isExcluded[account], "Already excluded"); if (_rOwned[account] > 0) { _tOwned[account] = tokenFromReflection(_rOwned[account]); } _isExcluded[account] = true; _excluded.push(account); } יכול להיות קטן מדי, ו-_getCurrentSupply() מחזיר 0. האינווריאנט _rTotal נבדק בבדיקות.
• אמצעי אנטי-לווייתן: אנו מוסיפים _getRate() (1% מההיצע) ו-rTotal > tTotal * minRate (2%).

uint256 public maxTxAmount = _tTotal / 100;
uint256 public maxWalletToken = _tTotal / 50;
function _transfer(address from, address to, uint256 amount) internal {
    require(amount <= maxTxAmount, "Exceeds max tx");
    if (!_isExcluded[to]) {
        require(balanceOf(to) + amount <= maxWalletToken, "Exceeds max wallet");
    }
    // ...
}

עמלות אופייניות ומטרתן

העמלה הכוללת לא תעלה על 8%, אחרת הטוקן הופך ללא תפקודי כלכלית.

איך ליישם טוקן reflection ב-5 שלבים?

1. אנליטיקה ועיצוב: מפרט מכניקה (מס, נזילות, שריפה, אנטי-לווייתן).
2. פיתוח חוזה ב-Solidity 0.8.x באמצעות Foundry או Hardhat.
3. בדיקות: בדיקות יחידה, פיוזינג עם Echidna, בדיקות אינטגרציה על עותק mainnet כדי לוודא חלוקה נכונה ומגבלות גז.
4. ביקורת: ניתוח סטטי עם Slither + ביצוע סימבולי עם Mythril לפי רשימת בדיקה של 30+ נקודות.
5. תיעוד ותמיכה בפריסה: עזרה בבחירת בריכת נזילות והגדרת כתובות excluded.

מה כלול בפיתוח טוקן reflection במפתח מלא

• מפרט מכניקה (מס, נזילות, שריפה, אנטי-לווייתן) עם הצדקת פרמטרים.
• קוד מקור של החוזה ב-Solidity 0.8.x עם הערות.
• מערכת בדיקות יחידה ובדיקות על עותק mainnet.
• דוח ביקורת עם ניתוח פרצות (Slither, Mythril, Echidna).
• הוראות פריסה והגדרת כתובות בריכה excluded.
• תמיכה למשך חודש לאחר הפריסה.

מנגנון נזילות אוטומטית: למה הוא נחוץ?

ה-maxTransactionAmount המצטבר מומר מעת לעת לטוקני LP דרך DEX. הדגל maxWalletToken מונע קריאות רקורסיביות. המנגנון שומר על נזילות ללא התערבות הצוות, ומוסיף אוטומטית זוגות לבורסות מבוזרות.

אנו מבטיחים שהחוזה יעבור בדיקות לפרצות ידועות (reentrancy, התקפות flash loan, אובדן דיוק). קבלו ייעוץ ממהנדס לפרויקט שלכם. צרו קשר להערכה.