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 :: 에르되시 문제 #12 파트 1 A가 무한 집합이고, a | (b + c)이고 b, c > a를 만족하는 서로 다른 a, b, c ∈ A가 존재하지 않는다고 하자. >> 권장 난이도: 중급 >> 보상: 61 $CTK 증명을 제출하거나 펀딩에 참여하세요. 온체인에서 진실을 검증하세요: openmath.shentu.org/OpenMath/T...… #OpenMath #OpenTheorems #Lean @leanprover

업데이트: OpenMath 셴투(Shentu) v2.17.0부터 OpenMath는 Rocq 증명과 Lean 증명에 대한 보상을 분리합니다. 현재 참여자들은 다음과 같은 시스템을 사용하여 증명을 제출합니다. • 록 • 기대다 서로 다른 증명 시스템, 독립적인 보상 체계, 그리고 형식 검증 작업에 대한 명확한 귀속.

🚨미해결 정리 알림 #10 0x0010 :: 모듈로 성질: 모듈러 역원 베주 항등식을 이용하여 모듈러 곱셈 역원의 존재를 증명하시오. 구체적으로, `m`과 `n`이 서로소일 때, `m * x ≡ 1 (mod n)`을 만족하는 정수 `x`가 존재함을 증명하시오.

♾수학은 DeSci 생태계의 중요한 부분이기도 합니다: @ShentuChain 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 :: sqrt 2의 무리수 ~∃ p,q∈ℕ，p²=2q² 난이도: 중급 보상: 100 $CTK 증명을 제출하거나 펀딩에 참여하세요. 온체인에서 진실을 확인하세요: openmath.shentu.org/OpenMath/T...… #OpenMath #OpenTheorems

🚨공개 정리 알림 #05 0x0005 :: 윌슨 정리 ∀ 소수 p, p>0, (p-1)! ≡ 1 (mod p) 난이도: 중급 보상: 103 $CTK 증명을 제출하거나 펀딩에 참여하세요. 온체인에서 진실을 확인하세요: openmath.shentu.org/OpenMath/T...… #OpenMath #OpenTheorems

🚨공개 정리 알림 #03 0x0003 :: 친구 정리 그래프에서 모든 두 꼭짓점이 정확히 하나의 공통 이웃을 가지고 있다면, 그 그래프는 "친구 그래프"(공통 꼭짓점을 공유하는 삼각형)입니다. >> 권장 난이도: 높음/고급 >> 보상: 200 $CTK 증명을 제출하거나 펀딩에 참여하세요. >> 온체인에서 검증: openmath.shentu.org/OpenMath/T...… #OpenMath #OpenTheorems

⚠️연구자들이 빠르게 움직이고 있습니다: OpenMath에서 이미 18개의 정리가 증명되었습니다. 아직 정리 목록을 확인하지 않으셨다면 지금이 바로 확인할 때입니다. 아직 증명되지 않은 정리들이 많이 남아 있습니다. 원하는 정리를 선택하고, 증명을 작성하여 온체인에 배포하세요. 다음 정리를 누가 증명할지 기대해 봅시다. ⚡️

스테이킹 최대화는 http:/Shentu.org에서 두 가지 간단한 방법으로 가능합니다. 첫째, http:/explorer.shentu.org/vali...로 이동하여 신뢰할 수 있는 검증인을 선택하세요. 둘째, http:/restaking.shentu.org/aut...에서 흐름을 설정하세요. 이렇게 하면 다른 사람들이 여전히 간단한 지표만 쫓는 동안 앞서 나갈 수 있습니다.

🚨 모든 것을 훔친 가짜 렛저 (1/8) 제임스*는 자신이 안전하다고 생각했습니다. 그는 <Ledger> 하드웨어 지갑을 사용했고, 24개의 단어를 비공개로 유지했으며, 암호화폐 보안과 관련된 모든 팁을 따랐습니다. 그러다 어느 날... 패키지가 도착했습니다. 🧵👇

Loading..