RXR Lab Info

A Leading, Innovative Blockchain Crowdfunding and Profit-Generating Platform. Say no to “air coins”! RXR.lab is the world’s first equity-based RWA (Real World Assets) project, offering the potential for sustainable and high-growth performance. Rooted in the Nobel Prize-winning CAPM (Capital Asset Pricing Model) for precise valuation and business model design.

RXR Lab Logo

TrustNet Score

The TrustNet Score evaluates crypto projects based on audit results, security, KYC verification, and social media presence. This score offers a quick, transparent view of a project's credibility, helping users make informed decisions in the Web3 space.

80.00
Poor Excellent

Real-Time Threat Detection

Real-time threat detection, powered by Cyvers.io, is currently not activated for this project.

This advanced feature provides continuous monitoring and instant alerts to safeguard your assets from potential security threats. Real-time detection enhances your project's security by proactively identifying and mitigating risks. For more information, click here.

Security Assessments

"\"\\\"\\\\\\\"\\\\\\\\\\\\\\\"Static Analysis Dynamic Analysis Symbolic Execution SWC Check Manual Review\\\\\\\\\\\\\\\"\\\\\\\"\\\"\""
Contract address
0xFCeA...F9Af
Network
BNB Smart Chain - Mainnet
License N/A
Compiler N/A
Type N/A
Language Solidity
Onboard date 2024/12/05
Revision date 2024/12/06

Summary and Final Words

No crucial issues found

The contract does not contain issues of high or medium criticality. This means that no known vulnerabilities were found in the source code.

Contract owner cannot mint

It is not possible to mint new tokens.

Contract owner cannot blacklist addresses.

It is not possible to lock user funds by blacklisting addresses.

Contract owner cannot set high fees

The fees, if applicable, can be a maximum of 25% or lower. The contract can therefore not be locked. Please take a look in the comment section for more details.

Contract cannot be locked

Owner cannot lock any user funds.

Token cannot be burned

There is no burning within the contract without any allowances

Ownership is not renounced

The owner retains significant control, which could potentially be used to modify key contract parameters.

Scope of Work

This audit encompasses the evaluation of the files listed below, each verified with a SHA-1 Hash. The team referenced above has provided the necessary files for assessment.

The auditing process consists of the following systematic steps:

  1. Specification Review: Analyze the provided specifications, source code, and instructions to fully understand the smart contract's size, scope, and functionality.
  2. Manual Code Examination: Conduct a thorough line-by-line review of the source code to identify potential vulnerabilities and areas for improvement.
  3. Specification Alignment: Ensure that the code accurately implements the provided specifications and intended functionalities.
  4. Test Coverage Assessment: Evaluate the extent and effectiveness of test cases in covering the codebase, identifying any gaps in testing.
  5. Symbolic Execution: Analyze the smart contract to determine how various inputs affect execution paths, identifying potential edge cases and vulnerabilities.
  6. Best Practices Evaluation: Assess the smart contracts against established industry and academic best practices to enhance efficiency, maintainability, and security.
  7. Actionable Recommendations: Provide detailed, specific, and actionable steps to secure and optimize the smart contracts.

A file with a different Hash has been intentionally or otherwise modified after the security review. A different Hash may indicate a changed condition or potential vulnerability that was not within the scope of this review.

Final Words

The following provides a concise summary of the audit report, accompanied by insightful comments from the auditor. This overview captures the key findings and observations, offering valuable context and clarity.


Ownership Privileges
RXRActHunt.sol
  • The owner can update the _curPeriod value based on sales.
RXRLPHunt.sol
  • The owner can plan hunt.
  • The owner can update the _curPeriod value based on sales.
RXRLuckBuy.sol
  • The owner can draw the user a lottery.
RXRToken.sol
  • There are no ownership privileges in the contract.

Please find the contract address of mentioned contracts on BNB chain

rxrToken:

0x5B6AD3E9384e9C3d74ad39bD624Dc77b84fb2306

lpHunt:

0xDBa5878975C59385905396A73deCAE7610FB046e

