This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
package Server { | |
class App { | |
get_encription_key() | |
post_message() | |
} | |
class Enclave { | |
OnceCell<[u8; 32]> SECRET_KEY | |
ecall_get_encryption_key() <<ECall>> | |
ecall_decrypt() <<ECall>> | |
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
class Block { | |
hash | |
parentHash | |
number | |
nonce | |
miner | |
difficulty | |
gasLimit | |
gasUsed | |
timestamp |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
rectangle ブロック0 as b0 | |
rectangle ブロック1 as b1 | |
rectangle ブロック2 as b2 | |
rectangle ブロック3 as b3 | |
b0 <- b1 | |
b1 <- b2 | |
b2 <- b3 | |
rectangle TX as tx0 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
class console<<(L,orchid) library>> { | |
log() | |
} | |
class Greeter { | |
} | |
Greeter .> console |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
class Account<<EOA>> { | |
address: Address | |
} | |
class Ownable { | |
owner: Address | |
} | |
class Greeter { | |
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
class Base { | |
-_addr : address | |
+calculateVariable() | |
+updateAddress(addr: address) | |
} | |
class Satellite { | |
+calculateVariable() | |
} | |
Base .> Satellite |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
rectangle ブロック0 as b0 | |
rectangle ブロック1 as b1 | |
rectangle ブロック2 as b2 | |
rectangle ブロック3 as b3 | |
b0 <- b1 | |
b1 <- b2 | |
b2 <- b3 | |
rectangle TX as tx0 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
left to right direction | |
rectangle "データ収集" { | |
collections "個人情報" as p1 | |
collections "個人情報" as p2 | |
collections "個人情報" as p3 | |
database DB as db1 | |
database DB as db2 | |
database DB as db3 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
package Attestation { | |
together { | |
class AttestationReport { | |
create() | |
} | |
class ServerVerifier { | |
verify_server_cert() | |
} | |
class ClientVerifier { | |
client_auth_root_subjects() |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
file "サーバ証明書" as serverCert { | |
rectangle scert [ | |
Attestation | |
レポート | |
---- | |
署名 | |
] | |
} | |
file "クライアント証明書" as clientCert { | |
rectangle ccert [ |
NewerOlder