5 research outputs found
Securing Smart Contract On The Fly
We present Solythesis, a source to source Solidity compiler which takes a
smart contract code and a user specified invariant as the input and produces an
instrumented contract that rejects all transactions that violate the invariant.
The design of Solythesis is driven by our observation that the consensus
protocol and the storage layer are the primary and the secondary performance
bottlenecks of Ethereum, respectively. Solythesis operates with our novel delta
update and delta check techniques to minimize the overhead caused by the
instrumented storage access statements. Our experimental results validate our
hypothesis that the overhead of runtime validation, which is often too
expensive for other domains, is in fact negligible for smart contracts. The CPU
overhead of Solythesis is only 0.12% on average for our 23 benchmark contracts
Isotopic Inventories in Thermal Neutron Spectrum Reactor Designs Suitable for Direct Nuclear Thermal Propulsion
Rocket Lab Mission to Venus
Regular, low-cost Decadal-class science missions to planetary destinations will be enabled by high-ΔV small spacecraft, such as the high-energy Photon, and small launch vehicles, such as Electron, to support expanding opportunities for scientists and to increase the rate of science return. The Rocket Lab mission to Venus is a small direct entry probe planned for baseline launch in May 2023 with accommodation for a single ~1 kg instrument. A backup launch window is available in January 2025. The probe mission will spend about 5 min in the Venus cloud layers at 48–60 km altitude above the surface and collect in situ measurements. We have chosen a low-mass, low-cost autofluorescing nephelometer to search for organic molecules in the cloud particles and constrain the particle composition