actHunt:

0xB2f3B51A72EB45097c5fBFE99117Cc08e0c02BA7

luckBuy:

0xc23455593400814EeDdC4011d9A936045F9068E8 

Note - This Audit report consists of a security analysis of the RXR Labs smart contract. This analysis did not include functional testing (or unit testing) of the contract’s logic. Moreover, we only audited one token contract for the RXR Labs team. Other contracts associated with the project were not audited by our team. We recommend investors do their own research before investing.

Files and details

Functions
public

/

State variables
public

/

Total lines
of code

/

Capabilities
Hover on items

/

Functions
public

/

State variables
public

/

Total lines
of code

/

Capabilities
Hover on items

/

Functions
public

/

State variables
public

/

Total lines
of code

/

Capabilities
Hover on items

/

Functions
public

/

State variables
public

/

Total lines
of code

/

Capabilities
Hover on items

/

Findings and Audit result

medium Issues | 6 findings

Resolved

#1 medium Issue
Missing limits for _curPeriod.
RXRActHunt.sol
L84-87
Description

The _curPeriod variable in the contract is vulnerable to arbitrary updates, potentially disrupting the withdrawal mechanism. Risks include premature or blocked withdrawals, broken logic, and exploitation by malicious owners. To mitigate these issues, implement constraints such as ensuring _curPeriod only increments or remains the same, setting an upper limit (e.g., MAX_PERIOD), and optionally linking updates to real-world time intervals. Emit an event (PeriodUpdated) for transparency. These safeguards maintain the integrity of the contract's design, prevent misuse, and build user trust by ensuring periods advance predictably and fairly.

Resolved

#2 medium Issue
Missing 'isContract' check
RXRLPHunt.sol
L121-123
Description

The contract lacks a validation check to ensure that specific parameters are contract addresses. Without this check, there is a risk that non-contract addresses (such as externally owned accounts, or EOAs) could be mistakenly set for parameters intended to reference other contracts. This could lead to failures in executing critical interactions within the contract, as EOAs do not support contract-specific functions. To mitigate this, Implement a validation check to ensure that parameters designated as contract addresses are verified as such. This can be done using Solidity’s Address library function isContract, which checks if an address has associated contract code.

Resolved

#3 medium Issue
On-chain randomization
RXRLuckBuy.sol
L43-53
Description

The function uses block data (block.number and block.timestamp) for randomness, which is not secure. These values can be manipulated or predicted by miners or validators, making the randomness traceable and exploitable. Since miners control block attributes (like block.timestamp), they can influence the generated random number. A malicious miner can test different timestamps to produce a favorable random result. The inputs to keccak256 (_pid, block.number, block.timestamp) are partially predictable. Attackers observing the chain can calculate future outputs if they know or guess _total and _pid. To mitigate this, Use a commit-reveal scheme or integrate verifiable randomness services like Chainlink VRF, which provide secure, tamper-proof randomness.

Resolved

#4 medium Issue
The owner can pause tokens.
RXRToken.sol
L22-24
Description

The contract contains the pausable functionality in which the owner of the contract can pause the token transfer for an indefinite period of time which is not recommended as if the token transfer is locked then the user will not be able to transfer any tokens from the contract.

Resolved

#5 medium Issue
Missing allowance check.
RXRActHunt.sol
L52-77
Description

The Perform Withdrawal section updates _pullPeriod to prevent double withdrawals for the current period and transfers the calculated withdrawAmount to the user using _rxrToken.transferFrom. However, the function lacks an explicit allowance check to ensure the treasury address has authorized the contract to transfer tokens. If the allowance is insufficient or the treasury lacks enough tokens, the transfer will fail, causing the function to revert unexpectedly. Adding a pre-check for allowance and balance would improve robustness, ensuring smoother execution and providing better feedback to users if prerequisites for the transfer are not met.

Resolved

#6 medium Issue
Missing allowance check.
RXRLPHunt.sol
L69-97
Description

