Mr Chan

✌️✌️✌️E4JW

[Mr Chan @Johnny74345969]

@RevenueFamily https://t.co/mLC1kcVb9d

[Cassh @BTCassh]

🚨CT has gone numb to scams🚨

The last few days, in the name of "free money", @RevenueFamily has been farming people right in front of us.

We pulled their code apart. Receipts 🧵

[Mr Chan @Johnny74345969]

I'm mining on @UormApp ⚡

24-hour cycles, real mining rooms, and coins you earn by showing up — no purchases, no downline. #UORM

https://t.co/RS9t5KYQHW

[Uorm @uormapp]

Ⓜ️ UORM IS NOW LIVE!
The wait is over - UORM is officially live!

- Build your UORM balance
- Join miners from around the world
- Start your journey with #UORM today!

🖇️ Download Now: https://t.co/3yGsLpjyTL

📲 Available on Google Play & App Store #UORM #Mining

[Mr Chan @Johnny74345969]

@DeepSafe_AI Grade project, LGF

[DeepSafe @DeepSafe_AI]

Trail of Bits published notes on 18 September on reviewing the Miden zkVM. The part worth reading is what happened before the review started.

Security firms — the same firm included — have published a number of posts describing how they pointed an agent harness at a codebase. This post is about a stage earlier than that: "before code review even starts, agents now allow us to build custom tooling and formal models that improve the quality and depth of our reviews."

Miden has its own assembly language, MASM, and very little tooling around it. The firm had six months of lead time, because the implementation was not yet feature complete. It spent them having its agents build an LSP server, a decompiler, a static analysis engine, and a Lean model of the VM executor. None of that was the review.

Applied during the review that followed, those tools produced concrete results. The static analysis identified over 400 unique locations where type validation could be improved, all of them reachable from the library's public API, as well as one high-severity finding: a remainder supplied by the prover was never validated before being passed to a 32-bit subtraction — "a malicious prover could exploit this to forge Falcon signatures and drain any Miden account controlled by a Falcon key pair." The Lean modeling effort produced 95 machine-checked correctness proofs covering all the binary arithmetic in the core library, and surfaced two more bugs the existing unit tests had not caught.

The detail worth sitting with is smaller than any of those. The decompiler was the single largest piece of the work, over 100 agent-generated commits across months. The firm's own account of where the benefit landed: "The main benefit of this work turned out to be the decompiler's internal analysis frameworks and intermediate representation, which we could reuse for static analysis, rather than the full decompilation pipeline."

The post is direct about why work like this did not happen before. It is "highly exploratory in nature, and the end results and potential payoff may be difficult to predict," which makes it "hard to sell clients on them in advance."

What has changed, on the post's own account, is the cost of a miss: "Today, a failed side project only costs tokens." The payoff is no easier to predict than it was. What a wrong guess costs is smaller.

One thing about this particular case is worth noting on its own. The main benefit ended up somewhere the single largest piece of the work had not been aimed at. That is a payoff shape easier to recognize once the work is finished than to argue for before it starts.

https://t.co/972ijKSY19

#DeepSafe #Web3Security

[MEXC Alpha @Alpha_MEXC]

🎁 Join MEXC Listings giveaway to win 250$ USDT:

1️⃣ Follow @Alpha_MEXC
2️⃣ Comment with your UID & proof of Airdrop+ event registration

10 lucky winners will share the prize. Ends on Oct 5.

Register $CT Airdrop+ Event Now: https://t.co/3pA2CgaFpp

[Mr Chan @Johnny74345969]

@Alpha_MEXC MEXC UID - 45253456

[Mr Chan @Johnny74345969]

off topic but useful, signed in with x, play balance issued, first call within a minute. arction onboarding is one sentence

[Mr Chan @Johnny74345969]

Win up to $25 on ETH, SOL or BNB on the Daily Spin on @arctionapp

Free spin every 24h. Real withdrawable Rewards, not points.
https://t.co/O0Z9lSY3FL

[Mr Chan @Johnny74345969]

my ta is a coin flip with extra steps

[Mr Chan @Johnny74345969]

@RevenueFamily Fresh $56.00 from @RevenueFamily

[MemeBitcoin @1096361BTC]

We sincerely thank our speakers and messengers who have spread 1,096,361 messages.

We believe our message is gradually getting closer to Satoshi.

Congratulations to the Week 3 winners, and thank you for your continued participation.

[Mr Chan @Johnny74345969]

1,096,361

1BTC = 1MBTC

.-- . / .-- .. .-.. .-.. / ... . -.-. ..- .-. . / .---- --..-- ----- ----. -.... --..-- ...-- -.... .---- / ... .- - --- ... .... .. / -... - -.-. .-.-. https://t.co/vFkkGu9Nm4

[Mr Chan @Johnny74345969]

@stakemygold
https://t.co/OyfvpJqJZC

[Mr Chan @Johnny74345969]

@stakemygold Great new. congratulation, LFG

[Mr Chan @Johnny74345969]

LFG

[StakeMyGold.com @stakemygold]

We paid stGGBR holders 2,477 $GGBR in the last 7 days.

That's an average realized APR of 11.5%.

Were you one of them?

[Mr Chan @Johnny74345969]

@HsakaTrades early presale round on arction is 0.002 with a 20% bonus over 500, paid in eth bnb or sol, credited on confirmation

[Mr Chan @Johnny74345969]

Win up to $25 on ETH, SOL or BNB on the Daily Spin on @arctionapp

Free spin every 24h. Real withdrawable Rewards, not points.
https://t.co/qBUzHXCbPe

[Mr Chan @Johnny74345969]

My SmartX trader type: “The Candle Prophet.”

“You can chart every line except the one marking enough exposure.”

Find yours in 6 questions. Join the waitlist for up to 50% off fees and a share of 10,000 USDT in rewards.

https://t.co/ASOYX0iCJo

[Mr Chan @Johnny74345969]

@carlmoon on that note, the up/down split on @arctionapp moves live and shows the payout preview before you call. that screen is the game