際際滷shows by User: camlspotter / http://www.slideshare.net/images/logo.gif 際際滷shows by User: camlspotter / Fri, 26 Feb 2021 18:38:13 GMT 際際滷Share feed for 際際滷shows by User: camlspotter Tezos 008 Edo protocol /slideshow/tezos-008-edo-protocol/243504057 slides-210226183813
Japanese presentation explaining new features of Tezos protocol 008 Edo: Ticket, BLS12-381 and ZKP, and Sapling.]]>
Japanese presentation explaining new features of Tezos protocol 008 Edo: Ticket, BLS12-381 and ZKP, and Sapling.]]> Fri, 26 Feb 2021 18:38:13 GMT /slideshow/tezos-008-edo-protocol/243504057 camlspotter@slideshare.net(camlspotter) Tezos 008 Edo protocol camlspotter Japanese presentation explaining new features of Tezos protocol 008 Edo: Ticket, BLS12-381 and ZKP, and Sapling. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/slides-210226183813-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Japanese presentation explaining new features of Tezos protocol 008 Edo: Ticket, BLS12-381 and ZKP, and Sapling.
Tezos 008 Edo protocol from Jun Furuse
]]> 387 0 https://cdn.slidesharecdn.com/ss_thumbnails/slides-210226183813-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Plebeia, a new storage for Tezos blockchain state /slideshow/plebeia-a-new-storage-for-tezos-blockchain-state/239443392 2020-11-24-nomadic-research-seminar-plebeia-201124165747
際際滷s used for Nomadic Research Seminar, 2020-11-24.]]>
際際滷s used for Nomadic Research Seminar, 2020-11-24.]]> Tue, 24 Nov 2020 16:57:47 GMT /slideshow/plebeia-a-new-storage-for-tezos-blockchain-state/239443392 camlspotter@slideshare.net(camlspotter) Plebeia, a new storage for Tezos blockchain state camlspotter 際際滷s used for Nomadic Research Seminar, 2020-11-24. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/2020-11-24-nomadic-research-seminar-plebeia-201124165747-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> 際際滷s used for Nomadic Research Seminar, 2020-11-24.
Plebeia, a new storage for Tezos blockchain state from Jun Furuse
]]> 122 0 https://cdn.slidesharecdn.com/ss_thumbnails/2020-11-24-nomadic-research-seminar-plebeia-201124165747-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 SCaml update 2020-06 /slideshow/scaml-update-202006/236296911 scaml-200627115624
SCaml, a subset of OCaml for Tezos blockchain smart contracts, update in 2020-06]]>
SCaml, a subset of OCaml for Tezos blockchain smart contracts, update in 2020-06]]> Sat, 27 Jun 2020 11:56:24 GMT /slideshow/scaml-update-202006/236296911 camlspotter@slideshare.net(camlspotter) SCaml update 2020-06 camlspotter SCaml, a subset of OCaml for Tezos blockchain smart contracts, update in 2020-06 <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/scaml-200627115624-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> SCaml, a subset of OCaml for Tezos blockchain smart contracts, update in 2020-06
SCaml update 2020-06 from Jun Furuse
]]> 142 0 https://cdn.slidesharecdn.com/ss_thumbnails/scaml-200627115624-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Tezso and on-chain governanace: towards "Kyoto amendment" /slideshow/tezso-and-onchain-governanace-towards-kyoto-amendment/209481690 slides-191223053629
Exposed in BlockChainJam 2019, at Yasuda hall, the University of Tokyo. This talk focuses on the on-chain governance of Tezos which permits it evolve quickly.]]>
Exposed in BlockChainJam 2019, at Yasuda hall, the University of Tokyo. This talk focuses on the on-chain governance of Tezos which permits it evolve quickly.]]> Mon, 23 Dec 2019 05:36:29 GMT /slideshow/tezso-and-onchain-governanace-towards-kyoto-amendment/209481690 camlspotter@slideshare.net(camlspotter) Tezso and on-chain governanace: towards "Kyoto amendment" camlspotter Exposed in BlockChainJam 2019, at Yasuda hall, the University of Tokyo. This talk focuses on the on-chain governance of Tezos which permits it evolve quickly. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/slides-191223053629-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Exposed in BlockChainJam 2019, at Yasuda hall, the University of Tokyo. This talk focuses on the on-chain governance of Tezos which permits it evolve quickly.
Tezso and on-chain governanace: towards "Kyoto amendment" from Jun Furuse
]]> 114 0 https://cdn.slidesharecdn.com/ss_thumbnails/slides-191223053629-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Comparison of Proof of Stakes /slideshow/comparison-of-proof-of-stakes/207621501 pos-191219080432
Presented at JCBA seminar on 2019-12-18 I apologize in advance if something technically wrong or incomplete exist in the slides. The main point is that PoS consists of many technical aspects and each PoS do different design choises. Understading one PoS impelmentation never means that you understand the others. ]]>
Presented at JCBA seminar on 2019-12-18 I apologize in advance if something technically wrong or incomplete exist in the slides. The main point is that PoS consists of many technical aspects and each PoS do different design choises. Understading one PoS impelmentation never means that you understand the others. ]]> Thu, 19 Dec 2019 08:04:32 GMT /slideshow/comparison-of-proof-of-stakes/207621501 camlspotter@slideshare.net(camlspotter) Comparison of Proof of Stakes camlspotter Presented at JCBA seminar on 2019-12-18 I apologize in advance if something technically wrong or incomplete exist in the slides. The main point is that PoS consists of many technical aspects and each PoS do different design choises. Understading one PoS impelmentation never means that you understand the others. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/pos-191219080432-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Presented at JCBA seminar on 2019-12-18 I apologize in advance if something technically wrong or incomplete exist in the slides. The main point is that PoS consists of many technical aspects and each PoS do different design choises. Understading one PoS impelmentation never means that you understand the others.
Comparison of Proof of Stakes from Jun Furuse
]]> 91 0 https://cdn.slidesharecdn.com/ss_thumbnails/pos-191219080432-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 SCaml compiler /slideshow/scaml-compiler-202904765/202904765 tezos-scw-201911-scaml-191207223246
SCaml is yet another compiler from OCaml to Michelson, a smart contract VM language for Tezos blockchain.]]>
SCaml is yet another compiler from OCaml to Michelson, a smart contract VM language for Tezos blockchain.]]> Sat, 07 Dec 2019 22:32:46 GMT /slideshow/scaml-compiler-202904765/202904765 camlspotter@slideshare.net(camlspotter) SCaml compiler camlspotter SCaml is yet another compiler from OCaml to Michelson, a smart contract VM language for Tezos blockchain. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/tezos-scw-201911-scaml-191207223246-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> SCaml is yet another compiler from OCaml to Michelson, a smart contract VM language for Tezos blockchain.
SCaml compiler from Jun Furuse
]]> 64 1 https://cdn.slidesharecdn.com/ss_thumbnails/tezos-scw-201911-scaml-191207223246-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 SCaml compiler /slideshow/scaml-compiler/198312934 scaml-191127082823
Yet another compiler from OCaml programming language to Michelson VM for Tezos blockchain.]]>
Yet another compiler from OCaml programming language to Michelson VM for Tezos blockchain.]]> Wed, 27 Nov 2019 08:28:23 GMT /slideshow/scaml-compiler/198312934 camlspotter@slideshare.net(camlspotter) SCaml compiler camlspotter Yet another compiler from OCaml programming language to Michelson VM for Tezos blockchain. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/scaml-191127082823-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Yet another compiler from OCaml programming language to Michelson VM for Tezos blockchain.
SCaml compiler from Jun Furuse
]]> 104 1 https://cdn.slidesharecdn.com/ss_thumbnails/scaml-191127082823-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Blockchain and Smart Contract Simulation /slideshow/blockchain-and-smart-contract-simulation/189057305 slides-191031235801
One of keynote presentations at AsiaSim 2019, Singapore]]>
One of keynote presentations at AsiaSim 2019, Singapore]]> Thu, 31 Oct 2019 23:58:01 GMT /slideshow/blockchain-and-smart-contract-simulation/189057305 camlspotter@slideshare.net(camlspotter) Blockchain and Smart Contract Simulation camlspotter One of keynote presentations at AsiaSim 2019, Singapore <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/slides-191031235801-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> One of keynote presentations at AsiaSim 2019, Singapore
Blockchain and Smart Contract Simulation from Jun Furuse
]]> 177 2 https://cdn.slidesharecdn.com/ss_thumbnails/slides-191031235801-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Blockchain and formal verification (Japanese) /slideshow/blockchain-and-formal-verification-japanese/167952896 tezos-summer-school-jp-190831121142
際際滷s used in PPL Summer School 2019]]>
際際滷s used in PPL Summer School 2019]]> Sat, 31 Aug 2019 12:11:42 GMT /slideshow/blockchain-and-formal-verification-japanese/167952896 camlspotter@slideshare.net(camlspotter) Blockchain and formal verification (Japanese) camlspotter 際際滷s used in PPL Summer School 2019 <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/tezos-summer-school-jp-190831121142-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> 際際滷s used in PPL Summer School 2019
Blockchain and formal verification (Japanese) from Jun Furuse
]]> 889 8 https://cdn.slidesharecdn.com/ss_thumbnails/tezos-summer-school-jp-190831121142-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Blockchain and Formal verification (English) /slideshow/tezos-summer-school-at-flolac19/167952855 tezos-summer-school-en-190831121130
際際滷s used in FLOLAC'19 http://flolac.iis.sinica.edu.tw/flolac19/doku.php]]>
際際滷s used in FLOLAC'19 http://flolac.iis.sinica.edu.tw/flolac19/doku.php]]> Sat, 31 Aug 2019 12:11:30 GMT /slideshow/tezos-summer-school-at-flolac19/167952855 camlspotter@slideshare.net(camlspotter) Blockchain and Formal verification (English) camlspotter 際際滷s used in FLOLAC'19 http://flolac.iis.sinica.edu.tw/flolac19/doku.php <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/tezos-summer-school-en-190831121130-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> 際際滷s used in FLOLAC&#39;19 http://flolac.iis.sinica.edu.tw/flolac19/doku.php
Blockchain and Formal verification (English) from Jun Furuse
]]> 1348 9 https://cdn.slidesharecdn.com/ss_thumbnails/tezos-summer-school-en-190831121130-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Tezos Hands on 2019-06-15 Exercise (Japanese) /slideshow/tezos-hands-on-20190615-exercise-japanese/149872588 handson-2019-06-15-190615164652
Tezos Hands on 2019-06-15 Exercise]]>
Tezos Hands on 2019-06-15 Exercise]]> Sat, 15 Jun 2019 16:46:52 GMT /slideshow/tezos-hands-on-20190615-exercise-japanese/149872588 camlspotter@slideshare.net(camlspotter) Tezos Hands on 2019-06-15 Exercise (Japanese) camlspotter Tezos Hands on 2019-06-15 Exercise <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/handson-2019-06-15-190615164652-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Tezos Hands on 2019-06-15 Exercise
Tezos Hands on 2019-06-15 Exercise (Japanese) from Jun Furuse
]]> 317 1 https://cdn.slidesharecdn.com/ss_thumbnails/handson-2019-06-15-190615164652-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Tezos Hands on 2019-06-15 (Japanese) /slideshow/tezos-hands-on-20190615-japanese/149872231 talk-2019-06-15-190615164533
Tezos Hands on 2019-06-15 "What is Tezos"]]>
Tezos Hands on 2019-06-15 "What is Tezos"]]> Sat, 15 Jun 2019 16:45:33 GMT /slideshow/tezos-hands-on-20190615-japanese/149872231 camlspotter@slideshare.net(camlspotter) Tezos Hands on 2019-06-15 (Japanese) camlspotter Tezos Hands on 2019-06-15 "What is Tezos" <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/talk-2019-06-15-190615164533-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Tezos Hands on 2019-06-15 &quot;What is Tezos&quot;
Tezos Hands on 2019-06-15 (Japanese) from Jun Furuse
]]> 267 1 https://cdn.slidesharecdn.com/ss_thumbnails/talk-2019-06-15-190615164533-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Tezos and its formal verification (Japanese) /camlspotter/tezos-and-its-formal-verification-japanese tezos-formal-verification-190520135606
Presentation at Endowed Chair for Blockchain Innovation, the University of Tokyo, 2019-05-20]]>
Presentation at Endowed Chair for Blockchain Innovation, the University of Tokyo, 2019-05-20]]> Mon, 20 May 2019 13:56:06 GMT /camlspotter/tezos-and-its-formal-verification-japanese camlspotter@slideshare.net(camlspotter) Tezos and its formal verification (Japanese) camlspotter Presentation at Endowed Chair for Blockchain Innovation, the University of Tokyo, 2019-05-20 <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/tezos-formal-verification-190520135606-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Presentation at Endowed Chair for Blockchain Innovation, the University of Tokyo, 2019-05-20
Tezos and its formal verification (Japanese) from Jun Furuse
]]> 1006 1 https://cdn.slidesharecdn.com/ss_thumbnails/tezos-formal-verification-190520135606-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Tezos hands-on : Tezos exercise /slideshow/tezos-handson-tezos-exercise/144988683 handson-190511154814
The second set of the slides used at Tezos hands-on at Singularity Hive, Osaka, 2019-05-11]]>
The second set of the slides used at Tezos hands-on at Singularity Hive, Osaka, 2019-05-11]]> Sat, 11 May 2019 15:48:14 GMT /slideshow/tezos-handson-tezos-exercise/144988683 camlspotter@slideshare.net(camlspotter) Tezos hands-on : Tezos exercise camlspotter The second set of the slides used at Tezos hands-on at Singularity Hive, Osaka, 2019-05-11 <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/handson-190511154814-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> The second set of the slides used at Tezos hands-on at Singularity Hive, Osaka, 2019-05-11
Tezos hands-on : Tezos exercise from Jun Furuse
]]> 527 3 https://cdn.slidesharecdn.com/ss_thumbnails/handson-190511154814-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Tezos hands-on : Tezos overview /slideshow/tezos-handson-tezos-overview/144988475 talk-190511154701
The first set of the slides used at Tezos hands-on at Singularity Hive, Osaka, 2019-05-11]]>
The first set of the slides used at Tezos hands-on at Singularity Hive, Osaka, 2019-05-11]]> Sat, 11 May 2019 15:47:01 GMT /slideshow/tezos-handson-tezos-overview/144988475 camlspotter@slideshare.net(camlspotter) Tezos hands-on : Tezos overview camlspotter The first set of the slides used at Tezos hands-on at Singularity Hive, Osaka, 2019-05-11 <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/talk-190511154701-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> The first set of the slides used at Tezos hands-on at Singularity Hive, Osaka, 2019-05-11
Tezos hands-on : Tezos overview from Jun Furuse
]]> 547 2 https://cdn.slidesharecdn.com/ss_thumbnails/talk-190511154701-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Tezos: Self-amending crypt ledger (Japanese) /slideshow/tezos-selfamending-crypt-ledger-japanese/133537582 blockchain-night-tezos-190227104802
A short talk about Tezos in Japanese, presented at "The Blockchain Night" #001 in Tokyo, 2019-02-27]]>
A short talk about Tezos in Japanese, presented at "The Blockchain Night" #001 in Tokyo, 2019-02-27]]> Wed, 27 Feb 2019 10:48:02 GMT /slideshow/tezos-selfamending-crypt-ledger-japanese/133537582 camlspotter@slideshare.net(camlspotter) Tezos: Self-amending crypt ledger (Japanese) camlspotter A short talk about Tezos in Japanese, presented at "The Blockchain Night" #001 in Tokyo, 2019-02-27 <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/blockchain-night-tezos-190227104802-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> A short talk about Tezos in Japanese, presented at &quot;The Blockchain Night&quot; #001 in Tokyo, 2019-02-27
Tezos: Self-amending crypt ledger (Japanese) from Jun Furuse
]]> 324 3 https://cdn.slidesharecdn.com/ss_thumbnails/blockchain-night-tezos-190227104802-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 ブロックチェ`ンと侘塀編^ /slideshow/ss-130960932/130960932 blockchain-and-formal-verification-190208044135
Overview of blockchain and formal verification efforts over it. In Japanese. ブロックチェ`ン室gとその芦畠來を隠^する侘塀編^の函りMみについてちょっとだけB初。コンピュ`タサイエンスの僥何伏から垪伏(ただしこの蛍勸のプロをく)が鵝]]>
Overview of blockchain and formal verification efforts over it. In Japanese. ブロックチェ`ン室gとその芦畠來を隠^する侘塀編^の函りMみについてちょっとだけB初。コンピュ`タサイエンスの僥何伏から垪伏(ただしこの蛍勸のプロをく)が鵝]]> Fri, 08 Feb 2019 04:41:35 GMT /slideshow/ss-130960932/130960932 camlspotter@slideshare.net(camlspotter) ブロックチェ`ンと侘塀編^ camlspotter Overview of blockchain and formal verification efforts over it. In Japanese. ブロックチェ`ン室gとその芦畠來を隠^する侘塀編^の函りMみについてちょっとだけB初。コンピュ`タサイエンスの僥何伏から垪伏(ただしこの蛍勸のプロをく)が鵝 <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/blockchain-and-formal-verification-190208044135-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Overview of blockchain and formal verification efforts over it. In Japanese. ブロックチェ`ン室gとその芦畠來を隠^する侘塀編^の函りMみについてちょっとだけB初。コンピュ`タサイエンスの僥何伏から垪伏(ただしこの蛍勸のプロをく)が鵝
ブロックチェ`ンと侘塀編^ from Jun Furuse
]]> 979 1 https://cdn.slidesharecdn.com/ss_thumbnails/blockchain-and-formal-verification-190208044135-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Recent tezos core developments /camlspotter/recent-tezos-core-developments recenttezoscoredevelopments-190208013600
Overview of recent Tezos core development around 2019-02.]]>
Overview of recent Tezos core development around 2019-02.]]> Fri, 08 Feb 2019 01:36:00 GMT /camlspotter/recent-tezos-core-developments camlspotter@slideshare.net(camlspotter) Recent tezos core developments camlspotter Overview of recent Tezos core development around 2019-02. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/recenttezoscoredevelopments-190208013600-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Overview of recent Tezos core development around 2019-02.
Recent tezos core developments from Jun Furuse
]]> 424 2 https://cdn.slidesharecdn.com/ss_thumbnails/recenttezoscoredevelopments-190208013600-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Challenges in blockchain certification (Nov 19, 2018 for TPP2018) /slideshow/challenges-in-blockchain-certification-nov-19-2018-for-tpp2018/123746895 tpp-181122215839
Blockchains are fault-tolerant open distributed databases with stored procedures. The fact they are permissionless and need an internal currency to achieve data replication makes them targets of choice for hackers. Formal verification techniques like theorem proving are required to achieve financial-grade security in blockchains. This presentation shows the challenges in certifying blockchain components. Uploaded behalf of Diego.]]>
Blockchains are fault-tolerant open distributed databases with stored procedures. The fact they are permissionless and need an internal currency to achieve data replication makes them targets of choice for hackers. Formal verification techniques like theorem proving are required to achieve financial-grade security in blockchains. This presentation shows the challenges in certifying blockchain components. Uploaded behalf of Diego.]]> Thu, 22 Nov 2018 21:58:39 GMT /slideshow/challenges-in-blockchain-certification-nov-19-2018-for-tpp2018/123746895 camlspotter@slideshare.net(camlspotter) Challenges in blockchain certification (Nov 19, 2018 for TPP2018) camlspotter Blockchains are fault-tolerant open distributed databases with stored procedures. The fact they are permissionless and need an internal currency to achieve data replication makes them targets of choice for hackers. Formal verification techniques like theorem proving are required to achieve financial-grade security in blockchains. This presentation shows the challenges in certifying blockchain components. Uploaded behalf of Diego. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/tpp-181122215839-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Blockchains are fault-tolerant open distributed databases with stored procedures. The fact they are permissionless and need an internal currency to achieve data replication makes them targets of choice for hackers. Formal verification techniques like theorem proving are required to achieve financial-grade security in blockchains. This presentation shows the challenges in certifying blockchain components. Uploaded behalf of Diego.
Challenges in blockchain certification (Nov 19, 2018 for TPP2018) from Jun Furuse
]]> 391 1 https://cdn.slidesharecdn.com/ss_thumbnails/tpp-181122215839-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 OCamlOScope: a New OCaml API Search /slideshow/ocamloscope/39320014 ocamloscope-ocaml-2014-140920081343-phpapp01
This is a presentation used in OCaml 2014, about a new OCaml API search engline, OCamlOScope.]]>
This is a presentation used in OCaml 2014, about a new OCaml API search engline, OCamlOScope.]]> Sat, 20 Sep 2014 08:13:43 GMT /slideshow/ocamloscope/39320014 camlspotter@slideshare.net(camlspotter) OCamlOScope: a New OCaml API Search camlspotter This is a presentation used in OCaml 2014, about a new OCaml API search engline, OCamlOScope. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/ocamloscope-ocaml-2014-140920081343-phpapp01-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> This is a presentation used in OCaml 2014, about a new OCaml API search engline, OCamlOScope.
OCamlOScope: a New OCaml API Search from Jun Furuse
]]> 1237 1 https://cdn.slidesharecdn.com/ss_thumbnails/ocamloscope-ocaml-2014-140920081343-phpapp01-thumbnail.jpg?width=120&height=120&fit=bounds presentation 000000 http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 https://public.slidesharecdn.com/v2/images/profile-picture.png https://cdn.slidesharecdn.com/ss_thumbnails/slides-210226183813-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/tezos-008-edo-protocol/243504057 Tezos 008 Edo protocol https://cdn.slidesharecdn.com/ss_thumbnails/2020-11-24-nomadic-research-seminar-plebeia-201124165747-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/plebeia-a-new-storage-for-tezos-blockchain-state/239443392 Plebeia, a new storage... https://cdn.slidesharecdn.com/ss_thumbnails/scaml-200627115624-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/scaml-update-202006/236296911 SCaml update 2020-06