> For the complete documentation index, see [llms.txt](https://docs-araistotle.facticity.ai/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs-araistotle.facticity.ai/staking/features.md).

# Features

Benefits of staking FACY tokens.

**Staking FACY tokens enables users to:**

* Receive **tier-based fact-checking credits**
* **Earn points** by providing feedback
* **Earn staking rewards**

#### Plans & Staking Tiers Overview

There are two ways to access ArAIstotle's fact-checking features: Pay (fiat subscription) or Stake (FACY tokens). You can subscribe at araistotle.facticity.ai/subscription.

| Feature                       | Essential ($7.99/mo) | Pro ($55/mo) | Bronze (25K FACY) | Silver (50K FACY) | Gold (300K FACY) | Platinum (2M FACY) |
| ----------------------------- | -------------------- | ------------ | ----------------- | ----------------- | ---------------- | ------------------ |
| Credits / month               | 10,000               | 120,000      | 2,000             | 3,500             | 10,000           | 120,000            |
| App, Writer, X & Telegram bot | ✓                    | ✓            | ✓                 | ✓                 | ✓                | ✓                  |
| Staking rewards               | –                    | –            | ✓                 | ✓                 | ✓                | ✓                  |
| Terminal access               | –                    | ✓            | –                 | ✓                 | ✓                | ✓                  |
| Account monitoring            | –                    | ✓            | –                 | ✓                 | ✓                | ✓                  |
| Prediction market monitoring  | –                    | ✓            | –                 | ✓                 | ✓                | ✓                  |
| Keyword monitoring            | –                    | ✓            | –                 | ✓                 | ✓                | ✓                  |
| Chat with Araistotle          | –                    | ✓            | –                 | –                 | ✓                | ✓                  |
| Priority monitoring           | –                    | ✓            | –                 | –                 | –                | ✓                  |

{% hint style="info" %}
Subscription plans (Essential & Pro) offer immediate access without any token requirements. Staking tiers additionally earn FACY staking rewards proportional to your staked amount and duration.
{% endhint %}

#### Fact checking credits (used for fact checking)

Stakers earn daily fact-checking credits based on their tier, which is determined by the amount they have staked. Credits automatically **refresh monthly**, and **each fact check costs 15 to 40 credits**.\
\
15 credits - If used through X\
20 credits - If used on the app\
40 credits -  If used for web 3 fact checks

The tiers are:

| Tier     | FACY Staked | Credits/Month |
| -------- | ----------- | ------------- |
| None     | 0 - 249     | 0             |
| Bronze   | 25,000+     | 2,000         |
| Silver   | 50,000+     | 3,500         |
| Gold     | 300,000+    | 10,000        |
| Platinum | 2,000,000+  | 120,000       |

#### Staking Rewards (in FACY Tokens)

Staking rewards or yield are distributed depending on the revenue generated and the reward allocation for each period.

The APY for a period can be represented as:

$$
\text{APY} = \frac{R \times 10{,}000 \times 31{,}536{,}000}{S \times D}
$$

Where $$R, S, D$$ represent total rewards added, total staked amount and duration in seconds.

Similarly to calculate user's reward, we have:

$$
r\_u = \frac{s\_u \times t\_u \times R}{S \times D}
$$

Where $$r\_u, s\_u, t\_u$$ represent user's reward, user's staked amount and effective staking time.

And effective staking time is calculated as: 

$$
t\_{\text{effective}} = \min(t\_{\text{current}}, t\_{\text{period\_end}}) - \max(t\_{\text{user\_start}}, t\_{\text{period\_start}})
$$

Alternatively, it can be represented as: 

$$
t\_{effective} = \begin{cases}
0 & \text{if } t\_s \geq t\_e \\
t\_e - t\_s & \text{otherwise}
\end{cases}
$$

Where $$t\_e, t\_s$$ are effective start time and effective end time.

$$
t\_{\text{start}}^{\text{eff}} = \max(t\_{\text{user}}^{\text{stake}}, t\_{\text{period}}^{\text{start}})
$$

$$
t\_{\text{end}}^{\text{eff}} = \min(t\_{\text{now}}, t\_{\text{period}}^{\text{end}})
$$