Ethereum is a major blockchain-based platform for smart contracts -Turing complete programs that are executed in a decentralized network and usually manipulate digital units of value. Solidity is the most mature high-level smart contract language. Ethereum is a hostile execution environment, where anonymous attackers exploit bugs for immediate financial gain. Developers have a very limited ability to patch deployed contracts. Hackers steal up to tens of millions of dollars from flawed contracts, a well-known example being "The DAO", broken in June 2016. Advice on secure Ethereum programming practices is spread out across blogs, papers, and tutorials. Many sources are outdated due to a rapid pace of development in this field. Automated vulnerability detection tools, which help detect potentially problematic language constructs, are still underdeveloped in this area.We provide a comprehensive classification of code issues in Solidity and implement SmartCheck -an extensible static analysis tool that detects them 1 . SmartCheck translates Solidity source code into an XML-based intermediate representation and checks it against XPath patterns. We evaluated our tool on a big dataset of real-world contracts and compared the results with manual audit on three contracts. Our tool reflects the current state of knowledge on Solidity vulnerabilities and shows significant improvements over alternatives. SmartCheck has its limitations, as detection of some bugs requires more sophisticated techniques such as taint analysis or even manual audit. We believe though that a static analyzer should be an essential part of contract developers' toolbox, letting them fix simple bugs fast and allocate more effort to complex issues.
Earlier, we have shown a strong inhibitory effect of donepezil on K+-current of molluscan neurons (Solntseva et al., Comp Biochem Physiol 144, 319-326, 2007). In the present work, a possible interaction of donepezil with the external mouth of the channel was examined using, as a tool, tetraethylammonium (TEA), a classical antagonist of potassium channels. Experiments were conducted in isolated neurons of snail Helix aspersa using the two-microelectrode voltage-clamp technique. A high-threshold slow-inactivating K+-current involving Ca2+-dependent (I (C)) and Ca2+-independent (I (K)) components was recorded. The I (C) was estimated at 30 mV, and I (K) at 100 mV. The IC(50) values for blocking effect of donepezil on I (C) varied from 5.0 to 8.9 microM in different cells. Corresponding values for I (K) varied from 4.9 to 9.9 microM. The IC(50) values for blocking effect of TEA on I (C) lied in the range of 200 to 910 microM, and on I (K) lied in the range of 100 to 990 microM. The comparison of the effects of donepezil and TEA on the same cells revealed significant correlation between IC(50) values of these effects. The value of Spearman coefficient of correlation (r) was 0.77 for I (C) (P < 0.05), and 0.82 for I (K) (P < 0.05). In the presence of TEA, the effect of donepezil, both on I (C) and I (K), appears significantly weaker than in control solution. Dose-response curves of donepezil effect both on I (C) and I (K) were shifted right along horizontal axis when donepezil was applied in combination with TEA. Results suggest that TEA interferes with donepezil and precludes the occupation by donepezil of its own site. We suppose that the site for donepezil is situated near the TEA site with possible overlap.
Background. Epilepsy is one of the most common neurological diseases globally. The unified concept about the role of hippocampus in the development of pharmacoresistant temporal lobe epilepsy is currently missing. Patients with pharmacoresistant temporal lobe epilepsy is often carried out by invasive electrocorticography to identify an epileptic focus. Registration of bioelectric activity of the hippocampus and comparison of data from the MRI pattern of the patient will determine the neurophysiological correlates of structural changes in hippocampus.Objective. The aim of the work was to determine the neurophysiological correlates of structural changes in the hippocampus in patients with focally caused temporal lobe epilepsy.Design and methods. The study was based on the analysis of the results of extraoperative invasive monitoring of the bioelectrical activity of the cortex and hippocampal complex, performed in 19 patients with focally caused drug-resistant epilepsy. The quantitative analysis included 34 tracks of hippocampal activity.Results. A distinctive feature of the bioelectrical activity of the hippocampal complex with its structural damage is the stable dominance of delta activity, which makes up 40–45 % of the total spectrum power. When the hippocampal complex is included in the epileptic system, high-index epileptiform activity is recorded. In the absence of structural damage to the hippocampal complex, the pattern is predominantly formed by the activity of theta and alpha frequency ranges. However, in the group of patients with the absence of a neuroimaging picture of sclerotic changes in the hippocampus, in 63 % of cases, a neurophysiological pattern of “prolapse” was recorded on the electrocorticogram. The spontaneous activity of the hippocampus had a low coherent relationship with the parameters of activity in the cortex of the ipsilateral and contralateral temporal lobes.Conclusions. The electrophysiological correlate of MR-positive structural changes in the hippocampal complex in drug-resistant epilepsy is the pattern of “loss of bioelectric activity”. Spontaneous hippocampal activity is generated independently of activity in the cortex of the ipsilateral and contralateral temporal lobes.
Different types of voltage-gated ion currents were recorded in isolated neurons of snail Helix pomatia using the two-microelectrode voltage-clamp technique. Application of amyloid-β peptide (1-42, 1-10 μM) in the bathing solution did not change delayed rectifier K(+)-current and leakage current, but enhanced inactivation of Ca(2+)-current and blocked Ca(2+)-dependent K(+)-current.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.