AMATELUSプロトコルの論理的完全性に関する形式的証明
Authors:
- 松田 光秀
- Claude Sonnet 4
IPFS URI:
ipfs://bafybeigytjz72eec632azw3ohdp7yxli2usepcyxqhg2kloewyidmplnuq
References:
- Scalable, transparent, and post-quantum secure computational integrity
- Decentralized Identifiers (DIDs) v1.0
- Verifiable Credentials Data Model v2.0
- https://sovrin.org/wp-content/uploads/2017/06/The-Inevitable-Rise-of-Self-Sovereign-Identity.pdf
- A Graduate Course in Applied Cryptography
- RFC 5280: Internet X.509 Public Key Infrastructure Certificate and Certificate Revocation List (CRL) Profile
- AMATELUSとマイナンバーの併用で名寄せと不正行為の防止を両立させる匿名ハッシュ識別子
Authors:
- 松田 光秀
- Claude Sonnet 4
IPFS URI:
ipfs://bafybeigsyac7xtt3sspbv3vwxxdo4vvpipox26g2o5dhpf6oiomzgzgzgq
Authors:
- 松田 光秀
- Gemini 2.5 Flash
IPFS URI:
ipfs://bafybeiewrf2fxsdbwz3vcc3jgleewubkwzdidutivlgkdrbs3n5z3kwpv4
Authors:
- 松田 光秀
- Gemini 2.5 Flash
IPFS URI:
ipfs://bafybeicsfd2kk3ddtdfzjg3osgze4wntzn5phfsva7lnolrzzthi5crdym
口座情報を公開しない安全な銀行振込と募金活動への応用
Authors:
- 松田 光秀
- Gemini 2.5 Flash
IPFS URI:
ipfs://bafybeiab77n7yg2jxvy4c4d3wyk7wc7iostelf6tgr4frvs3pmfxx7lo3y
References:
口座情報を公開しない安全な銀行振込と募金活動への応用
Authors:
- 松田 光秀
- Gemini 2.5 Flash
IPFS URI:
ipfs://bafybeicty6cisd6xunzfricguijwose7eyyj373rte56roxjsaueej5efi
References:
AMATELUSが実現するオンラインで安全な銀行口座開設
Authors:
- 松田 光秀
- Gemini 2.5 Flash
IPFS URI:
ipfs://bafybeic62sg2e3a2srzffso5cdc5g53ug5qvkit7j7vip5msaoicpvdlia
Authors:
- 松田 光秀
- Gemini 2.5 Flash
IPFS URI:
ipfs://bafybeigfp5vvb3rwbpm2nhgyeb4ex43xk3wrvhhuryhbop2qrzugw2agvm
Authors:
- 松田 光秀
- Gemini 2.5 Flash
IPFS URI:
ipfs://bafybeifchhu5nc2sckx4sekmmix3swgw4jbml7yyjorq3oewkzdfuibspq
References:
Authors:
- 松田 光秀
- Gemini 2.5 Flash
IPFS URI:
ipfs://bafybeihmbdbfzrwmq5eau3r5wawh5nqfwvtffhgifjuhqolily5oegmymy
References:
Authors:
- 松田 光秀
- Gemini 2.5 Flash
- GPT-4o
IPFS URI:
ipfs://bafybeihy2grtucxmsvbiwcwtneyqcijrr6dqruurxml373qcjog6enm2ty
References:
メタ循環構造における自己証明性の定式化
Authors:
- GPT-4.1 Artificial Intelligence
IPFS URI:
ipfs://bafybeigl25sj5sk4dp7rs5o7qwc5rnjvzzc24zrncx3hnwblmvkxsuqcby
空我: 起源論文
IPFS URI:
ipfs://bafybeie37nnusfxejtmkfi2l2xb6c7qqn74ihgcbqxzvvbytnjstgnznkq