notes.kekeho.net
検索
Search
ダークモード
ライトモード
最近の記事
パスキー
2025年1月30日
Passkey
walt.id SSI Kit
2025年1月30日
waltid
Verifiable_Credential
walt.id IdP Kit
2025年1月30日
mDL
2025年1月30日
did web
2025年1月30日
did key
2025年1月30日
did keri
2025年1月30日
did jolo
2025年1月30日
did ethr
2025年1月30日
did dht
2025年1月30日
Home
❯
Progress
Progress
2025年1月30日
1 min read
システムの進行特性。
Liveness
とも
Program correctness
と合わせて、
並行
アルゴリズムの正しさの要件の1つ
バックリンク
Basil
Byzantine Independence
Partially synchronous system
Liveness