Shentu Chain

Shentu Chain

28,421个推特粉丝

关注

Security-oriented blockchain enables provable trust for all. OpenBounty(bug bounties), DeepWallet etc. https://linktr.ee/shentuchain Follow: @Shentu_Intern

动态

🚨开放定理警报 #11 0x0011 :: Erdős 问题 #12 第一部分设 A 为无限集合，不存在互不相同的 a, b, c ∈ A 使得 a | (b + c) 且 b, c > a。 >> 建议难度：中级 >> 奖励：61 $CTK 提交你的证明或提供资金。链上验证真值： openmath.shentu.org/OpenMath/T...… #开放数学 #开放定理 #精益 @leanprover

更新：OpenMath 从Shentu v2.17.0 开始，OpenMath 现在将 Rocq 和 Lean 证明的奖励分开。目前，贡献者使用以下系统提交证明： • Rocq • 倾斜形式化验证工作采用不同的证明系统、独立的奖励机制和明确的归属机制。

🚨未完成定理 #10 0x0010 :: 模性质：模逆元利用贝祖恒等式证明模乘法逆元的存在性。具体来说，如果 `m` 和 `n` 互质，则存在整数 `x` 使得 `m * x ≡ 1 (mod n)`。

♾数学也是DeSci生态系统的重要组成部分：@神兔链 OpenMath，全球首个数学DeSci平台。http:/openmath.shentu.org #OpenMath #DeSci

Most people think DeSci is vaporware. They're wrong. Here are 8 categories with active projects solving real problems: 🧬 Men's Health: @D1ckDAO @ErectusDAO 🤖 Bio AI Agents: @Aubrai_ @DickGPT 🍄 Mycology: @MycoDAO 📊 Prediction Markets: @episteme_sci 💉 Diabetes: @DiabetesDAO

🚨开放定理警报 #06 0x0006 :: √2 的无理性 ~∃ p,q∈ℕ，p²=2q² 建议难度：中级奖励：100 $CTK 提交您的证明或提供资金。链上验证真值：openmath.shentu.org/OpenMath/T...… #开放数学 #开放定理

🚨开放定理警报 #05 0x0005 :: 威尔逊定理 ∀ 素数 p, p>0, (p-1)! ≡ 1 (mod p) 建议难度：中级奖励：103 $CTK 提交你的证明或提供资金。链上验证真值：openmath.shentu.org/OpenMath/T...… #开放数学 #开放定理

🚨开放定理警报 #03 0x0003 :: 朋友定理如果图中任两个顶点刚好有一个共同的邻居，那么该图必定是「朋友图」（三角形共用一个共同顶点）。 >> 建议难度：高/高级 >> 奖励：200 $CTK 提交你的证明或提供资金支持。 >> 在链上验证真值： openmath.shentu.org/OpenMath/T...… #开放数学 #开放定理

⚠️研究者行动迅速：OpenMath 上已有 18 个定理得到证明。如果你还没查看定理板，现在正是时候。还有很多未证明的定理等著你。选择你的定理，写出证明，然后提交到链上。让我们看看谁能证明下一组定理。 ⚡️

最大化质押只需在 http:/Shentu.org 处进行两个简单的操作。首先，前往 http:/explorer.shentu.org/vali... 并选择一个你信任的验证者。其次，在 http:/restaking.shentu.org/aut... 处设置你的流程。这样，当其他人还在追逐简单的指标时，你就能保持领先。

🚨 窃取一切的虚假账本 (1/8) 詹姆斯*原本以为自己是Safe的。他使用了一个HT硬件钱包，保管好了自己的24个助记词，并遵循了所有的加密安全建议。然后在某一天……一个包裹到了。 🧵👇

Loading..