paper
Ethereum's Recursive Length Prefix in ACL2
Alessandro Coglio
cs.LO
Description
Recursive Length Prefix (RLP) is used to encode a wide variety of data in Ethereum, including transactions. The work described in this paper provides a formal specification of RLP encoding and a verified implementation of RLP decoding, developed in the ACL2 theorem prover. This work has led to improvements to the Ethereum documentation and additions to the Ethereum test suite.
Similar Books
paper
Quantitative mode stability for the wave equation on the Kerr-Newman spacetime
Damon Civin
Quantitative mode stability for the wave equation on the Kerr-Newman spacetime
paper
Risk-Aware Objective-Based Forecasting in Inertia Management
Haipeng Zhang, Ran Li, Yan Chen, Zhongda Chu, Mingyang Sun
Risk-Aware Objective-Based Forecasting in Inertia Management
paper
Chainalysis: Geography of Cryptocurrency 2023
Chainalysis
Chainalysis: Geography of Cryptocurrency 2023
paper
Periodicity in Cryptocurrency Volatility and Liquidity
Peter Reinhard Hansen, Chan Kim, Wade Kimbrough
Periodicity in Cryptocurrency Volatility and Liquidity
paper
Impact of Geometric Uncertainty on the Computation of Abdominal Aortic Aneurysm Wall Strain
Saeideh Sekhavat, Mostafa Jamshidian, Adam Wittek, Karol Miller
Impact of Geometric Uncertainty on the Computation of Abdominal Aortic Aneurysm Wall Strain
paper
Simulation-based Bayesian inference with ameliorative learned summary statistics -- Part I
Getachew K. Befekadu
Simulation-based Bayesian inference with ameliorative learned summary statistics -- Part I