(Qp*)

▪︎ I have opinions. Yes, all of them matter✨️💖 ▪︎

[(Qp*) @rovendisc]

laziness is a human trait and it does not care about anyone's IP or region.

If users are not interacting "properly" with your project, maybe trying to farm or game the system, then its a flaw in the design that is being exploited by the users.

More projects should focus on campaigns that make sure users get skin in the game like you rightly said, we would have way less "farmers" and people would just opt for things that align with what they want or believe in💜

[Rudy @rudykadoch]

It’s time to pull back the curtain on Web3, and unmask all the projects bragging about their "hundreds of thousands" of users 😈😈😈

Before I dive in, let me say this clearly: we live in a time where anyone can be labeled a racist for anything. So to be absolutely clear: I have zero issues with the nationalities mentioned below. Much love to everyone.

Last week, we were hit by a massive wave of "farmers" downloading the app mostly from the countries below, and the stats are terrifying:

🇳🇬 Nigeria - 1658 users - <1$
🇮🇩 Indonesia - 6151 users - 489$
🇧🇩 Bangladesh - 3831 users - 0$
🇵🇰 Pakistan - 1515 users - 10$
🇵🇭 The Philippines - 1271 users - 278$

We left the faucet running for two days - imagine if we’d left it on for a month or six? We could have claimed 500K users! Want to know if your favorite project has real users? Just ask them where their users are coming from 😁

Why were they here? Only to farm a "free money" quest. We were offering 5 $MASS just for completing KYC.

Here’s what I did to stop the bleeding fast:
1. Blocked KYC access for those users. Every KYC attempt costs us money.
2. Updated the quest requirement from "Complete KYC" to "Trade at least $500 in stocks." Why? Because they weren’t here to use the app, they were just there to extract value. If they’re forced to actually spend, they’ll move on.

I’m here to protect the company and help it grow with strong metrics and real users.

I’d rather have 1,000 real users and show that number proudly, than 100k fake ones that mean nothing.

I’m also here to protect our real, active and loyal users - the kind that gets crushed when airdrops are abused by bots and sybils.

That’s why most airdrops have a bad rep today. They were botted. Farmed. Fake. Projects use it to pump their social stats, trading volume, or boost TVL for a few month. It helps teams raise more money, find exit liquidity in OTC, and simply grabs attention. Ego loves that.

So why did @HyperliquidX or @LayerZero_Core airdrops have been a success?
- HL only rewarded real users. There was no way to farm it without having skin in the game.
- LZ made a serious effort to filter out sybils and bots.

@paraswap (now @VeloraDEX) also did something great back in the day, but at the time, talking about sybils and bots was like saying the Earth was round in the Middle Ages.

We do this industry a disservice when we pretend a fake reality is real, and selling to new builders a dream that they won't be able to live.

There are probably no more than 30K real, active on-chain traders today. That’s the truth.

Yes, projects like Pump, Opensea, or Uniswap may have hit 100K+ unique users at peak - but I don’t believe any other project can seriously claim that today.

So now, just ignore the projects claiming they have "hundreds of thousands" of users. And VCs, please, stop being fooled. Retail is getting smarter every day. I hope this thread just reveals a few more of the rules they’ve already figured out.

[(Qp*) @rovendisc]

@ZentraFinance My $ctr bags ready

[(Qp*) @rovendisc]

@Rowleysghost Legendary 💖

[λ @lambda0xE]

mini update (pre-night devbuild): the devnet and main net RPCs, as well as both scanners, have just been updated, adding support for a very important element - formal verification, as we said earlier, .aml supports native formal verification backed by Coq lang and belongs to the Standard ML family, which imposes certain obligations on us, we were not planning to announce new features specifically today, but one situation, which is indirectly related to formal verification and more likely belongs to the class of silly bugs in an independent devs's program, made us decide not to wait and to update support right now, especially considering the upcoming availability of lite nodes for everyone who wants to run one, we decided to speed up the process with the latest mainnet beta features

for your convenience we deployed 4 progs and each of which is formally verified- the first program is clean when the second has a warning, the third has a clear stupid bug and the fourth is a standard OCS01 token that is also formally validated and has passed attestation,all programs are valid and compile successfully

fyi: the token standard is not obliged to answer for a dev's mistake when he shoots himself in the foot, but an additional element in the form of formal verification can stop him from making such mistakes. so, here are the 4 programs: clean, warning, clearly broken, and a canonical token standard, each with a full formal verification trace in the corresponding scanner tabs

clean prog: octGcYxnDL8SqkQRzSsewfkXC1uApwhMSTiKP1AAGwPXVmU

has warning:
https://t.co/I4VqjHnGmT

issues:
https://t.co/gzmtcQBNf7

OCS01 token:
https://t.co/hH2f6HLYMI

when a user looks at a program, he no longer blindly believes that "the dev is right", he relies on a formal verification procedure that minimizes the human factor

among other things the scanner now shows the exact validator reward for each epoch, which is a useful feature for economic accounting

ps: the next update concerns the mini-paper (HFHE, pvac and hardness assumptions, cryptography, etc) and will appear in the coming days, together with a major webcli update, .aml docs, and the full formal verification spec, if there is anything interesting, we will inform you in a separate announcement, but for now that's all

thanks all

[(Qp*) @rovendisc]

@lambda0xE 💙💙

[(Qp*) @rovendisc]

@Cliff3Verse At some point it gets really boring.

[(Qp*) @rovendisc]

@9livesso 💯🔥🔥

[(Qp*) @rovendisc]

@Asqwe2411 @badboyszn03 Set !

[(Qp*) @rovendisc]

@rollie1212 C for conviction 🧡🍋

[(Qp*) @rovendisc]

@storka33 @arc Congrats fren

[(Qp*) @rovendisc]

@SatsumaDEX Positioned 🍊🧡🍋

[(Qp*) @rovendisc]

@adefela60 Happy birthday dear

[(Qp*) @rovendisc]

@DeraOt_ From my friend

[(Qp*) @rovendisc]

@NorthmanOdin @citrea_xyz Happy borthday friend

[(Qp*) @rovendisc]

@thay_crypto congrats bud

[(Qp*) @rovendisc]

@citrea_xyz bitcoin economy is live !

[(Qp*) @rovendisc]

Lets go @citrea_xyz

25k xCTR locked in

[(Qp*) @rovendisc]

@frank_liquid 👀👀👀

[(Qp*) @rovendisc]

@citrea_xyz Boom Boom Boom

$ctr is coming !

[(Qp*) @rovendisc]

@citrea_xyz We will strengthen the bitcoin economy !