mirror of
https://github.com/Xahau/xahaud.git
synced 2026-07-23 15:10:10 +00:00
* Rename ASSERT to XRPL_ASSERT * Upgrade to Anthithesis SDK 0.4.4, and use new 0.4.4 features * automatic cast to bool, like assert * Add instrumentation workflow to verify build with instrumentation enabled
134 lines
4.1 KiB
C++
134 lines
4.1 KiB
C++
//------------------------------------------------------------------------------
|
|
/*
|
|
This file is part of rippled: https://github.com/ripple/rippled
|
|
Copyright (c) 2023 Ripple Labs Inc.
|
|
|
|
Permission to use, copy, modify, and/or distribute this software for any
|
|
purpose with or without fee is hereby granted, provided that the above
|
|
copyright notice and this permission notice appear in all copies.
|
|
|
|
THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
|
|
WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
|
|
MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
|
|
ANY SPECIAL , DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
|
|
WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
|
|
ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
|
|
OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
|
|
*/
|
|
//==============================================================================
|
|
|
|
#include <xrpl/protocol/AMMCore.h>
|
|
#include <xrpl/protocol/Feature.h>
|
|
#include <xrpl/protocol/Rules.h>
|
|
#include <xrpl/protocol/STAmount.h>
|
|
#include <xrpl/protocol/STObject.h>
|
|
#include <xrpl/protocol/digest.h>
|
|
|
|
namespace ripple {
|
|
|
|
AccountID
|
|
ammAccountID(
|
|
std::uint16_t prefix,
|
|
uint256 const& parentHash,
|
|
uint256 const& ammID)
|
|
{
|
|
ripesha_hasher rsh;
|
|
auto const hash = sha512Half(prefix, parentHash, ammID);
|
|
rsh(hash.data(), hash.size());
|
|
return AccountID{static_cast<ripesha_hasher::result_type>(rsh)};
|
|
}
|
|
|
|
Currency
|
|
ammLPTCurrency(Currency const& cur1, Currency const& cur2)
|
|
{
|
|
// AMM LPToken is 0x03 plus 19 bytes of the hash
|
|
std::int32_t constexpr AMMCurrencyCode = 0x03;
|
|
auto const [minC, maxC] = std::minmax(cur1, cur2);
|
|
auto const hash = sha512Half(minC, maxC);
|
|
Currency currency;
|
|
*currency.begin() = AMMCurrencyCode;
|
|
std::copy(
|
|
hash.begin(), hash.begin() + currency.size() - 1, currency.begin() + 1);
|
|
return currency;
|
|
}
|
|
|
|
Issue
|
|
ammLPTIssue(
|
|
Currency const& cur1,
|
|
Currency const& cur2,
|
|
AccountID const& ammAccountID)
|
|
{
|
|
return Issue(ammLPTCurrency(cur1, cur2), ammAccountID);
|
|
}
|
|
|
|
NotTEC
|
|
invalidAMMAsset(
|
|
Issue const& issue,
|
|
std::optional<std::pair<Issue, Issue>> const& pair)
|
|
{
|
|
if (badCurrency() == issue.currency)
|
|
return temBAD_CURRENCY;
|
|
if (isXRP(issue) && issue.account.isNonZero())
|
|
return temBAD_ISSUER;
|
|
if (pair && issue != pair->first && issue != pair->second)
|
|
return temBAD_AMM_TOKENS;
|
|
return tesSUCCESS;
|
|
}
|
|
|
|
NotTEC
|
|
invalidAMMAssetPair(
|
|
Issue const& issue1,
|
|
Issue const& issue2,
|
|
std::optional<std::pair<Issue, Issue>> const& pair)
|
|
{
|
|
if (issue1 == issue2)
|
|
return temBAD_AMM_TOKENS;
|
|
if (auto const res = invalidAMMAsset(issue1, pair))
|
|
return res;
|
|
if (auto const res = invalidAMMAsset(issue2, pair))
|
|
return res;
|
|
return tesSUCCESS;
|
|
}
|
|
|
|
NotTEC
|
|
invalidAMMAmount(
|
|
STAmount const& amount,
|
|
std::optional<std::pair<Issue, Issue>> const& pair,
|
|
bool validZero)
|
|
{
|
|
if (auto const res = invalidAMMAsset(amount.issue(), pair))
|
|
return res;
|
|
if (amount < beast::zero || (!validZero && amount == beast::zero))
|
|
return temBAD_AMOUNT;
|
|
return tesSUCCESS;
|
|
}
|
|
|
|
std::optional<std::uint8_t>
|
|
ammAuctionTimeSlot(std::uint64_t current, STObject const& auctionSlot)
|
|
{
|
|
// It should be impossible for expiration to be < TOTAL_TIME_SLOT_SECS,
|
|
// but check just to be safe
|
|
auto const expiration = auctionSlot[sfExpiration];
|
|
XRPL_ASSERT(
|
|
expiration >= TOTAL_TIME_SLOT_SECS,
|
|
"ripple::ammAuctionTimeSlot : minimum expiration");
|
|
if (expiration >= TOTAL_TIME_SLOT_SECS)
|
|
{
|
|
if (auto const start = expiration - TOTAL_TIME_SLOT_SECS;
|
|
current >= start)
|
|
{
|
|
if (auto const diff = current - start; diff < TOTAL_TIME_SLOT_SECS)
|
|
return diff / AUCTION_SLOT_INTERVAL_DURATION;
|
|
}
|
|
}
|
|
return std::nullopt;
|
|
}
|
|
|
|
bool
|
|
ammEnabled(Rules const& rules)
|
|
{
|
|
return rules.enabled(featureAMM) && rules.enabled(fixUniversalNumber);
|
|
}
|
|
|
|
} // namespace ripple
|