eSTARK: Extending STARKs with Arguments

STARK is a widely used transparent proof system that uses low-degree tests for proving the correctness of a computer program. STARK consumes an intermediate representation known as AIR that is more appropriate for programs with a relatively short and structured description. However, an AIR is not able to succinctly express non-equality constraints, leading to the incorporation of unwanted polynomials. We present the eSTARK protocol, a new probabilistic proof that generalizes the STARK family through the introduction of a more generic intermediate representa- tion called eAIR. We describe eSTARK in the polynomial IOP model, which com- bines the optimized version of the STARK protocol with the incorporation of three arguments into the protocol. We also explain various techniques that enhance the vanilla STARK complexity, including optimizations applied to polynomial computa- tions, and analyze the tradeoffs between controlling the constraint degree either at the representation of the AIR or inside the eSTARK itself

Depletion of thiols leads to redox deregulation, production of 4-hydroxinonenal and sperm senescence: a possible role for GSH regulation in spermatozoa

[EN] We hypothesized that thiols and particularly glutathione (GSH) are essential for the regulation of stallion sperm functionality. To test this hypothesis, we initially investigated the relationship between sperm function and GSH content, revealing highly significant correlations between GSH, sperm viability, motility, and velocity parameters (P < 0.001). Furthermore, the deleterious effects of GSH depletion using menadione and 1,3 dimethoxy 1,4, naphtoquinone (DMNQ) were able to be prevented by the addition of cysteine, but no other antioxidant. Pre-incubation with cysteine prevented menadione and DMNQ induced damage to sperm membranes after 1 h (P < 0.001; P < 0.05) and after 3 h of incubation (P < 0.001, P < 0.05). Pre-incubation with cysteine ameliorated both the menadione- and DMNQ-induced increase in 4-hydroxynonenal (P < 0.001). As cysteine is a precursor of GSH, we hypothesized that stallion spermatozoa are able to synthesize this tripeptide using exogenous cysteine. To test this hypothesis, we investigated the presence of two enzymes required to synthesize GSH (GSH and GCLC) and using western blotting and immunocytochemistry we detected both enzymes in stallion spermatozoa. The inhibition of GCLC reduced the recovery of GSH by addition of cysteine after depletion, suggesting that stallion spermatozoa may use exogenous cysteine to regulate GSH. Other findings supporting this hypothesis were changes in sperm functionality after BSO treatment and changes in GSH and GSSG validated using HPLC-MS, showing that BSO prevented the increase in GSH in the presence of cysteine, although important stallion to stallion variability occurred and suggested differences in expression of glutamate cysteine ligase. Mean concentration of GSH in stallion spermatozoa was 8.2 ± 2.1 μM/109 spermatozoa, well above the nanomolar ranges per billion spermatozoa reported for other mammals.SIThe authors received financial support for this study from the Ministerio de Economía y Competitividad-FEDER, Madrid, Spain, grants AGL2013-43211-R, AGL2017-83149-R Junta de Extremadura-FEDER (European Regional Development Fund) (GR 18008 and IB16030). PMM is supported by a pre-doctoral grant from the Ministerio de Educación, Cultura y Deporte, Madrid Spain FPU13/03991. COF is supported by a post-doctoral grant from the Ministerio de Economía y Competitividad “Juan de la Cierva” IJCI-2014-21671, JMO-R holds a PhD grant from Valhondo Calaaf Foundation, Cáceres Spain

Actualidad y prospectiva de la investigación científica en el Centro Universitario Amecameca de la Universidad Autónoma del Estado de México

Con responsabilidad, se organizó un programa cuya finalidad fuera publicitar con transparencia dichos avances, a través de un esfuerzo de rendición de cuentas a la comunidad inmediata, la universitaria, y a la comunidad abierta, la sociedad que la principal referencia para tal efecto. El programa se concretiza a través del presente libro, conformado con una inspiración de investigación multidisciplinaria; sin embargo, para llegar a tal fin, el reto es realizar el proceso de búsqueda y generación de conocimiento transitando hacia la colaboración de los cuerpos académicos, que puedan construir nuevos conocimientos fortalecidos por la convergencia de diferentes campos del saber. En consecuencia, la primera etapa de esta estrategia es la publicidad de los trabajos investigativos ejercidos, para hacer un balance al día, pero también proyectar el futuro de cada campo y área del conocimiento. La organización explicativa está organizada por tres bloques representativos del quehacer en la generación de conocimiento del Centro Universitario, un primer bloque centra el interés en las humanidades, educación y sustentabilidad; el segundo bloque lo integra la reflexión científica sobre la construcción democrática, derechos humanos y equidad de género; en el tercer segmento se destina a la seguridad alimentaria, salud pública y sistemas agropecuarios. La actualidad de la investigación eleva la producción lograda y lo que en el momento se encuentra en construcción y los alcances que produce para la docencia, la investigación misma, y para la sociedad en general. La prospectiva es un área que todos los capítulos desarrollan con el propósito de delinear los alcances innovadores por andar en teoría, metodología e incluso en los saberes mismo

