Bitlayer 백서 전문

urages further research into scalable and secure applications built upon Bitcoin. References [1] S. Nakamoto. Bitcoin: A Peer-to-Peer Electronic Cash System, 2009. http://bitcoin.org/ bitcoin.pdf. [2] Linus, Robin, Lukas Aumayr, Alexei Zamyatin, Andrea Pelosi, Zeta Avarikioti, and Matteo Maffei. BitVM2: Bridging Bitcoin to Second Layers. https://bitvm.org/bitvm_bridge.pdf. [3] Robin Linus. BitVM: Compute anything on bitcoin, December 2023. https://bitvm.org/ bitvm.pdf. [4] J. Groth. On the size of pairing-based non-interactive arguments, 2016. https://eprint. iacr.org/2016/260.pdf. [5] Dan Boneh and Victor Shoup. A Graduate Course in Applied Cryptography. https://toc. cryptobook.us/book.pdf. [6] Bitcoin Wiki. Script, 2025. https://en.bitcoin.it/wiki/Script. [7] Kalodner, H., Goldfeder, S., Chen, X., Weinberg, S. M., & Felten, E. W. (2018). Arbi- trum: Scalable, private smart contracts. In 27th USENIX Security Symposium (USENIX Security 18). https://www.usenix.org/system/files/conference/usenixsecurity18/ sec18-kalodner.pdf [8] J. Buchmann, E. Dahmen, S. Ereth, A. H ¨ulsing, and M. R ¨uckert. On the security of the winternitz one-time signature scheme, 2011. https://eprint.iacr.org/2011/191.pdf [9] Wood, G. (2014). ”Ethereum: A Secure Decentralised Generalised Transaction Ledger.” Ethereum Project Yellow Paper. https://ethereum.github.io/yellowpaper/paper.pdf. [10] Rubin, J. (2020). ”BIP-0119: CHECKTEMPLATEVERIFY.” Bitcoin Improvement Propos- als. https://github.com/bitcoin/bips/blob/master/bip-0119.mediawiki. 31