αααααααααααααΆαααααα»ααααααα·αααααα·αααΆααααααα’αααΈαα αα αααα·ααααΆ blockchain, cryptocurrencies αα·ααααααααααΆαααααΆααα ααα»ααααα’ααααααααααΉααα·αααααΎααα αα αααα·ααααΆααααα ααΎαααΉααα·ααΆαα’αααΈα ααα»α ααααααΆα αα·ααα·ααΈααΎααααΈαα»αααααΆαααα½αααα
ααααααααααααα»αααααΎααΆαααΎαααααααα½ααααα»αα αααααααααααα Altirix Systems ααΆααα·α αα ααΆαααΎαα‘αΎαααααΆααααααΆααααααα»ααααα·ααΆα αα·ααααααΉαααΆααααα½ααα·αα·ααααααα·ααααααααΈαααααααΆααααα αα ααΆαα blockchain α ααΆα αΆαααΆα ααααα»αααΆααααααΆααααΈααΆαααααΆααααααΌααα αααα»ααααααααααΆααααααααααααΈααΈ α αΎαααα’ααααΎααΆαααααΆααααααΌαααΆααααα ααααα·ααααα·ααΆααΆαα½αα¬αα½ααααααααααα αααα»ααααααα·ααααΆαα·α αα αααααΆααααΆαααα αα·α αα ααΆααα glance ααααΌαααΊααΌα ααΆα ααΆαα ααα»αααααα ααααααααααΆαααΆαα α·ααααααααα»ααααααΆααΈααΆαα½ααααα αΌααα½ααααα»αααααΎαααΆααααα’αΆαααααααΎααααααααααΆαα’αα»ααααααααααΆ αααααΌαααΆαααααααααα α‘αΎαα ααΆααααΌα αααααΊααΆααΆαααΏαα»αα α·ααααααΆαααΌααααΌααΆααα αααα»αααααααΆααααααΆαααα»ααααΆαααααααα ααα»ααααααΏαααααΌαα
αααα αΆααΊααΆ blockchain αααα½αααΆααΊααΆα’αααααΆααααααααα·ααα·α ααΌα αααααα·α αα αααααΆααααΆααααα ααΆααααα»α blockchain αα·αααΉαα’αααΈα’αααΈαα·ααααΆααααα ααα αααααΉαααΉαααααααααααααααα·α αα αααααΆααααΆαααααΆααΏααααΆααααααΉαααααααΆαα’αααΈααααα»αα·α (ααΆααααααΆααααααΎαα ααα αΎαα’ααααΆααααΌαααααΆααα αα ) α ααΎααααΈα±αααα·α αα αααααΆααααΆαααααααΎαααΆαααΆαααααΉαααααΌα ααααααΆααααααα½αααΆαααΈααΆααααα blockchain ααααΌαααα’αΆα αα»αα α·αααααΆα αα·ααααααααααΆααα αααα αΆαααααααΌαααΆααααααααΆααααααααΎ oracles ααΌα ααΆ Town Crier αα·α DECO α oracles ααΆαααααα’αα»ααααΆαα±αααα·α αα αααααΆααααΆααααα ααΎαααααΆα blockchain ααΏαα»αα α·αααααΎααααααΆαααΈαααΆαααΈαααααα ααααααααα’αΆα αα»αα α·αααααΆα ααΎαα’αΆα αα·ααΆαααΆαααΆααΆαααααααΊααΆα’ααααααααααααααΆααααα’αΆα αα»αα α·αααααΆαα
Oracles
αααααααΆαα·α αα αααααΆααααΆαααααααα 0.001 btc αα ααΆααΌα bitcoin ααααα’ααα ααααα·αααΎααααΉαααΆααααΆαααααα’αααα αΌαα α·αααααααααΆααααααΆαααα»αααααΈα αα αααα»αααααΉαααα·ααΆαααααααΆαααα½ααααααααααα·αααααΆαα αα·α αα αααααΆααααΆαααααααΌαααΆααααααααααααΆαα’αααΈααααΉαααΆααααααα α αΎααααα αΆαα½αα ααα½αααΎαα‘αΎααα ααΈαααα αααααααααααααΌαααα½αααΆαααααααΆαααα αααααααααααΆααααα»ααααα·ααΆααα αα·α αα αααααΆααααΆααα αα·αααααααΆααΆααΆααααααΆα ααα½αβααΆαβαααα»αβαα·α αα βαααααΆβααααΆαβααβααΆαβαα»ααααΆαβαα·αβααΆβααααβααΉαβααΆαβαα·α?
αα ααααα·ααΆαα’αααΈαααααααααααΆα ααΆα’αΆα ααΆα 2 ααααΆααΈαααΌα ααΆαααααΆαααα·α αα αααααΆααααΆααααα ααΆααααα ααααααααα’αΆα αα»αα α·αααααΆα αααααααααΆαα’αααΈααααααααΆαααααα½αααααΌαααΆααααααΆαα»ααα αααααΆα α αΎααααααΎαααΈααΈαααΊααααΌαααααΆααααα αααααααΆα αααΎααααα»αααααααα½α α αΎααααααΆααααααααΎαααΎαααααααΆαααΈαααααααΆαα αααΎαα αααααααααα·ααααααααΌα ααααΆα ααΎααααΈαααααααααΆααααΆαααααΉαααααΌαααααααααΆα Oracles ααααΌαααΆαααααΎ α§ααΆα ααα Oraclize αααααααΎ TLSNotary (ααΆαααααααααΆαααΆααΈ TLS ααΎααααΈαααααΆααααΆαααααΉαααααΌααααα·αααααα)α ααα»ααααααΆαααααααΆααααααααααΆαααα ααΎ Google α’αααΈ Oraclize α αΎαααΆαα’αααααααΆα αααΎααα ααΎ HabrΓ©α ααααααααααα»αααΉααα·ααΆαα’αααΈ oracles αααααααΎαα·ααΈαααααααααΆααααα·α αααα»αααΆααααααΌαααααααΆαα Town Crier αα·α DECO α α’ααααααααααααΌαααΆααα·αααααΆα’αααΈαααααΆαααααααα·ααααα·ααΆααα oracles ααΆααααΈα ααααΌα ααΆααΆααααααααααααα’α·αα
ααΈαααα»α Crier
Town Crier (TC) ααααΌαααΆαααααΆαααα IC3 (αααα·ααααα½α
ααααΎααααααΆαα CryptoCurrencies αα·ααα·α
αα
αααααΆ) αααα»αααααΆα 2016 αα
CCS'16α αααα·αα
αααααααα TC: αααααααααααΆαααΈααα ααααααα½ααα
αα·α
αα
αααααΆααααΆααα α αΎαααααΌαααααΆααααΆααααααΆαααααααααααα TC ααΊααΌα
ααααΆαα
ααΉαααα αααααα TC ααααΎααααΆαα TEE (Trusted Execution Environment) ααΎααααΈαααααααααΆααααΆαααΆααα
αΆαααα·ααααααα ααααααΎααααα TC αα·αααααΆα’αααΈααααααααΎααΆαααΆαα½α Intel SGX α
Town Crier ααΆαααααααα½ααα
ααΆααααα»α blockchain αα·αααααααα½ααα
αααα»α OS αααα½αααΆααααΆαα - TC Server α
αα·α
αα
αααααΆ TC ααΊαα
ααΎ blockchain α αΎαααΎααα½ααΆαααααααΆααα»ααααααΆαα TC α ααΆααα½αααααααΎααΈ CU (αα·α
αα
αααααΆααααΆαααα’αααααααΎααααΆαα) α αΎααααα‘ααααΆαααααΎαααααΈαααΆαααΈααα TC α αα
ααΆααααα»α TC Server ααΆα Relay ααααααααΎαααΆααααααΆαααααΆα enclave αα·α Internet (bidirectional traffic) α αΎαααααΆαα enclave ααΆαα½α blockchain α Enclave ααΆα progencl αααααΆααΌαααααααααΎαααααΎαααΈ blockchain αα·ααααααΌαααΆααα
ααΆαα blockchain αααααΆαα αααααααΆααΈααΈαα progencl ααΆααααααααααΌααα·α
αα
αααααΆααααΆααα α αΎαα’αα»αααααα»αααΆααα½αα
ααα½αααααααΆα
Intel SGX enclave α’αΆα
ααααΌαααΆααα·αααΆααΆαααααΆαααα
αααααααααΆαα½α API αααααααΎαααΆαααΆααααααΆαα α
ααΌαααααα Ecall αααααααΆαααααααααααα
ααααααα»ααα·αα enclave ααααα·ααααα·ααΌαααααααΆαα αΌααααααΆα
αα α¬αα αΌααααααααΈααΎααααααΎαα‘αΎαα ocall ααααΌαααΆαααααΎααΎααααΈα α
αα»αααΆααααααΆαααααααα
ααΆααααα
ααααααα Ocall ααααΌαβααΆαβααααα·ααααα·βαα
βααΆαβαααα
βαααααα α αΎαβααααΌαβααΆαβα
αΆααβαα»αβααΆβααΆβααΆαβα α
βααΌαααααβαααβαα·αβαα»αβα
α·αααβαααβααΆα αααααΆααααΈ ocall ααααΌαααΆαααααα·ααααα· ααΆααααααααααααααΌαααΆααααααααα
enclave αα·αα
αα
αααα»αααααα Enclave ααΆααααα»ααααα·ααΆααα½αααααΌαααΆαααααααα
ααΆααααααααααΆαα½ααααΆαααΈααααααααΆα enclave αααα½αααΆααααΎααΆαα
αΆαααα TLS ααΆαα½ααααΆαααΈαααααααα
αα·αααααΎααααα·ααααα·ααΆαααααΈαααααΈαααΆααα’αααα
ααΆααααα»αα αααααΆααα TLS (mbedTLS) αα·αααΌα HTTP αααααΆαααΆαααααααααααΌαααΆαααΆαα
αααα
ααΆααααα·ααααΆα SGX α ααΌα
ααααΆαααααααα Enclave ααΆααα·ααααΆαααααα CA ααΆ root (ααααα»ααααα·ααααΆαααααα) ααΎααααΈαααααααααΆαααα·ααααΆαααααααααααΆαααΈαααααΈα
ααααΆαα Request Handler ααα½αααααααΎ datagram αααα»αααααααααααααααααα Ethereum αα·ααααΈαααΆ αα·ααααααΆα αααααΆααααααΆαααααΎαααααα·ααααα·ααΆα Ethereum αααααΆα datagram αααααΆαααααΎαα»α α
α»αα αααααααΆααΆααΆαα½α skTC α αΎααααααΌαααΆαα
Relay α
ααααααααααΌαααα½αααΆαα ααα»α αααααΆααα’αα·αα·αα TCP α ααα»α αααααΆαα Blockchain α α ααα»α αααααΆααα’αα·αα·ααααΊα αΆαααΆα αααΎααααΈαααααΆαααααααΌαααααΆαα αα·αααααΆααααααααΆαα½αα’αα·αα·ααα α’αα·αα·ααααααΎααααΎαααααΆαααααααααΎ ecall αα·αααα½αααΆαααααΆαααααααΆαααα α»αα αααααααΆααα skTC αα½αααΆαα½αααΉα att (α αααααααΆαααααΆαα) αααααΆαααα att ααααΌαααΆααααααααααΆαααααααααΎ Intel Attestation Service (IAS) α αΎαααααΆαααααααΆααααΌαααΆααααααααααΆαααααααααΆαααααααααααΆαααα’αΆα αα»αα α·αααααΆαα α ααα»α αααααΆαα Blockchain αααααααααΆααααααΎα αΌα αα·αααΆααααααα·ααααα·ααΆααα ααΎ blockchain αααααΆααααΆαα ααα αΆα datagrams α α ααααααΊααΆα’αα·αα·αα Ethereum ααααΌαααΆαα αΎαα’αα»ααααΆαα±αα Relay ααααΎα’ααααααααααΆαα½α blockchain ααΆααααααΆαα α RPC α
ααααΎααΆαααΆαα½α TEE, TC α’αα»ααααΆαα±ααα’αααααααΎαααΆααααααααΆα αααΎαααααααααΆ αααα ααα»ααααααααΎαααααΏαααααΎαααΆαααααααΆα 3 ααα ααααα·αααΎααΆαα½αααΉαααΆαααααα½ααα»αααααΏαααΊ 15 tx/sec αααααΆααααααΆαα½αααΉα 20 ααααααΆαααΆα‘ααααααΏαααΎαα‘αΎαααα 65 tx/sec; αααααΆααααΆαααααααααααααΏαααααα·ααααα·ααΆαα’αα·ααααΆαα αααα»α Bitcoin blockchain ααΊ 26 tx/secα
Deco
DECO (Decentralized Oracles for TLS) ααααΌαααΆααααα αΆααα
CCS'20 αααααααΎααΆαααΆαα½αααα ααααααααααΆααααααΆαααααΆαα TLS α ααΆααΆααΆαααΌαααΆααααααΆαα αα·ααα»α
αα·αααΆααααα·ααααααα
DECO ααΆαα½α TLS ααααΎααΆαα’αα·αααααΈααααΈααααααΈ ααΌα
αααααααΆαααΈαααααα αα·ααααΆαααΈαααααα αααααααΆαααα’αα·αααααΈα α αΎαα’αα·αα·ααα’αΆα
αααααΎααα·αααααααααα TLS ααααα·αααΎααΆα
ααααΆαα ααΎααααΈαααααααΆααααα αΆααα DECO ααααΎαα·ααΈααΆαα
αΆααααααΈααααΌααααΆα prover (αα·α
αα
αααααΆααααΆααα) verifier (oracle) αα·α web-server (ααααααα·αααααα)α
αα·ααΈααα DECO ααααΎαααΆαααΊααΆα’ααααααααααααΆααααα½αααΆααα·αααααα D α αΎααααααΆαααα α’ααααααααααααΆααααΆ D ααααΈαααΆαααΈααα TLS S α αααα αΆαα½ααααααΊααΆ TLS αα·αα α»αα αααααααΆααΎαα·ααααααα αΎαααΆαα·ααΆααααααΆααα’αα·αα·αα TLS ααΎααααΈαααααΆααααΆ αα·ααααααβααααΌαβααΆαβααα½αβααΈβαααΆαααΈαβααβαααβααααΉαααααΌα (ααΆαβααααΆαβααβααΆαβαααααΆααβ) α
αα·ααΈααΆα DECO ααααΎααα’αα·αααααΈα KEnc αα·α KMac α αααΆαααΈααααααααααΎααααΎ Q αα αααΆαααΈααααααααΆα ααΆαααααΎαααααΈαααΆαααΈααα R αααααα»ααααααααααααΆαα’αα·αααααΈα ααα»αααααααΆαααΈαααααα αα·ααααΆαααΈαααααΆα KMac ααΌα ααααΆ α αΎααααΆαααΈααααααα’αΆα αααααΎαααΆα TLS α αααααααααΆααααα DECO ααΊααααΌα "ααΆαα" KMac ααΈα’αα·αα·αα (prover) αα αΌααααααΆααααΎααααα ααΉαααααΎα α₯α‘αΌαααα KMac ααααΌαααΆααααα αααααΆα prover αα·αα’ααααααααααααΆαα - KpMac αα·α KvMac α αααΆαααΈαααααα½α KMac ααΎααααΈα’αα·αααααΈαααΆαααααΎααααααααααΎααααα·ααααα·ααΆαααααααααααΉα KpMac β KvMac = KMac α
ααΆααααααΆααααα
αααΆαα
αΆααααααΈααααΌα ααΆαααααΆααααααΌααα·αααααααααΆααααΆαααΈαααααα αα·ααααΆαααΈαααααΉαααααΌαααΆαα’αα»ααααααΆαα½αααΉαααΆαααΆααΆαα»ααααα·ααΆαα
αα
ααααα·ααΆαα’αααΈαααααααα oracle αα·ααααααΆα ααα»αααααααΆαααα·αα’αΆα
ααααΆααααα»αααΆααα·ααΆαα’αααΈ Chainlink αααααΆααααααααααΎααααααΆααα·ααααααΆαααααααΆαα oracle αααααααΌαααααΆααΆαα½α Ethereum, Bitcoin αα·α Hyperledger ααααα·αααΌαααΈαααΌαα»αα ααααααααααααααααααααα’αΆα
ααααΌαααΆαααααΎαα
αα
α»ααααααααΆαα αααα»ααααααΆαα½αααααΆααα ααΎααααΈααΆααΆααΆαααΌααα»ααααα·ααΆα Chainlink αααααααΌα oracle ααΈαα½αααααα
αΌααα½ααααα»ααα·α
αα
ααΆαααΎααααΈα
ααααΌαααααααααα (ααΆααΆααα αα·αα―ααα)α ααα―αααααααΌαααΆαααααΎααΎααααΈαααααΎαα αααααααΆαα½αααααααααααΆαααΆααααααα
α
α·ααααααααα½αααα
ααααααααΎαα·ααααααα ααΎααααΈααα½αααΆαα
ααααΎα ααΆα
αΆαααΆα
ααααα»αααΆααααα
αΌαααααΆααΌαα αααααααΆαααααααΆααα’αααα oracles αααααααααΆαα
Chainlink αααααααΉαααααΎ PoC DECO ααααΌαααααααααααΎαααααα·ααΈα α·ααααααααα»αα·ααααααΆαααΌα ααΆ Mixicles ααΆααΎαα αα ααααααααααααααΆαααΆαα αααααα ααΎ Forbes ααΆ Chainlink ααα½αααΆα DECO ααΈααΆαααα·ααααΆααα Cornell α
ααΆαααΆααααα αΆαααΎ oracles
ααΆαααααααααααα·αα»αααααααΆα ααΆαααΆααααα αΆαααΆααααααααΎ Town Crier ααααΌαααΆαα αΆαααα»αααΆα
-
ααΆαα αΆαααααααΌαααααΆααααααααααΆααα Rogue αα ααΎααααΆαα TEE α
ααααΉαααΆαααααΆαααΆααααα αΆαα ααΆααααααΌαααΌααα·α αα αααααΆααααΆααααα·αααααΉαααααΌααααα ααααΆαα TEE ααΌα ααααα’αααααΆααααα αΆααααααα½αααΆαααΆαα αΌαααααΎααααΆααααααΆααααΉαα’αΆα ααααα·ααααα·αα·α αα αααααΆααααΆααα (αααααααααα) ααααΆαααααα½αααΎαα·αααααααααααΆααα·ααααΈαα αααααΆαααΆαααΆααααα ααααααααα‘ααααΉαααααΌαααΆαα’αα·αααααΈααααααααΎααα―ααα α αΎααααααααΆααααα½ααααααΎααααΈα αΌαααααΎαα·ααααααααααααααΊααααΌαααα ααααΆαααΆααααααΆαααα ααααααα‘αα/ααααααα
ααΆαααΆαααΆααααααΆααααΉαααΆαααΆααααα αΆαααααα½αααΆα ααα·ααααΆααααα½ααα·αα·αααααΆαααααΉαααααΌαααααΌααααααΆαααΈααΆαααα α’αΆααααααΆααα αα α»ααααααα αααα’αΆα αααααα ααΆααααααααΎαααααααΆαααα’αΆααααααΆααααα’αΆααααααΆααα·α αα αααααΆααααΌαααΆαααααααααααΆααααααααΌααα·α αα αααααΆα -
ααΆαβααα βααααΆαβααΆαβααααΆααβααααΌβαβα’αααααβαααααΆααβααααβαα·α αα αααααΆα
ααααΉαααΆαααααΆαααΆααααα αΆαα ααα αΆααααααΆααααααα·α αα αααααΆααααΆαααααααΌαααΆαααααα·ααααα·ααΆααα·αααα·α αΌααα ααΆααααααΆαααΆααα·α αα αααααΆαααα»ααααααααααααΆαα’αα·αααααΈααα ααΆααααα αααα»αα α’αααααΆααααα αΆααααααΆαααα½αααΆααααααααααααΎααααΆαα α’αΆα ααααααααααααΆαααΆαααααΆαααααααα»α αα·ααααααααααα·ααααα·ααΆα α αΎαα’αΆα αααααααΆααΎα’αΆαα»ααααααα½αααΆααααΌαααΆααααα αΌα αα·ααα·ααΈαα·α αα αααααΆααααΆααααα½αααΆααααΌαααΆαααααΎααααΆαα α αΆααααΆααααΈαααααΌααα·α αα αααααΆααααΆαααααααααα½αα―α αα·ααααααααα αα αααααααααααΆααΆαααΆααΆααΆαααα
ααΆαααΆαααΆααααα»αααΆαααΆααΆααΌαααΆαααΏααΆααααααααΆαααααα½αα―αα -
ααΆαααΆααααα αΆαααΆαααΆαααα αα ααα
ααααααβαα·αααβααβααΆαβααΆαβαααα αΆαβαααβααααΎβααΆαβαααα½αβαα·αα·αααβα’αααβα αα αΆαβαα½αβαα·αβααΆαβα αΌαβααααΎβααααΆααβαααααΆααβαααα»αβααααΆααΈαααΌβααααααα α§ααΆα αααααααΆαααΆααααα αΆαααααααααΊ Prime αα·α Probe α
αααααΆααΆααααα αΆαα- t0: α’αααααΆααααα αΆααααααααααΆαααα·ααααααααΆααααΌαααααααΎαααΆααααααααααα
- t1: αααααααααααααα·ααααα·ααΌαααΆαα½αααΉαααΆαα αΌαααααΎα’αααα αα αΆααααα’αΆαααααααΎαα·αααααααααΎαααααααααααααα (ααααααΈα)α αααααΆααααααΆαααααααΆααααααΌαααΆαααααΎαααΎααααααα’ααααΎααααααααΈαα αααα»αβα§ααΆα αααβαααα»αβααΌαβααα keybit = 0 αα·αβα’αΆααααααΆα X αααα»αβαα½αβααααΆααβαααααΆαα 2 ααααΌαβααΆαβα’αΆαα αα·ααααααβαααβαααααΆβαα»αβαααα»α X ααααΌαβααΆαβαααα»αβαα βαααα»αβααααΆααβαααααΆαα αααβααααΆααβααααΌαβαα·ααααααβαααβααΆαβααΈαα»αα
- t2: α’αααααΆααααα αΆααα·αα·αααααΎαααΆααΎααααααΆαα½αααααααΆαααααααΆααααααααΆααααααΌαααΆαααααααα αα β αααααΆααααααααααααααααααΎα αααααααΌαααΆαααααΎαααααΆαααΆααααααααααααΆα αΌαααααΎααααΆααα αααααααΎααααα·ααααα·ααΆααααααααααααααααΆαα keybit ααΈαα½αα α’αααααΆααααα αΆαααα½αααΆαααααΆααααΌαα
ααΆαααΆαααΆαααΆαααΆααααα αΆαα Intel SGX ααΆαααΆαααΆαααΆααααααΆααααΉαααΆαααΆααααα αΆαααΆαααΆαααα
αα αααααααΆαααΆαααΆααααα½ααα·αα·αααααααΉαααα·ααΆααααααααΆααααααΉαααααΆαααααααΆαα ααα»ααααααΆαααΆααααα αΆααααα Prime αα·α Probe ααΉααα
ααααααΎαααΆα ααΈαααααα’αααααΆααααα αΆααααα½ααα·αα·αααααααΉαααα·ααΆαααααααΆαααααααΆααααααααΎαααΆαααααααΆαα α αΎαα
αααααααααααΆαααααααΆααααΆαα½ααααααααααα
ααΌα
ααααα αΎα αα
αααααα αα·αααΆαααΆαααΆαααΆααα½αα±αααα»αα
α·ααααααααΆααααΉαααΆαααΆααααα αΆααααααα
ααΆαααΆααααα αΆαααΌα ααΆ Spectre αα·α Foreshadow (L1TF) αααααααα ααΉα Prime αα·α Probe ααααΌαααΆαααααααΆαααααααα αα½αααα’αα»ααααΆαα±ααα’αααα’αΆααα·ααααααααΈα’αααα αα αΆαααααΆαααααααΆααααΆααααααΆαααααΆααΈααΈααΈα ααΆαααΆαααΆααααααΆααααΉαααΆαααΆαααααααα Spectre-v2 ααααΌαααΆααααααααΌα αααααΆαααααα·αααααΆααααααΆααααΉαααΆαααΆααααα αΆαααΆααααΈααααα
ααΆααααααΉα DECO ααΆαα αΆααααααΈααααΌααααααααΌαααΆαααΆααΆαα»ααααα·ααΆαα
- Prover Integrityα α’ααααααααααααΆαααααααααΌαααΆααα½α α αΌααα·αα’αΆα ααααααααααααααααΆααααααααΎααααααααΆαααΈααα αα·ααα·αα’αΆα αααααΆαα±αααααΆαααΈαααααα½αααααααΎαα·αααααΉαααααΌα α¬ααααΎααααα·αααααΉαααααΌαα ααααααααΎααααΉαααααΌαα αααααααΌαααΆαααααΎααΆααααααααΌααααΎααααΆααααΆαααΈααα αα·α prover α
- αα»α αα·αααΆαααα’ααααααααααααΆααα α’ααααααααααααΆαααααααααΌαααΆααα½α α αΌααα·αα’αΆα αααααΆαα±ααα’ααααααααααααΆααααα½αααΆαα ααααΎααα·αααααΉαααααΌαααα
- α―αααααΆαα α’ααααααααααααΆαααααααααΌαααΆααα½α α αΌααα·αα·αααααααααααΆαααΆααΆααα (ααααΎαααααααααΆαααΈααα)α
αα αααα»α DECO ααΆαααααΆαααΆααααααααααααΆαα αΆααααααΆαα ααΆα αααααα»ααααααααα’αΆα ααααΎαα ααΆαα ααΈαα½α ααΆαα½αααΉαααΆαα αΆααααααΈααααΌα α’ααααααααααααΆααα’αΆα αααααΎαα’ααααααααΆααααααααΆαααΈααααααααααΎ nonce ααααΈα ααααααΆαααΆααααα αααααΆααααΈααΆαα αΆαααα α’ααααααααααααΆααααααΌαααααΉαααα’ααααΎααΌα ααΆαααααααΆαααααααΆα (α’αΆααααααΆα IP) α ααΌα αααα ααΆαααααΆαααααααΆαααααααΆαα’ααααααααααααΆαα αα·ααααΆαααΈαααααααΌαααααΆαααΆαααΈααΆααααα αΌαα ααΆα αααα αααααααΌαααΆααααααα αααααααΎααααΌααααΈα
ααΆααααααααααα oracles
Town Crier ααΊααα’ααααΎααΆαααααΎααΆαααΆαα½α enclave αα αααα»αααααα server ααααααααα DECO α’αα»ααααΆαα±ααα’ααααααααααααΆααααΆαααααΉαααααΌααααααααααΎααααα·αααααααααααααΎααΆαα αΆααααααΈααααΌα αα·αααΆαα’αα·αααααΈααα·αααααααααααααΎααααααΈαα ααΆααααααααααα oracles ααΆαααααααααΌαααΆαα’αα»ααααααΆααααααααα·αα·α ααααααΌα ααΆαααααα: ααΆαα’αα»αααα αα»ααααα·ααΆα ααΆαα αααΆα αα·αααΆαα’αα»ααααααΆαααααααα
ααΈαααα»α Crier
Deco
ααΆααααααα
ααΏαααΆααα»α (0.6 αα·ααΆααΈααΎααααΈαααα
αα)
ααΊαααΆα (10.50s ααΎααααΈαααα
αααα·ααΈααΆα)
αα»ααααα·ααΆα
αα»ααααα·ααΆααα·α
ααΆα
ααΆααααααΆααα»ααααα·ααΆα
ααΆαα
αααΆαααααΆα
ααααααΆα
αααααΆα
ααΆαααΆααααααα
ααΆαααΆααααααααΉααα·ααα
ααααΎααΆαααΆαα½ααααΆαααΈαααααΆαα½ααααααΆαααα TLS
ααΆαααααααα ααΎααααΈααααΎααΆαααΆαα½α DECO ααΆαα αΆααααααΈααααΌαααΊααααΌαααΆαααΆαααΆα αα αααααα‘αΎαααΆαααα LAN ααΆααααΌαα αααΆαααα 0.37 αα·ααΆααΈ αααααΆααα’αααααααααααααΆααααΈααΆααααααΆααααααΌαααΆααααααΎαα‘αΎα 2PC-HMAC ααΆαααααα·αααααΆα (0,13 αα·ααΆααΈαααα»ααα½αααααα)α ααΆαα’αα»αααααααα DECO α’αΆαααααααΎαα»αα’αααααααααΆαα TLS αααααΆα ααα ααααα·ααααααα―ααα αα·αααΆααααα»αααααΆαααααααα»ααΆααααααΆαααααααα·ααΈααΆααααΆαααα½αα ααΆαααααΎααααΆαααααααα·ααΈαααααΎααααααΈαααΈ IC3 ααΆα§ααΆα αααα ααΆαααααααα·ααΈααΆαααΆαααα LAN α αααΆαααααααα αα 10,50 αα·ααΆααΈα ααΆαααΆααααααααα Town Crier α αααΆαααααααα αα 0,6 αα·ααΆααΈααΎααααΈαααα αααααααα·ααΈααααααααααΆ αααααΏαααΆα DECO αααα αα 20 ααα α’αααΈαααΆααα’ααααααΎααααΆ TC ααΉαααΆααααααΏαα
ααααα·αα»αα ααΆαααΆααααα αΆαααΎ Intel SGX enclave (ααΆαααΆααααα αΆαααΆαααΆαααα αα αα) ααααΎαααΆα α αΎαα’αΆα αααααΆαα±ααααΆαααΆαααΌα ααΆααα·αααααΆαααααα’αααα αΌααα½ααααα·α αα αααααΆααααΆαααα ααΆααααααΉα DECO ααΆαααΆααααα αΆααααααΆααααααΉαααΆαα αΆααα ααΆα αααΊα’αΆα ααααΎαα ααΆα ααα»ααααααΆαααααΎααααΆααααααΌααααΈααΆαααααααααΆαααΆααααα αΆααααααααα·αααΆαα’αααΈααΆααα’ααα ααΌα αααα DECO ααΆααα»ααααα·ααΆαααΆαα
ααΆαα αααΆαααααΆαα αααααααα§ααααααααααΆαααα Intel SGX ααΊαααααααΆααααααααααΆαααα‘αΎααα·ααΈααΆααα αααα»α DECO α αααα αΎαααΆααΌαα ααα»ααα TC ααΆααααααααααααΆαα
ααΆαα’αα»ααααα ααΎααααΈααααΎααΆαααΆαα½α Town Crier α§ααααααα·ααααααααΆαααα TEE ααΊααααΌαααΆαααΆαααΆαα α§ααΆα ααα Intel SGX ααααΌαααΆαααΆααααααΎαααα½ααΆα Intel Core processor ααααΆααααΈ 6 αα·ααααααα DECO α’αα»ααααΆαα±ααα’αααααααΎααΆαααΆαα½αα§αααααααΆαα½α αααααΈααΆααΆαααΆαααααα DECO αααααααΎ TEE αααααα αααααΆαααααΎαααΆααααα α ααΆαα αΆααααααΈααααΌααααα DECO α’αΆα α αααΆαααααααα ααα»ααααααααα·αααΆαα’αααΈαααααααααα ααΉαααΆαααααααααααααΉααααα TC ααΌα αααα DECO ααΊααΆαααααααααΆαα
ααα ααααΈααααα·ααααΆα
ααΆααααα‘ααααΎα oracles ααΈαααΆα ααααα‘ααααΈααααΆ α αΎααααααααααα½αααΆααΎαααααααα·αα·α ααααα ααα½α 2020 ααΆα αααΆααααΆααααΆ Town Crier ααΊααΆαααΆα DECO ααΎααΈαααα»αα αααααα½ααα·αααα»α DECO ααΆαααΆαααΏααΆααααΆααα»αααΈαα·αααααΆααα»ααααα·ααΆαααααααΆα ααααααααααΆα αα·αααΆαααααααααΆα αααααΈααΆααΆααααα ααα·ααΈααΆαααΈααΆααΈα’αΆα α αααΆαααααααα αα·αααΆααα»ααα·ααααα·ααααααΆ α§ααΆα ααα ααααα·ααααα·ααΆαααααααααΆαα½αααα’αα·αααααΈαα TC ααΊααΏαααΆα DECO ααα»ααααααΆαααΆααααααααααααΆαααΆααααα αΆαααΆαααΆαααα αα ααααααΎα±ααααΆααΆαααΉαααΆαααααααΆααααααΆααα ααΆααααΌαααααααΌαααΆααααααα·α αΆαααΆααΆ DECO ααααΌαααΆαααααΆααα αααα»αααααααΆ ααααΆα 4 α αΎααα·αααΆααααααααΆαααααααααΆααααΆαααααααα»ααα ααΎααααΈα αΆαααα»αααΆααΆααΆααα»ααααα·ααΆααααααα Town Crier ααΆαααααΆαααΆααααα αΆαα’αααααααα XNUMX ααααΆαααα αΎα α αΎαααΆαααααααΆααααΆαααααΎαααααααΆα αααΎα ααΌα ααααααΆαααααΎααααΆααααααααΆαα αααα»αααααααααΆα αααΎαααΊααΆαααΆααα»αααα·αααα
ααααα: www.habr.com