• growing @perpltrade • monad validator @forthenads
Joined May 2010
- Tweets45.6K
- Following3.5K
- Followers4.7K
- Likes73.9K
Pinned Tweet
quick cool update:
@forthenads is live on monad mainnet
i dont know if you guys are familiar with staking but its actually a super easy process:
1. go to gmonads.com
2. on the top select "staking"
3. connect your wallet
4. input the amount you want to stake
5. search for the validator, this is where you type "forthenads". you’ll find it easily, its validator 154
6. on the next screen you’ll get a nice summary of what you are about to do
7. click "stake mon" and sign the transaction
quantum cadence
Today we are releasing Quantum Cadence, a post-quantum version of Cadence, our consensus protocol with multiple concurrent proposers. Quantum Cadence uses no quorum certificates, and its safety and liveness do not depend on signatures.
Most modern consensus protocols, Cadence included, rely heavily on signatures and quorum certificates, which a large-scale quantum computer could forge. Simply replacing today's signatures with post-quantum ones would make certificates too large for every validator to send around in a high-performance blockchain. Quantum Cadence instead draws on Forget-IT, a recent signature-free consensus protocol co-developed by researchers at Category Labs.
Quantum Cadence still keeps the overall architecture and core guarantees of Cadence, so our Cadence prototype was easy to carry over: an AI was able to adapt it to Quantum Cadence in a few hours, and an early prototype now runs on an internal test network.
We designed Quantum Cadence to be practical for a high-performance blockchain. In our simulations, its latency is similar to Cadence's, and it scales better with the number of proposers.
Interactive explainer: category.xyz/quantum-cadence.
Full paper: arxiv.org/abs/2610.32803.
Joint work by @MohammadMJalal1, @TobiasKlenze, and @komasito55
diegovas retweeted
I am a technology optimist. I believe:
1. decentralization and censorship-resistance (real versions of these properties, not larps) matter to human freedom in the coming age of AI
2. self-sovereign money, implemented by code and maintained through decentralized consensus, is the final form of money. But it needs to be truly decentralized -- cut out every possible weakness, trust assumption, keeper, etc. Of course there will be connectors to the real world - harden those maximally
3. AI will write most smart contract code. Spec-driven development with Formal Verification will be how new contracts are written rigorously. FV will also be crucial to securing all the infra including the blockchain itself
4. AI will harden our surfaces, with some unfortunate hacks in the process, but ultimately the crypto and financial industries will come out stronger
5. properly-constructed and properly-indexed data lakes will enable agents to build software far more productively
6. governments will move to restrict AI usage in the future, causing true decentralization and CR to matter in dramatic fashion
7. quantum security will be a must for any ledger where people trust their assets. And specifically, blockchains will need to deliver quantum-resistance while retaining programmability and performance. Again, no larping
8. ZK will be an important part of the puzzle too, as it'll be increasingly important to prove off-chain computation and utilize the result on chain. But again, performance and effortlessness for users will be the differentiator
9. pragmatic and composable privacy will be the missing piece for real adoption. People will use apps that stack together stablecoins, DeFi, blockchain settlement, passkey or MPC authentication, and friction-free onramps, but the part that gets fintechs over the line is knowing that user balances will remain private while still being able to tap into shared liquidity
10. blockchain will serve as the global, universal marketplace, for anyone anywhere to get the best opportunities. For that we will need guarantees of fair execution, protection from frontrunning, and a convergence of all of the best assets
At @category_xyz and the @monad Foundation, we are assembling all of these missing pieces in parallel with extreme urgency, and I hope this is clear from our actions. See you in the future
diegovas retweeted
C/C++ can be formally verified, we've verified portipns of the C++ Monad execution client (the riskier portions)
We also have an OCaml implementation for differential fuzzing and further formal verification efforts
Bitcoin, Ethereum, and Solana all need to build new clients implemented in Lean, . Then plan to deprecate existing clients
Major blockchains are ripe targets with complex codebases that are easy to hide bugs. Given what we’re seeing, the only safe approach is end to end formal verification. Rust/C/Go simply will not cut it
Yes, it will be extremely laborious and expensive. No one has ever ported such massive pieces of systems software to Lean before. But practically it can be done, it’s just hard. And the sooner it gets started, the better.
monad lately, pretty cool recap
higher
gmonad。从新加坡回来，把Open和这周几个@Monad真正值得看的update分享中文CT朋友们
Monad：一个足以承载全球资金的网络，主网一周年，Open上几个比较硬的更新：
1. 隐私结算功能（Private Settlement）：
@category_xyz 在Open主舞台宣布的。Monad L1上直接做机密执行域，不用另起一条私有链。每个域通过L1上的标准EVM hub合约启用，不需要分叉也不需要协议升级。域内交易、状态、合约代码端到端加密，连L1本身都读不到；跨域转账也是加密的，地址和金额对外不可见。机构自己定验证者集合、信任模型、访问规则和管辖权，默认谁都看不到，审计或监管可以按需给权限。同时域还直接接到Monad的共享流动性，结算是原子的
现在还是设计方案，Category Labs在跟早期设计伙伴推进，还没上线。发布前有过“Privacy is coming”的预热。
xitter.cf/monad/status/210732640…
xitter.cf/keoneHD/status/2107328…
why matters：机构（银行、基金、交易台、企业财资）最怕的就是链上全透明。他们现在要么不上链，要么自己搞私有链把流动性切碎。这个设计如果跑通，等于让这些机构能直接用公开链的速度和流动性，同时业务还保密。对Monad来说，这是把大额资金和真实业务流程拉进来的关键入口，后面稳定币、RWA、支付的体量都有可能跟着放大
2. 股票上链，xStocks原生上Monad：
@valgui在台上宣布@xStocksFi 原生部署到Monad，覆盖1100+代币化美股和ETF。代币直接在Monad上铸造和结算，不是从别的链桥过来。1:1对应底层证券，ERC-20形态，可以往DEX、借贷、钱包里组合
这跟 @aave 之前提的V4代币化股票hub提案也能对上。链上后续也有合约部署和铸造的讨论
xitter.cf/monad/status/210734010…
why matters：股票类资产是全球最大的流动性池之一。原生上链意味着不用桥，可以直接在Monad做交易、抵押、组合。对交易者来说多了24/7的股票敞口，对DeFi协议来说多了新的抵押品和交易对，对持有美股的人来说多了链上使用场景。如果流动性慢慢起来，Monad的交易量和TVL都有机会从纯crypto资产往传统资产延伸，可以关心Monad上几个DEX的进展@perpltrade @hellotradeapp @KuruExchange 等还有几个还没宣发的
3. Cadence共识，提升性能并解决MEV：
@_jhunsaker现场demo了Cadence。这是多并发提议者共识，多个验证者同时提议，配合极端流水线。现在Monad主网是300ms出块、600ms最终性，升级完成后目标100ms出块、300ms最终性，再配上BTX加密mempool，从协议层压MEV
xitter.cf/monad/status/210741970…
why matters：做市商和高频交易最在意的是延迟和被夹。100ms出块加上协议层压MEV，等于让链上交易体验更接近中心化交易所，同时减少被三明治的损失。对普通交易者和DeFi用户来说，滑点和被夹的成本会下降；对专业交易团队来说，更愿意把订单流放上来。后面如果真落地，交易量和做市深度有机会继续涨，CT里也会有更多人讨论“链上交易是不是开始能打CEX了”
4. StraitsX x Monad 新元稳定币：
XSGD和XUSD计划2027年初原生发行到Monad，XSGD会是链上第一条原生新加坡元稳定币，还受技术、监管和合规条件约束。双方也在看卡项目、支付和跨境结算这些场景。StraitsX是Open的title sponsor，持有新加坡大额支付机构牌照，累计稳定币交易量接近700亿。
xitter.cf/monad/status/210566468…
why matters：稳定币是链上真正的支付和结算入口。原生发行加上受监管牌照，意味着后面卡、跨境、商户结算这些场景可以更顺地接进来，而不是只停留在DeFi套利。对亚太用户和支付公司来说，多了一条合规的链上通道；对Monad来说，稳定币存量和使用量起来后，整条链的日常活跃和费用都会受益。后面如果卡和支付真落地，用户增长会从纯crypto圈子往更广的支付用户延伸
5. Open台上也拉了Visa、ETH Foundation、Dragonfly、Tether、Zero Hash等。主舞台之外还有DeltaV Demo Day，项目直接对VC路演。Metropolis黑客松也还在进行，奖金25万+，提交截止10/13
链上数据目前DeFi TVL大概10亿，排名第十，钱包400多万，累计交易8亿多，DEX成交量累计330亿左右，应用170+
defillama.com/chains
why matters：这些数据说明主网已经有真实使用，不是纯叙事。机构方和头部协议持续进来，加上黑客松和Demo Day，开发者和项目方还会继续进场，这些都会直接反映在链上活跃和资产规模上
如果你在build项目，随时DM
diegovas retweeted
We added a 24hr funding heatmap across every Perpl market.
🟩 Longs pay shorts
🟥 Shorts pay longs
Check it out: app.perpl.xyz/funding-rates
perpl on stage rn
@0x70626a on stage!
