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

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