Reducing the environmental impact of surgery on a global scale: systematic review and co-prioritization with healthcare workers in 132 countries

Abstract Background Healthcare cannot achieve net-zero carbon without addressing operating theatres. The aim of this study was to prioritize feasible interventions to reduce the environmental impact of operating theatres. Methods This study adopted a four-phase Delphi consensus co-prioritization methodology. In phase 1, a systematic review of published interventions and global consultation of perioperative healthcare professionals were used to longlist interventions. In phase 2, iterative thematic analysis consolidated comparable interventions into a shortlist. In phase 3, the shortlist was co-prioritized based on patient and clinician views on acceptability, feasibility, and safety. In phase 4, ranked lists of interventions were presented by their relevance to high-income countries and low–middle-income countries. Results In phase 1, 43 interventions were identified, which had low uptake in practice according to 3042 professionals globally. In phase 2, a shortlist of 15 intervention domains was generated. In phase 3, interventions were deemed acceptable for more than 90 per cent of patients except for reducing general anaesthesia (84 per cent) and re-sterilization of ‘single-use’ consumables (86 per cent). In phase 4, the top three shortlisted interventions for high-income countries were: introducing recycling; reducing use of anaesthetic gases; and appropriate clinical waste processing. In phase 4, the top three shortlisted interventions for low–middle-income countries were: introducing reusable surgical devices; reducing use of consumables; and reducing the use of general anaesthesia. Conclusion This is a step toward environmentally sustainable operating environments with actionable interventions applicable to both high– and low–middle–income countries

Twisted Edwards elliptic curves for zero-knowledge circuits

Circuit-based zero-knowledge proofs have arose as a solution to the implementation of privacy in blockchain applications, and to current scalability problems that blockchains suffer from. The most efficient circuit-based zero-knowledge proofs use a pairing-friendly elliptic curve to generate and validate proofs. In particular, the circuits are built connecting wires that carry elements from a large prime field, whose order is determined by the number of elements of the pairing-friendly elliptic curve. In this context, it is important to generate an inner curve using this field, because it allows to create circuits that can verify public-key cryptography primitives, such as digital signatures and encryption schemes. To this purpose, in this article, we present a deterministic algorithm for generating twisted Edwards elliptic curves defined over a given prime field. We also provide an algorithm for checking the resilience of this type of curve against most common security attacks. Additionally, we use our algorithms to generate Baby Jubjub, a curve that can be used to implement elliptic-curve cryptography in circuits that can be validated in the Ethereum blockchain.This research has been partially funded by the projects Project RTI2018-102112-B-100 (AEI/FEDER, UE), i3Market (H2020-ICT-2019-2 grant number 871754) and TCO-RISEBLOCK (PID2019- 110224RB-I00)

Astaxanthin protects primary hippocampal neurons against noxious effects of A β-oligomers

© 2016 Pedro Lobos et al.Increased reactive oxygen species (ROS) generation and the ensuing oxidative stress contribute to Alzheimer's disease pathology. We reported previously that amyloid-β peptide oligomers (AβOs) produce aberrant Ca2+ signals at sublethal concentrations and decrease the expression of type-2 ryanodine receptors (RyR2), which are crucial for hippocampal synaptic plasticity and memory. Here, we investigated whether the antioxidant agent astaxanthin (ATX) protects neurons from AβOs-induced excessive mitochondrial ROS generation, NFATc4 activation, and RyR2 mRNA downregulation. To determine mitochondrial H2O2 production or NFATc4 nuclear translocation, neurons were transfected with plasmids coding for HyperMito or NFATc4-eGFP, respectively. Primary hippocampal cultures were incubated with 0.1 M ATX for 1.5 h prior to AβOs addition (500 nM). We found that incubation with ATX (≤10 M) for ≤24 h was nontoxic to neurons, evaluated by the live/dead assay. Preincubation with

