Filter
Exclude
Time range
-
Near
個人的にはPS5アリ派 もちろんゲーミングPCのほうがゲーム以外も幅広くできるけど、何でもできる万能なPCに依存すると単一障害点(SPOF)を生み出してしまい、万が一故障したときに何もできなくなってしまう その観点からゲーム専用機としてPS5を持っておくのは全然アリ
まさか、PS5よりPCのほうがマシとか言って、ゲームやるだけに20万も30万も出すような人達って割と多いの…?? すげぇな〜…(笑) 普通にPS5で満足しちゃうわ(笑)
1
21
Entiendes aunque sea un poco de Arquitectura de software? Sabes lo que es SPOF? Sabes que para una Startup que busco por meses como quitar fricción y aumentar seguridad está medida nos quita toda esa seguridad y nos aumenta a niveles intolerables la fricción?
14
6月1日の論文「Exploiting ML-DSA bugs」が、Daniel J Bernstein教授の、この半年間の思想の集約点。 cr.yp.to/papers.html#mldsa 「Exploiting ML-DSA bugs」の第3章で、NISTが標準化した最新のポスト量子暗号署名 ML-DSA(Dilithium) の実装コード(OpenSSLやmldsa-nativeなど)を実例に挙げ、いかにC言語でのコピペやタイポが致命的であるかを突いている。 ML-DSAは18bitの整数を扱うためにビットシフトや配列の展開(ループ展開)が極めて複雑になる 。 人間がこれを書くと、y[2*i] をコピペして y[2*i 1] を作った際に、右辺のインデックスを1つ直し忘れるだけで、同じ乱数が連続して使われる AABBCCパターンのバグが簡単に混入 。 結果としてDJBはこの論文に添付した実証デモ(Sageスクリプト)で、このバグがある実装からはわずか1コア/1秒で等価な秘密鍵が完全に復元され、任意の偽造署名が作れることを証明した 。 鍵が漏洩する数学的メカニズム(署名アルゴリズムの例)。 一般的なデジタル署名(ML-DSAやECDSAなど)では、署名(Z)を計算する際に、秘密の長期鍵(S)と、メッセージ(C)、そして1回ごとに完全にランダムに変えるべき秘密の乱数(Y)が使われる。 Z=C× S Y もし、連続する2つの署名で同じ乱数(Y)が再利用される(AAパターンになる)と、攻撃者は公開されている情報(署名 Z, Z' と メッセージ C, C')を引き算するだけで、以下のように秘密であるはずの乱数 Y を完全に消去できてしまう。 Z - Z′ = (C - C′) × S これにより、未知の変数が長期の秘密鍵(S)だけになり、高校数学の連立一次方程式を解くのと同じ原理(線形代数)で、誰でも簡単に秘密鍵 S を逆算できてしまう。 さらに重要なこととして、論文のイントロダクション(第1.2節)で、2026年にKobeissi氏によって報告された libcrux(Cryspen社) の脆弱性に触れている点。 libcruxは、数学的/機能的に正しい、パニックが起きないと形式検証されていたはずのライブラリ 。 しかし、それでも脆弱性(署名の可塑性など)が混入していた 。 DJBはここで、従来のこのコードは数学的に正しいと証明したというVerification劇場の限界を指摘している 。 だからこそ、人間がどれだけ検証したのかと主張するのではなく、コンパイラ(Fil-Cなど)や言語仕様のレベルで、メモリのライフタイムやCapability、非可逆な消去(熱力学的蒸発)を強制システムとして組み込まなければポスト量子暗号の複雑さには耐えられない、という結論へつながる。 12月のed25519-cliはシンプルで人間が検証しやすい点のデモ。lib25519.cr.yp.to/ed25519-cl… 6月のlib25519はFil-Cがオーバーヘッドゼロで自動Sanitizeできる幾何学的構造にリファクタリング、自動最適化、viacache分散。 具体的には、ed25519-cliの思想がコアAPIに完全に統合され、X25519/Ed25519両方をカバーするマイクロライブラリの本体に昇華。 自動構成スクリプト群の完成でビルド時にx86/ARM/RISC-Vなどで勝手に専用最適化される。 viacache.netの全面採用によりcr.yp.toへのSPOF/攻撃/検閲を無効化。存在しない(中央)サーバーで勝つ分散構造。 これでML-DSAのような複雑プリミティブを実装する土台を、機械(コンパイラ・リンカ・ローダ)が正しく扱える形に先に整えた。

