Group Signature Based on Non-interactive Zero-Knowledge Proofs

Non-Interactive Zero-Knowledge(NIZK for short) proofs are fascinating and extremely useful in many security protocols. In this paper,a new group signature scheme,decisional linear assumption group signature(DLAGS for short) with NIZK proofs is proposed which can prove and sign the multiple values rather than individual bits based on DLIN assumption. DLAGS does not need to interact between the verifier and issuer,which can decrease the communication times and storage cost compared with the existing interactive group signature schemes. We prove and sign the blocks of messages instead of limiting the proved message to only one bit(0 or 1) in the conventional non-interactive zero-knowledge proof system,and we also prove that our scheme satisfy the property of anonymity,unlinkability and traceability. Finally,our scheme is compared with the other scheme(Benoitt's scheme) which is also based on the NIZK proofs system and the DLIN assumption,and the results show that our scheme requires fewer members of groups and computational times.

The Influence of the Exchange-Correlation Functional on the Non-Interacting Kinetic Energy and Its Implications for Orbital-Free Density Functional Approximations

In this work it is shown that the kinetic energy and the exchange-correlation energy are mutual dependent on each other.This aspect is first derived in an orbital-free context.It is shown that the total Fermi potential depends on the density only,the individual parts,the Pauli kinetic energy and the exchange-correlation energy,however,are orbital dependent and as such mutually influence each other.The numerical investigation is performed for the orbital-based non-interacting Kohn-Sham system in order to avoid additional effects due to further approximations of the kinetic energy.The numerical influence of the exchange-correlation functional on the non-interacting kinetic energy is shown to be of the orderof a few Hartrees.For chemical purposes,however,the energetic performance as a function of the nuclear coordinates is much more important than total energies.Therefore,the effect on the bond dissociation curve was studied exemplarily for the carbon monoxide.The data reveals that,the mutual influence between the exchange-correlation functional and the kinetic energy has a significant influence on bond dissociation energies and bond distances.Therefore,the effect of the exchange-correlation treatment must be considered in the design of orbital-free density functional approximations for the kinetic energy.

Does Decision-Making Speed Depend on Non-interactive Others？

This study examined the influence that the mere presence of others （i.e., non-interactive） has on the decision-making speed of individuals. The study compared four conditions： a participant executing a given task by himself or herself, or with another person next to him or her and executing the same task either quickly, at a normal speed, or at a slow speed. The results of these comparisons showed that when the other person made decisions quickly, a participant＇s decision-making sped up to align with that of the other person. Interestingly, even when a participant＇s decision-making speed was accelerated under the influence of the other person＇s decision-making speed, there appeared to be no difference in the participant＇s degree of satisfaction with the results, compared to when making decisions at his or her own pace. Furthermore, the study results showed that the physical presence of another person was essential to transmitting decision-making speed： transmission did not occur after attempts were made to manipulate speed solely through the use of artificial sound.

A discussion of the bi-directional ranking of occurrence-frequency based non-interactive literature method for knowledge discovery

Based on the analysis of the existing ranking terminology or subject relevancy of documents methods through an intermediary collection as a catalyst(designated as Group B collection) for the purpose of of non-interactive literature-based discovery, this article proposes a bi-directional document occurrence frequency based ranking method according to the 'concurrence theory' and the degree and extent of the subject relevancy. This method explores and further refines the ranking method that is based on the occurrence frequency of the usage of certain terminologies and documents and injects a new insightful perspective of the concurrence of appropriate terminologies/documents in the 'low occurrence frequency component' of three non-interactive document collections. A preliminary experiment was conducted to analyze and to test the significance and viability of our newly designed operational method.

Next Frontier in Physics—Space as a Complex Tension Field

We hypothesize that 100% of the energy of our cosmic system is held by a physically real Complex Tension Field (CTF). We are using an old methodology of thinking used by our forefather engineers long before the advent of modern scientific thinking. We call it Interaction Process Mapping Epistemology or IPM-E. We apply this IPM-E on to the prevailing Measurable Data Modeling Epistemology or MDM-E. This approach helped us analyze the “Measurement Problem”, recognized during the rise of quantum mechanics (QM), and helped us recover a universal property of all linear waves, that they do not interact, or interfere, with each other. This Non-Interaction of Waves, or the NIW-property, should be obvious through daily observations and through the Huygens-Fresnel diffraction integral and through critical evaluation of contradictory hypotheses we have been assigning to photons through ages. This implicates that the time-frequency Fourier theorem, although mathematically correct, and is used universally in all branches of science;does not map the real physical interaction processes for most optical phenomena. Accordingly, we present the necessary modifications for a few selected phenomena in classical and quantum optics to validate the NIW-property. In the process we find that accepting photons as non-interacting, but diffractively propagating linear wave packets crossing the entire cosmic space, requires CTF as a physical medium. Then we develop logical arguments in support of stable elementary particles as nonlinear but resonant vortex-like undulations of this same CTF. These vortex-like particles impose various secondary potential gradients around themselves giving rise to the four forces we know. Thus, CTF can serve as the cosmic substrate to develop a unified field theory without the need of dark matter and dark energy. In the process, we demonstrate a path to add ontologic thinking on our biologically successful epistemic thinking.

Server-Aided Multi-Secret Sharing Scheme for Weak Computational Devices

In the setting of(t,n)threshold secret sharing,at least t parties can reconstruct the secret,and fewer than t parties learn nothing about the secret.However,to achieve fairness,the existing secret sharing schemes either assume a trusted party exists or require running multi-round,which is not practical in a real application.In addition,the cost of verification grows dramatically with the number of participants and the communication complexity is O(t),if there is not a trusted combiner in the reconstruction phase.In this work,we propose a fair server-aided multi-secret sharing scheme for weak computational devices.The malicious behavior of clients or server providers in the scheme can be verified,and the server provider learns nothing about the secret shadows and the secrets.Unlike other secret sharing schemes,our scheme does not require interaction among users and can work in asynchronous mode,which is suitable for mobile networks or cloud computing environments since weak computational mobile devices are not always online.Moreover,in the scheme,the secret shadow is reusable,and expensive computation such as reconstruction computation and homomorphic verification computation can be outsourced to the server provider,and the users only require a small amount of computation.

Automatic cell object extraction of red tide algae in microscopic images

Extracting the cell objects of red tide algae is the most important step in the construction of an automatic microscopic image recognition system for harmful algal blooms.This paper describes a set of composite methods for the automatic segmentation of cells of red tide algae from microscopic images.Depending on the existence of setae,we classify the common marine red tide algae into non-setae algae species and Chaetoceros,and design segmentation strategies for these two categories according to their morphological characteristics.In view of the varied forms and fuzzy edges of non-setae algae,we propose a new multi-scale detection algorithm for algal cell regions based on border-correlation,and further combine this with morphological operations and an improved GrabCut algorithm to segment single-cell and multicell objects.In this process,similarity detection is introduced to eliminate the pseudo cellular regions.For Chaetoceros,owing to the weak grayscale information of their setae and the low contrast between the setae and background,we propose a cell extraction method based on a gray surface orientation angle model.This method constructs a gray surface vector model,and executes the gray mapping of the orientation angles.The obtained gray values are then reconstructed and linearly stretched.Finally,appropriate morphological processing is conducted to preserve the orientation information and tiny features of the setae.Experimental results demonstrate that the proposed methods can effectively remove noise and accurately extract both categories of algae cell objects possessing a complete shape,regular contour,and clear edge.Compared with other advanced segmentation techniques,our methods are more robust when considering images with different appearances and achieve more satisfactory segmentation effects.

Dynamics of Non—interacting System with Long—Range Correlated Quenched Impurities

The theoretic renormalization group approach is applied to the study of the critical behavior of non-interacting system with long-range correlated quenched impurities, which has a power-like correlations . To two-loop order, the asymptotic scaling laws and the critical exponents are studied in the frame of a double expansion with ρ of order . In , it is argued that the initial slip exponent θ = 0 together with the dynamic exponent is exact in this kind of random system.

Simulation extractable SNARKs based on target linearly collision-resistant oracle

The famous zero-knowledge succinct non-interactive arguments of knowledge(zk-SNARK) was proposed by Groth in 2016.Typically, the construction is based on quadratic arithmetic programs which are highly efficient concerning the proof length and the verification complexity. Since then, there has been much progress in designing zk-SNARKs, achieving stronger security,and simulated extractability, which is analogous to non-malleability and has broad applications. In this study, following Groth's pairing-based zk-SNARK, a simulation extractability zk-SNARK under the random oracle model is constructed. Our construction relies on a newly proposed property named target linearly collision-resistant, which is satisfied by random oracles under discrete logarithm assumptions. Compared to the original Groth16 zk-SNARK, in our construction, both parties are allowed to use such a random oracle, aiming to get the same random number. The resulting proof consists of 3 group elements and only 1 pairing equation needs to be verified. Compared to other related works, our construction is shorter in proof length and simpler in verification while preserving simulation extractability. The results also extend to achieve subversion zero-knowledge SNARKs.

CompactChain:an efficient stateless chain for UTXO-model blockchain

In this work,we propose a stateless blockchain called CompactChain,which compacts the entire state of the UTXO(Unspent Transaction Output)based blockchain systems into two RSA accumulators.The first accumulator is called Transaction Output(TXO)commitment which represents the TXO set.The second one is called Spent Transaction Output(STXO)commitment which represents the STXO set.In this work,we discuss three algorithms:(i)To update the TXO and STXO commitments by the miner.The miner also provides the proofs for the correctness of the updated commitments;(ii)To prove the transaction’s validity by providing a membership witness in TXO commitment and non-membership witness against STXO commitment for a coin being spent by a user;(iii)To update the witness for the coin that is not yet spent;The experimental results evaluate the performance of the CompactChain in terms of time taken by a miner to update the commitments and time taken by a validator to verify the commitments and validate the transactions.We compare the performance of CompactChain with the existing state-of-the-art works on stateless blockchains.CompactChain shows a reduction in commitments update complexity and transaction witness size which inturn reduces the mempool size and propagation latency without compromising the system throughput(Transactions per second(TPS)).

Delegateable signatures based on non-interactive witness indistinguishable and non-interactive witness hiding proofs

A delegateable signature scheme （DSS） which was first introduced by Barak is mainly based on the non-interactive zero-knowledge proof （NIZK） for preventing the signing verifier from telling which witness （i.e., restricted subset） is being used. However, the scheme is not significantly efficient due to the difficulty of constructing NIZK. We first show that a non-interactive witness indistinguishable （NlWl） proof system and a non-interactive witness hiding （NIWH） proof system are easier and more efficient proof models than NIZK in some cases. Furthermore, the witnesses em- ployed in these two protocols （NlWl and NIWT） cannot also be distinguished by the verifiers. Combined with the E-protocol, we then construct NlWl and NIWH proofs for any NP statement under the existence of one-way functions and show that each proof is different from those under the existence of trapdoor permutations, Finally, based on our NlWl and NIWH proofs, we construct delegateable signature schemes under the existence of one-way functions, which are more efficient than Barak＇s scheme under the existence of trapdoor permutations.

Clinical study on long-snake moxibustion plus Western medicine in treating chronic heart failure due to heart-kidney yang deficiency

Objective To observe the clinical efficacy of long-snake moxibustion plus Western medicine for chronic heart failure due to heart-kidney yang deficiency.Methods A total of 80 patients were randomized into a control group and an observation group,with 40 cases in each group.The control group was treated with routine Western medicine,and the observation group was treated with long-snake moxibustion therapy on the basis of routine Western medicine.Left ventricular ejection fraction(LVEF),stroke volume(SV)and left ventricular end-diastolic diameter(LVEDd)were measured before and after treatment,and the heart function was assessed.The serum brain natriuretic peptide(BNP)level was measured,the 6 min walking distance was recorded,and the Minnesota living with heart failure questionnaire(MLHFQ)was assessed and scored.The serum galectin-3(Gal-3)and soluble growth stimulation expressed gene 2(sST2)protein levels were measured.Clinical efficacy was evaluated after treatment.Results The total effective rate of the observation group was higher than that of the control group,and the difference between the two groups was statistically significant(P<0.05).After treatment,LVEF and LVEDd in both groups were significantly improved(all P<0.05),and LVEF,SV and LVEDd in the observation group were superior to those in the control group(all P<0.05).The heart function classification in both groups were improved after treatment(both P<0.05),and the heart function classification in the observation group was superior to that in the control group(P<0.05).The serum BNP level in both groups decreased(both P<0.05),and the serum BNP level in the observation group was lower than that in the control group(P<0.05).The 6 min walking distance and MLHFQ scores in both groups were improved(all P<0.05),and the 6 min walking distance and MLHFQ score in the observation group were superior to those in the control group(both P<0.05).The serum Gal-3 and sST2 levels in the observation group decreased significantly(both P<0.05),and all lower than those in the control group(both P<0.05).Conclusion Long-snake moxibustion plus Western medicine has significant efficacy in treating chronic heart failure due to heart-kidney yang deficiency;it can improve heart function,reduce the serum BNP level,and improve the exercise endurance and quality of life in the patients.This may be related to the down-regulation of serum Gal-3 and sST2 levels.

Identity-based Encryption with Non-Interactive Opening

An identity-based encryption(IBE) was studied with non-interactively opening property that the plain text of a ciphertext can be revealed without affecting the security of the encryption system.Two kinds of non-interactive opening properties for IBE schemes were defined along with a concrete scheme in each case.

Clinical Study on Acupoint Injection plus Acupuncture for Insomnia Due to Heart-kidney Disharmony

Objective: To observe the clinical efficacy of acupoint injection at Neiguan(PC 6) plus acupuncture in treating insomnia due to heart-kidney disharmony. Methods: A hundred patients with insomnia due to heart-kidney disharmony were randomized into an observation group and a control group. Fifty-three cases in the observation group were intervened by acupoint injection at Neiguan(PC 6) plus acupuncture; while 54 cases in the control group were intervened by acupuncture alone. The Pittsburgh sleep quality index(PSQI) was evaluated before and after intervention, and the therapeutic efficacies of the two groups were compared. Results: Acupoint injection at Neiguan(PC 6) plus acupuncture produced significantly higher efficacies in improving sleep quality, shortening sleep latency, and enhancing sleep efficiency than acupuncture alone(P<0.05).Conclusion: The two groups both can improve the condition of insomnia; acupoint injection at Neiguan(PC 6) has significant advantages, manifested by a higher therapeutic efficacy for insomnia due to heart-kidney disharmony, higher safety evaluation, efficiency, and less adverse events, thus proper for clinical application.

Non-interactive and Non-malleable Commitment Scheme Based on q-one Way Group Homomorphisms

Commitment scheme is a basic component of many cryptographic protocols, such as coin-tossing, identification schemes, zero-knowledge and multi-party computation. In order to prevent man-in-middle attacks, non-malleability is taken into account. Many forming works focus on designing non-malleable commitments schemes based on number theory assumptions. In this paper we give a general framework to construct non- interactive and non-malleable commitment scheme with respect to opening based on more general assumptions called q-one way group homomorphisms (q-OWGH). Our scheme is more general since many existing commitment schemes can be deduced from our scheme.

PrivBV:Distance-Aware Encoding for Distributed Data with Local Differential Privacy

Recently,local differential privacy(LDP)has been used as the de facto standard for data sharing and analyzing with high-level privacy guarantees.Existing LDP-based mechanisms mainly focus on learning statistical information about the entire population from sensitive data.For the first time in the literature,we use LDP for distance estimation between distributed data to support more complicated data analysis.Specifically,we propose PrivBV—a locally differentially private bit vector mechanism with a distance-aware property in the anonymized space.We also present an optimization strategy for reducing privacy leakage in the high-dimensional space.The distance-aware property of PrivBV brings new insights into complicated data analysis in distributed environments.As study cases,we show the feasibility of applying PrivBV to privacy-preserving record linkage and non-interactive clustering.Theoretical analysis and experimental results demonstrate the effectiveness of the proposed scheme.

Primitives towards verifiable computation： a survey

Verifiable computation （VC） paradigm has got the captivation that in real term is highlighted by the concept of third party computation. In more explicate terms, VC allows resource constrained clients/organizations to securely outsource expensive computations to untrusted service providers, while acquiring the publicly or privately verifiable results. Many mainstream solutions have been proposed to address the diverse problems within the VC domain. Some of them imposed assumptions over performed computations, while the others took advantage of interactivity /non-interactivity, zero knowledge proofs, and arguments. Further proposals utilized the powers of probabilistic checkable or computationally sound proofs. In this survey, we present a chronological study and classify the VC proposals based on their adopted domains. First, we provide a broader overview of the theoretical advancements while critically analyzing them. Subsequently, we present a comprehensive view of their utilization in the state of the art VC approaches. Moreover, a brief overview of recent proof based VC systems is also presented that lifted up the VC domain to the verge of practicality. We use the presented study and reviewed resuits to identify the similarities and alterations, modifications, and hybridization of different approaches, while comparing their advantages and reporting their overheads. Finally, we discuss implementation of such VC based systems, their applications, and the likely future directions.