Twitter | Search | |
Sg
Co-founder: Cryptoeconomics Lab || Network Economics Researcher: (, ) || Learning Isabelle/HOL for great good
84,130
Tweets
2,029
Following
5,035
Followers
Tweets
Sg 22m
Somehow I feel "Model checking of permissionless atomic state machine replication" has different color from concurrent computing theorem proving coz involving game theory (e.g. "Griefing Factor" by ). I'm crazy in provable cryptoeconomics. Let's just elaborate more
Reply Retweet Like
Sg retweeted
Kelvin Fichter 7h
Replying to @_sgtn
I never really did much proof-based math in school so I have to pick it up as I go. Just means I need to buy more math textbooks!
Reply Retweet Like
Sg retweeted
Kelvin Fichter 7h
Replying to @_sgtn
Well I'm definitely still learning. I think the MoreVP stuff needs to be taken in a stronger direction (either fully formal or fully informal). Currently it's somewhere in the middle and it's not entirely satisfying. But we're all learning!
Reply Retweet Like
Sg 4h
Replying to @syuhei_hiya
グラデーションとトレードオフですね
Reply Retweet Like
Sg 5h
Plasma 2層目のコントラクト、一層目に依存するからdecentralizedじゃないとな
Reply Retweet Like
Sg 6h
“The DFINITY ‘Blockchain Nervous System’” by
Reply Retweet Like
Sg 7h
I wanna make github for theorem prover. Process must be shared.
Reply Retweet Like
Sg 8h
I really wonder how learned formal verification, and really want to know how he's prototyping his theorems and assumptions step by step. I swear I tip a lot for his youtube live proving 😂😂😂
Reply Retweet Like
Sg 8h
参加登録したものの何話そうか
Reply Retweet Like
Sg 8h
Scrapbox Drinkup #5 Fukuoka Editionに参加を申し込みました!
Reply Retweet Like
Sg 10h
QR脆弱性、リアル決済で絨毯爆撃されたら困るな
Reply Retweet Like
Sg retweeted
生塩研一 11h
気を付けろ!QRコードに脆弱性? その深刻さと騙されないための対策。まったく同一のQRコードで、2つのURLに飛ばせられる。それぞれのURLに飛んでいく確率も制御できる。QRコードを撮影した場合、QRコード認識アプリが読み取ったURLを、目で見て確認するべき。
Reply Retweet Like
Sg 11h
暗号通過によって地方や途上国のエンジニアが強くなると予想したら、現実は先進国のエンジニアが地方や途上国に住んで世界を飛び回りはじめた
Reply Retweet Like
Sg 11h
Replying to @_sgtn
How to understand theorem: Take time, and Prove it by yourself
Reply Retweet Like
Sg 12h
If one insist "Don't talk about how to regulate, code is law", I agree, and additionally I suggest we must think about how Nations and World Balance must "involve" them to their society. Coz the existence of ETH/ERC20 zk transaction in Rinkeby testnet implies ETH is AML violated.
Reply Retweet Like
Sg retweeted
財布 12h
グンマに仮想通貨持ち込んでぼろ儲けしようと思ったけど、あそこ電気ないからダメだわ
Reply Retweet Like
Sg 12h
Enignmaとかいうグンマ地域通貨はない
Reply Retweet Like
Sg 12h
Replying to @Ohtac @joemphilips
Enignmaのコンセンサスアルゴリズムにそういう仕組みが入ってないなら逆に理由が気になるし、彼らこそそういうムダのないルートチェーン研究してそうですね
Reply Retweet Like
Sg 12h
Replying to @_sgtn
*hypotheses* and *conjecture*
Reply Retweet Like
Sg 12h
Replying to @_sgtn
Theorems are oftenly form if *inductive conditional*
Reply Retweet Like