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..