Sistema de Control de Acceso basado en Hardware y Software Libre para la Detección de potenciales infectados de COVID-19

The pandemic generated by the SARS-COVD-19 virus has affected humanity. Thus, at the global, regional and local levels, different measures have been adopted for its detection, containment and elimination. Consequently, different campaigns, strategies and solutions have been generated, based on different technological developments, ranging from the use of artificial intelligence to electronic components. Likewise, many technological solutions have been based on the early detection of symptoms generated by possible infection by COVID-19; therefore, they have responded by creating tools and platforms that allow users to have real-time information on their body temperature. Therefore, this work presents a full-scale functional prototype, based on free hardware and software platforms, which allows users to know their body temperature in real time, and allowed to determine that, although there are proprietary solutions in the market, it is possible to propose new technologies that with aspects of innovation allow low-income organizations to access low-cost emerging technologies that enhance their processes and services. Second, it was found that one of the most common effects for detecting possible COVID-19 infection is fever.&nbsp;La pandemia generada por el virus SARS-COVD-19 ha afectado a la humanidad. Así, a nivel global, regional, y local, se han adoptado diferentes medidas para su detección, contención, y eliminación. En consecuencia, se han generado diferentes campañas, estrategias y soluciones, basadas en diferentes desarrollos tecnológicos, que van desde el uso de la inteligencia artificial hasta componentes electrónicos. Así mismo, muchas soluciones tecnológicas se han basado en la detección temprana de síntomas generados por posible contagio por COVID-19; por lo tanto, han dado respuestas creando herramientas y plataformas que permitan a los usuarios tener información en tiempo real de su temperatura corporal. Por lo anterior, este trabajo presenta un prototipo funcional a escala real, que basado en plataformas de hardware y software libre permite a los usuarios conocer su temperatura corporal en tiempo real, y permitió determinar que, aunque existan soluciones privativas en el mercado, es posible proponer nuevas tecnologías que con aspectos de innovación permitan a organizaciones de bajos recursos acceder a tecnologías emergentes a bajo costo que potencien sus procesos y servicios. En segundo lugar, se encontró que uno de los efectos más comunes para detectar posibles contagios de COVID-19, es la fiebre.&nbsp

Discovering HIV related information by means of association rules and machine learning

Acquired immunodeficiency syndrome (AIDS) is still one of the main health problems worldwide. It is therefore essential to keep making progress in improving the prognosis and quality of life of affected patients. One way to advance along this pathway is to uncover connections between other disorders associated with HIV/AIDS-so that they can be anticipated and possibly mitigated. We propose to achieve this by using Association Rules (ARs). They allow us to represent the dependencies between a number of diseases and other specific diseases. However, classical techniques systematically generate every AR meeting some minimal conditions on data frequency, hence generating a vast amount of uninteresting ARs, which need to be filtered out. The lack of manually annotated ARs has favored unsupervised filtering, even though they produce limited results. In this paper, we propose a semi-supervised system, able to identify relevant ARs among HIV-related diseases with a minimal amount of annotated training data. Our system has been able to extract a good number of relationships between HIV-related diseases that have been previously detected in the literature but are scattered and are often little known. Furthermore, a number of plausible new relationships have shown up which deserve further investigation by qualified medical experts

Memoria del primer foro sobre logros, problemas y propuestas de los cuerpos académicos de educación y humanidades de la Universidad Autónoma del Estado de México

Motivados por el interés de dialogar nuestras preocupaciones cotidianas en torno al quehacer académico en la Universidad, e impulsados por la inquietud de compartir puntos de vista y apreciaciones acerca de la forma en que organizamos colectivamente el trabajo académico (en especial, de investigación) en los diferentes espacios de especialización disciplinaria e interdisciplinaria en los campos de las Ciencias de la Educación y las Humanidades, asistimos a la convocatoria para reflexionar qué tanto hemos avanzado como verdaderos equipos de trabajo (sobre todo en lo relativo a la investigación) y cuánto aún nos queda por hacer, a fin de coordinar esfuerzos individuales y sumar capacidades en proyectos y actividades comunes a cada cuerpo académico