Concurrent non-malleable zero-knowledge(CNMZK)considers the concurrent execution of zero-knowledge protocols in a setting even when adversaries can simultaneously corrupt multiple provers and verifiers.As far as we kn...Concurrent non-malleable zero-knowledge(CNMZK)considers the concurrent execution of zero-knowledge protocols in a setting even when adversaries can simultaneously corrupt multiple provers and verifiers.As far as we know,the round complexity of all the constructions of CNMZK arguments for NP is at least ω(log n).In this paper,we provide the first construction of a constant-round concurrent non-malleable zero-knowledge argument for every language in NP.Our protocol relies on the existence of families of collision-resistant hash functions,one-way permutations and indistinguishability obfuscators.As an additional contribution,we study the composition of two central notions in zero knowledge,the simultaneously resettable zero-knowledge and non-malleable zero-knowledge,which seemingly have stronger proved security guarantees.We give the first construction of a constant-round simultaneously-resettable non-malleable zero-knowledge.To the best of our knowledge,this is the first study to combine the two security concepts described above together in the zero-knowledge protocols.展开更多
Point mutations can be used as biomarkers to perform diagnosis for diseases. In this study, a nanorobot for low-abundance point mutation enrichment was constructed using DNA origami. The novel design achieved limits o...Point mutations can be used as biomarkers to perform diagnosis for diseases. In this study, a nanorobot for low-abundance point mutation enrichment was constructed using DNA origami. The novel design achieved limits of detection of 0.1% and 1% for synthesized DNA samples and clinical gene samples, respectively. Resettability was a key property of this method, which also involved a simpler process, lower cost and shorter detection duration than traditional enrichment methods. This novel DNA nanorobot may enable the detection of tumor markers, potentially facilitating early cancer diagnosis.展开更多
As a novel structural control strategy, tuned mass damper （TMD） inspired passive and semi-active smart building isolation systems are suggested to reduce structural response and thus mitigate structural damage due t...As a novel structural control strategy, tuned mass damper （TMD） inspired passive and semi-active smart building isolation systems are suggested to reduce structural response and thus mitigate structural damage due to earthquake excitations. The isolated structure＇s upper stories can be utilized as a large scaled TMD, and the isolation layer, as a core design point, between the separated upper and lower stories entails the insertion of rubber bearings and （i） viscous dampers （passive） or （ii） resettable devices （semi-active）. The seismic performance of the suggested isolation systems are investigated for 12-story reinforced concrete moment resisting flames modeled as ＂10 ~ 2＂ stories and ＂8 ＋ 4＂ stories. Passive viscous damper or semi-active resettable devices are parametrically evaluated through the optimal design principle of a large mass ratio TMD. Statistical performance metrics are presented for 30 earthquake records from the three suites of the SAC project. Based on nonlinear structural models, including P-delta effects and modified Takeda hysteresis, the inelastic time history analyses are conducted to compute the seismic performances across a wide range of seismic hazard intensities. Results show that semi-active smart building isolation systems can effectively manage seismic response for multi-degree-of freedom （MDOF） systems across a broader range of ground motions in comparison to uncontrolled case and passive solution.展开更多
In this paper,a single-switch two-stage DC-DC conversion circuit is proposed for an off-grid solar power application.A photovoltaic(PV)panel powers the load and a storage unit(battery)via the proposed circuit.The batt...In this paper,a single-switch two-stage DC-DC conversion circuit is proposed for an off-grid solar power application.A photovoltaic(PV)panel powers the load and a storage unit(battery)via the proposed circuit.The battery is designed to balance the supply and the demand of power under different irradiation situations.Based on conventional cascaded DC-DC converters,the proposed design is developed with the single switch technique reducing size,cost and power loss.The control scheme in this design is pulse width modulation(PWM)with pulse frequency modulation(PFM).The PWM module is similar to conventional design except its ramp signal with a variable frequency is provided by a resettable integrator.As a result,the PWM and PFM modules regulate the two stages of the proposed circuit separately with the same switching control signal.In this paper,the modes of operation of the circuit are discussed as well as the control schemes.The design process is described along with the circuit analysis and comparisons with conventional design are made as well.A prototype has been built to verify the proposed circuit with simulation and experimental results.展开更多
基金supported in part by the National Natural Science Foun-dation of China(Grant No.61772521)Key Research Program of Frontier Sciences,CAS(QYZDB-SSW-SYS035)the Open Project Program of the State Key Laboratory of Cryptology。
文摘Concurrent non-malleable zero-knowledge(CNMZK)considers the concurrent execution of zero-knowledge protocols in a setting even when adversaries can simultaneously corrupt multiple provers and verifiers.As far as we know,the round complexity of all the constructions of CNMZK arguments for NP is at least ω(log n).In this paper,we provide the first construction of a constant-round concurrent non-malleable zero-knowledge argument for every language in NP.Our protocol relies on the existence of families of collision-resistant hash functions,one-way permutations and indistinguishability obfuscators.As an additional contribution,we study the composition of two central notions in zero knowledge,the simultaneously resettable zero-knowledge and non-malleable zero-knowledge,which seemingly have stronger proved security guarantees.We give the first construction of a constant-round simultaneously-resettable non-malleable zero-knowledge.To the best of our knowledge,this is the first study to combine the two security concepts described above together in the zero-knowledge protocols.
基金funded by the National Key R&D Program of China (Nos. 2018YFA0903500, 2018YFC0114600)the National Natural Science Foundation of China (Nos. 51703073, 22077042)the Fundamental Research Funds for the Central University (No.2021yjs CXCY114, China)。
文摘Point mutations can be used as biomarkers to perform diagnosis for diseases. In this study, a nanorobot for low-abundance point mutation enrichment was constructed using DNA origami. The novel design achieved limits of detection of 0.1% and 1% for synthesized DNA samples and clinical gene samples, respectively. Resettability was a key property of this method, which also involved a simpler process, lower cost and shorter detection duration than traditional enrichment methods. This novel DNA nanorobot may enable the detection of tumor markers, potentially facilitating early cancer diagnosis.
文摘As a novel structural control strategy, tuned mass damper （TMD） inspired passive and semi-active smart building isolation systems are suggested to reduce structural response and thus mitigate structural damage due to earthquake excitations. The isolated structure＇s upper stories can be utilized as a large scaled TMD, and the isolation layer, as a core design point, between the separated upper and lower stories entails the insertion of rubber bearings and （i） viscous dampers （passive） or （ii） resettable devices （semi-active）. The seismic performance of the suggested isolation systems are investigated for 12-story reinforced concrete moment resisting flames modeled as ＂10 ~ 2＂ stories and ＂8 ＋ 4＂ stories. Passive viscous damper or semi-active resettable devices are parametrically evaluated through the optimal design principle of a large mass ratio TMD. Statistical performance metrics are presented for 30 earthquake records from the three suites of the SAC project. Based on nonlinear structural models, including P-delta effects and modified Takeda hysteresis, the inelastic time history analyses are conducted to compute the seismic performances across a wide range of seismic hazard intensities. Results show that semi-active smart building isolation systems can effectively manage seismic response for multi-degree-of freedom （MDOF） systems across a broader range of ground motions in comparison to uncontrolled case and passive solution.
文摘In this paper,a single-switch two-stage DC-DC conversion circuit is proposed for an off-grid solar power application.A photovoltaic(PV)panel powers the load and a storage unit(battery)via the proposed circuit.The battery is designed to balance the supply and the demand of power under different irradiation situations.Based on conventional cascaded DC-DC converters,the proposed design is developed with the single switch technique reducing size,cost and power loss.The control scheme in this design is pulse width modulation(PWM)with pulse frequency modulation(PFM).The PWM module is similar to conventional design except its ramp signal with a variable frequency is provided by a resettable integrator.As a result,the PWM and PFM modules regulate the two stages of the proposed circuit separately with the same switching control signal.In this paper,the modes of operation of the circuit are discussed as well as the control schemes.The design process is described along with the circuit analysis and comparisons with conventional design are made as well.A prototype has been built to verify the proposed circuit with simulation and experimental results.