lib25519-20260614 released: lib25519.cr.yp.to lib25519-cr-yp-to.viacache.n… Many new and improved ARM implementations from Kaushik Nath. Improved integration of verified code from s2n-bignum. Ported to more environments. CPUID tests and compiler lines are now auto-generated.
280
Replying to @brivael
J'entends pour l'efficacité, mais c'est pas safe. Concentrer autant de pouvoir technologique et financier sur un seul homme, c’est faire de lui le SPOF de toute un pan de société. S’il devient taré, s'il change d'avis, fait un mauvais calcul ou un caprice, tout peut s'écrouler.
2
153
Replying to @Footballera0
Think progression will be coming from somewhere else going forwards as it is D-Day re Odegaard. Rice needs an alternative in the squad otherwise he remains a SPOF. Additiobally, 2nd season Zubi, along with Skelly and an auxiliary Merino mean we have progressive options.
1
253
Right my language was a bit ambiguous. My point was that if we’re in the statechain world (eg today’s arks) I’d rather just use Spark. But, arks even pre-covenant can move past that world by putting LN at the leaves. Yes, it’s still emulating the covenant via a large multisig, but unlike statechain-based systems, you can actually use a TEE because you don’t need to key the keys around - the point is to delete them immediately. Otherwise a TEE is a SPOF or has replay vulns.
1
2
115
Most projects harden the server. We delete the target. MarsCat replaces the server with the network itself — apps run across a #P2P relay network with no central node, no fixed entry point, no off switch. 🛡️ DDoS resistance — no attack target 🚫 Censorship resistance — no entry point to block 🔒 #Privacy — identity stays local 💸 Lower ops cost — no DNS, no servers, no SPOF It's not that we're stronger. Attackers just lose their target. #Marscat
22
30
6,509
「自分がいないと現場が回らない」と誇るリーダーは、システム設計として最悪だ。それは有能さの証明ではなく、あなたが組織の「単一障害点(SPOF)」になっているという致命的なエラー報告である。自分がボトルネックになる属人性を排除し、自律分散で回る仕組み(ティール組織)を組め。
73
いく雄いく菜🐶 retweeted
生涯独身の上杉謙信が、なぜ「養子」を迎えたか知ってる?にゃ🐾 自分が死んだ後に家臣が迷わないためなんだ。 後継(バックアップ)を用意して事業継続性(BCP)を担保し、単一障害点(SPOF)を防ぐ戦国の冗長化設計と同じだね! #暗号カフェ #歴史好きと繋がりたい #上杉謙信
1
1
45
バンジーは命懸けだから、ほんまやめた方がいい。安全が保証されてると思うならそれは点検されたジェットコースター。 実際はこいつら大丈夫かな(*´-`)?と思うスタッフに囲まれながら自分で確認が必要。 その場で十分な検査をする時間はないからSPOFで即死が考えられる設備のバンジーはやめておこう。
17 Aug 2025
命の危険あるよって書類にサインしてやったレジャーは ダイビング(国内、海外)とバンジー(海外)だけだが バンジーは若さ故の過ちとしか思えないのは、同じ場所で何人か定期的に死んでる(でも潰れないんだ😳お国柄だね)からかもしれない 実銃の射撃ももしかしたら書いてたかもしれんが読んでない
1
3
721
Replying to @DerRohlSouness
Spof
178
Jun 13
SPOF
3
The fix isn't delegation. Delegation without decision rights is just a permission system wearing a leadership costume. Three things must change: • Decision rights • Domain boundaries • Escalation triggers Build those three. The SPOF disappears.
1
2
In infrastructure design, engineers spend serious effort eliminating SPOFs. Single points of failure. One weak node can bring down the system. You wouldn't ship a product with a SPOF and call it stable. But many orgs do exactly that. And call it leadership.
1
1
Replying to @QuinnyPig @edzitron
Not when everyone outside the US still has work to do and now sees use of Anthropic models as a SPOF. Conveniently, we've gotten three model (or weights( releases from Chinese labs in the last ~24h and I bet Qwen joins in the fun.
107