https://linoscope.github.io/about/

1<!doctype html><html lang=en><head><meta charset=utf-8><meta name=viewport content="width=device-width,initial-scale=1"><meta name=robots content="noodp"><title>About - The Linoscope Machine</title><meta name=Description content="The Linoscope Machine"><meta property="og:url" content="https://linoscope.github.io/about/">
2<meta property="og:site_name" content="The Linoscope Machine"><meta property="og:title" content="About"><meta property="og:description" content="About Hi, I am Lin Oshitani (押谷 倫), a blockchain protocol researcher and OCaml programmer living in Tokyo.
3Career Protocol Researcher, Nethermind, 2024 - Tezos Core Dev, Marigold, 2022 - 2024 Software Engineer, Indeed.com, 2018 - 2022 M.S.E., Computer Science, Tohoku University, 2018 Links :(fab fa-github fa-fw): GitHub :(fab fa-gitlab fa-fw): GitLab :(fab fa-twitter fa-fw): Twitter :(fab fa-linkedin fa-fw): Linkedin :(far fa-envelope fa-fw): Email
4Publications Environmental Bisimulation for Type-Based Secure Information Flow in λ-Calculus with Declassification (FCS 2026, with Eijiro Sumii et al."><meta property="og:locale" content="en"><meta property="og:type" content="article"><meta property="article:published_time" content="2021-12-22T01:39:04+09:00"><meta property="article:modified_time" content="2021-12-22T01:39:04+09:00"><meta property="og:image" content="https://linoscope.github.io/images/linoscope-profile-square.jpg"><meta name=twitter:card content="summary_large_image"><meta name=twitter:image content="https://linoscope.github.io/images/linoscope-profile-square.jpg"><meta name=twitter:title content="About"><meta name=twitter:description content="About Hi, I am Lin Oshitani (押谷 倫), a blockchain protocol researcher and OCaml programmer living in Tokyo.
5Career Protocol Researcher, Nethermind, 2024 - Tezos Core Dev, Marigold, 2022 - 2024 Software Engineer, Indeed.com, 2018 - 2022 M.S.E., Computer Science, Tohoku University, 2018 Links :(fab fa-github fa-fw): GitHub :(fab fa-gitlab fa-fw): GitLab :(fab fa-twitter fa-fw): Twitter :(fab fa-linkedin fa-fw): Linkedin :(far fa-envelope fa-fw): Email
6Publications Environmental Bisimulation for Type-Based Secure Information Flow in λ-Calculus with Declassification (FCS 2026, with Eijiro Sumii et al."><meta name=twitter:site content="@linoscope"><meta name=application-name content="The Linoscope Machine"><meta name=apple-mobile-web-app-title content="The Linoscope Machine"><meta name=theme-color content="#ffffff"><meta name=msapplication-TileColor content="#da532c"><link rel="shortcut icon" type=image/x-icon href=/favicon.ico><link rel=icon type=image/png sizes=32x32 href=/favicon-32x32.png><link rel=icon type=image/png sizes=16x16 href=/favicon-16x16.png><link rel=apple-touch-icon sizes=180x180 href=/apple-touch-icon.png><link rel=mask-icon href=/safari-pinned-tab.svg color=#5bbad5><link rel=manifest href=/site.webmanifest><link rel=canonical href=https://linoscope.github.io/about/><link rel=stylesheet href=/css/style.min.css><link rel=preload href=https://cdn.jsdelivr.net/npm/@fortawesome/[email protected]/css/all.min.css as=style onload='this.onload=null,this.rel="stylesheet"'><noscript><link rel=stylesheet href=https://cdn.jsdelivr.net/npm/@fortawesome/[email protected]/css/all.min.css></noscript><link rel=preload href=https://cdn.jsdelivr.net/npm/[email protected]/animate.min.css as=style onload='this.onload=null,this.rel="stylesheet"'><noscript><link rel=stylesheet href=https://cdn.jsdelivr.net/npm/[email protected]/animate.min.css></noscript>

6<script type=application/ld+json>{"@context":"http://schema.org","@type":"BlogPosting","headline":"About","inLanguage":"en","mainEntityOfPage":{"@type":"WebPage","@id":"https:\/\/linoscope.github.io\/about\/"},"genre":"page","wordcount":341,"url":"https:\/\/linoscope.github.io\/about\/","datePublished":"2021-12-22T01:39:04+09:00","dateModified":"2021-12-22T01:39:04+09:00","license":"This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.","publisher":{"@type":"Organization","name":"linoscope","logo":{"@type":"ImageObject","url":"https:\/\/linoscope.github.io\/images\/linoscope-profile-square.jpg","width":511,"height":511}},"author":{"@type":"Person","name":"linoscope"},"description":""}</script>

6</head><body data-header-desktop=normal data-header-mobile=normal>

6<script type=text/javascript>(window.localStorage&&localStorage.getItem("theme")?localStorage.getItem("theme")==="dark":"light"==="auto"?window.matchMedia("(prefers-color-scheme: dark)").matches:"light"==="dark")&&document.body.setAttribute("theme","dark")</script>

6<div id=mask></div><div class=wrapper><header class=desktop id=header-desktop><div class=header-wrapper><div class=header-title><a href=/ title="The Linoscope Machine">The Linoscope Machine</a></div><div class=menu><div class=menu-inner><a class="menu-item active" href=/about/>About </a><a class=menu-item href=/posts/>Posts </a><a class=menu-item href=/index.xml title=RSS><i class='fas fa-rss fa-fw'></i> </a><span class="menu-item delimiter"></span><a href=javascript:void(0); class="menu-item theme-switch" title="Switch Theme">
7<i class="fas fa-adjust fa-fw" aria-hidden=true></i></a></div></div></div></header><header class=mobile id=header-mobile><div class=header-container><div class=header-wrapper><div class=header-title><a href=/ title="The Linoscope Machine">The Linoscope Machine</a></div><div class=menu-toggle id=menu-toggle-mobile><span></span><span></span><span></span></div></div><div class=menu id=menu-mobile><a class=menu-item href=/about/ title>About</a><a class=menu-item href=/posts/ title>Posts</a><a class=menu-item href=/index.xml title=RSS><i class='fas fa-rss fa-fw'></i></a><a href=javascript:void(0); class="menu-item theme-switch" title="Switch Theme">
8<i class="fas fa-adjust fa-fw" aria-hidden=true></i></a></div></div></header><main class=main><div class=container><div class="page single special"><h1 class="single-title animate__animated animate__pulse animate__faster">About</h1><div class=content id=content><style>.photos{display:flex;justify-content:center;flex-wrap:wrap;gap:20px}.photos>img{margin-right:40px}</style><div class=photos><img src=/images/linoscope-icon-square.jpg alt="profile picture" title=profile-picture height=200>
9<img src=/images/profile.jpg alt="profile picture" title=profile-picture height=200></div><h2 id=about>About</h2><p>Hi, I am Lin Oshitani (押谷 倫), a blockchain protocol researcher and OCaml programmer living in Tokyo.</p><h2 id=career>Career</h2><ul><li>Protocol Researcher, Nethermind, 2024 -</li><li>Tezos Core Dev, Marigold, 2022 - 2024</li><li>Software Engineer, Indeed.com, 2018 - 2022</li><li>M.S.E., Computer Science, Tohoku University, 2018</li></ul><h2 id=links>Links</h2><p><i class="fab fa-github fa-fw" aria-hidden=true></i>&nbsp;<a href=https://github.com/linoscope/ target=_blank rel="noopener noreffer">GitHub</a> <i class="fab fa-gitlab fa-fw" aria-hidden=true></i>&nbsp;<a href=https://gitlab.com/linoscope target=_blank rel="noopener noreffer">GitLab</a> <i class="fab fa-twitter fa-fw" aria-hidden=true></i>&nbsp;<a href=https://twitter.com/linoscope/ target=_blank rel="noopener noreffer">Twitter</a> <i class="fab fa-linkedin fa-fw" aria-hidden=true></i>&nbsp;<a href=https://linkedin.com/in/lin-oshitani-a256a813a/ target=_blank rel="noopener noreffer">Linkedin</a> <i class="far fa-envelope fa-fw" aria-hidden=true></i>&nbsp;<a href=mailto:[email protected] rel>Email</a></p><h2 id=publications>Publications</h2><ul><li><a href=https://fcs-workshop.github.io/fcs2026/papers/fcs-paper7.pdf target=_blank rel="noopener noreffer">Environmental Bisimulation for Type-Based Secure Information Flow in λ-Calculus with Declassification</a> (FCS 2026, with Eijiro Sumii et al.), Jul 25, 2026</li><li><a href=https://ethresear.ch/t/the-l2-fee-vault-pricing-l1-costs-with-feedback-control/24656 target=_blank rel="noopener noreffer">The L2 Fee Vault: Pricing L1 Costs with Feedback Control</a> (with Ulysse Pavloff), April 15, 2026</li><li><a href=https://ethresear.ch/t/measuring-per-opcode-proving-time/23955 target=_blank rel="noopener noreffer">Measuring Per-Opcode Proving Time</a>, Jan 27, 2026</li><li><a href=https://hackmd.io/@linoscope/pipelining-only-epbs target=_blank rel="noopener noreffer">Pipelining only ePBS</a>, Sep 26, 2025</li><li><a href=https://arxiv.org/abs/2510.02947 target=_blank rel="noopener noreffer">SoK: Preconfirmations</a> (IEEE ICBC 2026, with Aikaterini-Panagiota Stouka et al.), Oct 3, 2025</li><li><a href=https://ethresear.ch/t/blob-sharing-for-based-rollups/22659 target=_blank rel="noopener noreffer">Blob Sharing for Based Rollups</a> (with Anshu Jalan), Jun 23, 2025</li><li><a href=https://eips.ethereum.org/EIPS/eip-7917 target=_blank rel="noopener noreffer">EIP-7917: Deterministic proposer lookahead</a> (with Justin Drake), Mar 28, 2025</li><li><a href=https://ethresear.ch/t/preconfirmation-fair-exchange/21891 target=_blank rel="noopener noreffer">Preconfirmation Fair Exchange</a> (with Conor McMenamin), Mar 7, 2025</li><li><a href=https://ethresear.ch/t/embedded-rollups-part-2-shared-bridging/21461 target=_blank rel="noopener noreffer">Embedded Rollups, Part 2: Shared Bridging</a> (with Conor McMenamin), Jan 17, 2025</li><li><a href=https://ethresear.ch/t/embedded-rollups-part-1-introduction/21460 target=_blank rel="noopener noreffer">Embedded Rollups, Part 1: Introduction</a> (with Conor McMenamin), Jan 17, 2025</li><li><a href=https://ethresear.ch/t/same-slot-l1-l2-message-passing/21186 target=_blank rel="noopener noreffer">Same-Slot L1→L2 Message Passing</a> (with Conor McMenamin et al.), December 6, 2024.</li><li><a href=https://ethresear.ch/t/fast-and-slow-l2-l1-withdrawals/21161 target=_blank rel="noopener noreffer">Fast (and Slow) L2→L1 Withdrawals</a> (with Conor McMenamin et al.), December 5, 2024.</li><li><a href=https://mirror.xyz/linoscope.eth/m-GtfDd_sux7B2j_3l4ddffJRfhoAFbfhLPoxBCFuzk target=_blank rel="noopener noreffer">Understanding Data Availability Sampling</a>, Jul 30, 2024.</li><li><a href=https://ethresear.ch/t/based-preconfirmations-with-multi-round-mev-boost/20091 target=_blank rel="noopener noreffer">Based Preconfirmations with Multi-round MEV-Boost</a>, Jul 18, 2024.</li><li><a href=https://ethresear.ch/t/strawmanning-based-preconfirmations/19695 target=_blank rel="noopener noreffer">Strawmanning Based Preconfirmations</a>, May 31, 2024.</li><li><a href=https://web.archive.org/web/20240719063359/https://www.marigold.dev/post/how-tezos-self-amendment-works target=_blank rel="noopener noreffer">How Tezos Self Amendment Works</a>, May 10, 2023.</li><li><a href=https://linoscope.github.io/writing-a-game-boy-emulator-in-ocaml/ target=_blank rel="noopener noreffer">Writing a Game Boy Emulator in OCaml</a>, Jan 11, 2022.</li></ul><h2 id=recorded-talks>Recorded Talks</h2><ul><li><a href="https://www.youtube.com/watch?v=LWMrLB2UmMw" target=_blank rel="noopener noreffer">Same-slot L1 &lt;> L2 Composability</a> (EthCC[8]), Jul 1, 2025.</li><li><a href="https://youtu.be/oFSUU91BMOg?si=RYsOgBXszrD76e-Q" target=_blank rel="noopener noreffer">EIP-7917: Deterministic proposer lookahead</a> (PEEPanEIP, with Justin Drake), April 15, 2025.</li><li><a href="https://youtu.be/_VeUdk5U9bg?si=rkta-hilg0axxt_s" target=_blank rel="noopener noreffer">

9Embedded Rollups: A New Paradigm for Cross L2 State Sharing</a> (Pop-X Hong Kong), April 8, 2025</li><li>[Japanese] <a href="https://youtu.be/BxM-XHwJTzY?si=_w9oU8NT2JHolWql" target=_blank rel="noopener noreffer">EIPを書いた話</a> (Tané Summit #2), April 10, 2025.</li><li><a href="https://www.youtube.com/watch?v=hFzHqxMar3g" target=_blank rel="noopener noreffer">Writing a Game Boy Emulator in OCaml</a> (Functional Conf 2025), Jan 25, 2025.</li><li><a href="https://www.youtube.com/watch?v=fo2xDLSst_M" target=_blank rel="noopener noreffer">Based Preconfirmations with MR-MEV-Boost</a> (Devcon 7 SEA), Nov 15, 2024.</li><li><a href="https://youtu.be/F5buuRuCCt4?si=XvTbqxFQT5mgON4l" target=_blank rel="noopener noreffer">Exploring Based Preconfirmations Without Gateways</a> (preconf.erence), Nov 11, 2024.</li></ul><h2 id=podcasts>Podcasts</h2><ul><li>[Japanese] <a href=https://open.spotify.com/episode/4Xc8MqxbeLkgcqKVRel9nz target=_blank rel="noopener noreffer">「不条理を解決する技術」としてのブロックチェーン｜ゲスト Lin Oshitani</a> (Tané FM ), Oct 10, 2024.</li></ul><h2 id=blog>Blog</h2><ul><li>[Japanese] <a href=https://bitcoinspace.hatenablog.com/ target=_blank rel="noopener noreffer">Satoshi Nakamoto Fan Club</a> (2014年から書いてる日本語のブログ)</li></ul></div></div></div></main><footer class=footer><div class=footer-container><div class=footer-line>Powered by <a href=https://gohugo.io/ target=_blank rel="noopener noreffer" title="Hugo 0.133.0">Hugo</a> | Theme - <a href=https://github.com/dillonzq/LoveIt target=_blank rel="noopener noreffer" title="LoveIt 0.2.11"><i class="far fa-kiss-wink-heart fa-fw" aria-hidden=true></i> LoveIt</a></div><div class=footer-line itemscope itemtype=http://schema.org/CreativeWork><i class="far fa-copyright fa-fw" aria-hidden=true></i><span itemprop=copyrightYear>2021 - 2026</span><span class=author itemprop=copyrightHolder>&nbsp;<a href=/ target=_blank>linoscope</a></span></div></div></footer></div><div id=fixed-buttons><a href=# id=back-to-top class=fixed-button title="Back to Top"><i class="fas fa-arrow-up fa-fw" aria-hidden=true></i>
10</a><a href=# id=view-comments class=fixed-button title="View Comments"><i class="fas fa-comment fa-fw" aria-hidden=true></i></a></div>

10<script type=text/javascript src=https://cdn.jsdelivr.net/npm/[email protected]/lazysizes.min.js></script>

10<script type=text/javascript src=https://cdn.jsdelivr.net/npm/[email protected]/dist/clipboard.min.js></script>

10<script type=text/javascript src=https://cdn.jsdelivr.net/npm/[email protected]/sharer.min.js></script>

10<script type=text/javascript>window.config={code:{copyTitle:"Copy to clipboard",maxShownLines:60},comment:{}}</script>

10<script type=text/javascript src=/js/theme.min.js></script>

10<script type=text/javascript>window.dataLayer=window.dataLayer||[];function gtag(){dataLayer.push(arguments)}gtag("js",new Date),gtag("config","UA-215393498-2",{anonymize_ip:!0})</script>

10<script type=text/javascript src="https://www.googletagmanager.com/gtag/js?id=

10UA-215393498-2

10" async></script>

10</body></html>