The function assumes the treasury (0x0C2b051a0aEa520Df9D817b442F99B40BF940403) has granted sufficient allowance to the contract, but no pre-check verifies this. If the allowance is insufficient, the transferFrom call will revert.

low Issues | 7 findings

Resolved

#1 low Issue
Floating pragma solidity version
All
L3
Description

Adding the constant version of solidity is recommended, as this prevents the unintentional deployment of a contract with an outdated compiler that contains unresolved bugs.

Resolved

#2 low Issue
Missing events arithmetic
RXRActHunt.sol
L45-49
L95-97
L100-102
Description

It is recommended to emit all the critical parameter changes in the contract.

Resolved

#3 low Issue
Insufficient Validation
RXRActHunt.sol
L56-65
Description

The function only checks the amount upper limit but does not verify Whether the user is eligible to participate. Also, the amount is non-zero (e.g., someone could call with 0, wasting gas and polluting data structures). This could lead to incorrect state changes or unnecessary gas costs. To mitigate this, Add a lower-bound validation, e.g., require(amount > 0, "amount must be greater than zero");. Also, Validate user eligibility, if applicable.

Resolved

#4 low Issue
Unused property of Admin
RXRActHunt.sol
L26
Description

The contract defines an admin role with a setter function to update the admin address, but it is underutilized. The onlyAdmin modifier is included but only used in a placeholder function, with no meaningful admin-specific functionality implemented. This redundancy adds unnecessary complexity and risks, such as granting unused power to an admin without a clear purpose. To improve the contract, either fully integrate admin functionality with specific responsibilities (e.g., managing operations distinct from the owner) or remove it entirely to simplify the code. This ensures clarity, reduces attack surface, and avoids confusion about roles and permissions.

Resolved

#5 low Issue
Unused _totalWithdraw property.
RXRActHunt.sol
L23
Description

The _totalWithdraw variable is defined to track the total amount of tokens withdrawn across all users but is not updated or used anywhere in the contract. This makes it redundant and unnecessary, adding clutter to the code. To improve the contract, either integrate _totalWithdraw into the logic (e.g., increment it during withdrawals to maintain a total withdrawal record) or remove it entirely if it's not required for functionality or reporting. Simplifying unused variables improves code clarity, reduces gas costs, and minimizes potential confusion or errors during contract deployment and use.

Resolved

#6 low Issue
Missing events arithmetic
RXRLPHunt.sol
L57-61
L121-124
L127-129
Description

Make sure to emit events for all the critical parameter changes in the contract to ensure the transparency and trackability of all the state variable changes.

Resolved

#7 low Issue
Unnecessary complexity
RXRLPHunt.sol
L90-118
Description

The withdraw function uses int for calculations involving _curPeriod and _pullPeriod, likely to handle potential negative values. However, this is unnecessary since these values should always increase or remain constant. Using int introduces risks like negative values and higher gas costs, complicating logic unnecessarily. Switching to uint ensures safer and more efficient calculations, as unsigned integers inherently prevent negative values. Logical safeguards should also be implemented to prevent _curPeriod and _pullPeriod from decreasing, ensuring validity. Simplifying conditional logic by removing unnecessary checks further enhances clarity, reliability, and performance of the contract.

optimization Issues | 4 findings

Resolved

#1 optimization Issue
Public function that could be declared external (external-function)
RXRActHunt.sol
L56-65
L68-93
L95-97
L100-102
Description

Use the `external` attribute for functions never called from the contract.

Resolved

#2 optimization Issue
Public function that could be declared external (external-function)
RXRLPHunt.sol
L57-61
L68-74
L77-87
L90-118
L121-124
L127-129
Description

Use the `external` attribute for functions never called from the contract.

Resolved

#3 optimization Issue
Public function that could be declared external (external-function)
RXRLuckBuy.sol
L43-53
Description

Use the `external` attribute for functions never called from the contract.

Resolved

#4 optimization Issue
Public function that could be declared external (external-function)
RXRToken.sol
L22-24
L26-28
L31-35
L45-52
L54-60
Description

Use the `external` attribute for functions never called from the contract.