Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays

International audienceWe analyze the protocol of the Bitcoin blockchain by using the PRISM probabilistic model checker. In particular, we (i) extend PRISM with the ledger data type, (ii) model the behaviour of the key participants in the protocol-the miners-and (iii) describe the whole protocol as a parallel composition of processes. The probabilistic analysis of the model highlights how forks happen and how they depend on specific parameters of the protocol, such as the difficulty of the cryptopuzzle and the network communication delays. Our results confirm that considering transactions in blocks at depth larger than 5 as permanent is reasonable because the majority of miners have consistent blockchains up-to that depth with probability of almost 1. We also study the behaviour of networks with churn miners, which may leave the network and rejoin afterwards, and with different topologies

Review: Efficiency of Physical and Chemical Treatments on the Inactivation of Dairy Bacteriophages

Bacteriophages can cause great economic losses due to fermentation failure in dairy plants. Hence, physical and chemical treatments of raw material and/or equipment are mandatory to maintain phage levels as low as possible. Regarding thermal treatments used to kill pathogenic bacteria or achieve longer shelf-life of dairy products, neither low temperature long time nor high temperature short time pasteurization were able to inactivate most lactic acid bacteria (LAB) phages. Even though most phages did not survive 90°C for 2 min, there were some that resisted 90°C for more than 15 min (conditions suggested by the International Dairy Federation, for complete phage destruction). Among biocides tested, ethanol showed variable effectiveness in phage inactivation, since only phages infecting dairy cocci and Lactobacillus helveticus were reasonably inactivated by this alcohol, whereas isopropanol was in all cases highly ineffective. In turn, peracetic acid has consistently proved to be very fast and efficient to inactivate dairy phages, whereas efficiency of sodium hypochlorite was variable, even among different phages infecting the same LAB species. Both alkaline chloride foam and ethoxylated non-ylphenol with phosphoric acid were remarkably efficient, trait probably related to their highly alkaline or acidic pH values in solution, respectively. Photocatalysis using UV light and TiO2 has been recently reported as a feasible option to industrially inactivate phages infecting diverse LAB species. Processes involving high pressure were barely used for phage inactivation, but until now most studied phages revealed high resistance to these treatments. To conclude, and given the great phage diversity found on dairies, it is always advisable to combine different anti-phage treatments (biocides, heat, high pressure, photocatalysis), rather than using them separately at extreme conditions

Atomic Force Microscopy of Neuron Networks

We imaged uncoated neuron networks by an atomic force microscope in the repulsive regime of contact mode. Images of granule cells and their axons have been clearly revealed with details smaller than 20 nm. The good stability of the sample and the mechanical reproducibility of the microscope allowed the imaging of a neuron culture area of several square microns. By combining tens of images, we were able to reconstruct a highly defined neuronal network. Furthermore, the images were very reproducible over repeated scanning acquisition, demonstrating the mechanical and thermal stability of the instrument-sample system