Zero-knowledge succinct non-interactive arguments of knowledge(zk-SNARKs)are cryptographic protocols that ofer efcient and privacy-preserving means of verifying NP language relations and have drawn considerable atten‑...Zero-knowledge succinct non-interactive arguments of knowledge(zk-SNARKs)are cryptographic protocols that ofer efcient and privacy-preserving means of verifying NP language relations and have drawn considerable atten‑tion for their appealing applications,e.g.,verifable computation and anonymous payment protocol.Compared with the pre-quantum case,the practicability of this primitive in the post-quantum setting is still unsatisfactory,espe‑cially for the space complexity.To tackle this issue,this work seeks to enhance the efciency and compactness of lat‑tice-based zk-SNARKs,including proof length and common reference string(CRS)length.In this paper,we develop the framework of square span program-based SNARKs and design new zk-SNARKs over cyclotomic rings.Compared with previous works,our construction is without parallel repetition and achieves shorter proof and CRS lengths than previous lattice-based zk-SNARK schemes.Particularly,the proof length of our scheme is around 23.3%smaller than the recent shortest lattice-based zk-SNARKs by Ishai et al.(in:Proceedings of the 2021 ACM SIGSAC conference on computer and communications security,pp 212-234,2021),and the CRS length is 3.6×smaller.Our constructions follow the framework of Gennaro et al.(in:Proceedings of the 2018 ACM SIGSAC conference on computer and com‑munications security,pp 556-573,2018),and adapt it to the ring setting by slightly modifying the knowledge assumptions.We develop concretely small constructions by using module-switching and key-switching procedures in a novel way.展开更多
Power systems are moving toward a low-carbon or carbon-neutral future where high penetration of renewables is expected.With conventional fossil-fueled synchronous generators in the transmission network being replaced ...Power systems are moving toward a low-carbon or carbon-neutral future where high penetration of renewables is expected.With conventional fossil-fueled synchronous generators in the transmission network being replaced by renewable energy generation which is highly distributed across the entire grid,new challenges are emerging to the control and stability of large-scale power systems.New analysis and control methods are needed for power systems to cope with the ongoing transformation.In the CSEE JPES forum,six leading experts were invited to deliver keynote speeches,and the participating researchers and professionals had extensive exchanges and discussions on the control and stability of power systems.Specifically,potential changes and challenges of power systems with high penetration of renewable energy generation were introduced and explained,and advanced control methods were proposed and analyzed for the transient stability enhancement of power grids.展开更多
基金supported by the National Key R&D Program of China under Grant 2020YFA0712303Zhedong Wang is supported by National Natural Science Foundation of China(Grant No.62202305)Shanghai Pujiang Program under Grant 22PJ1407700.
文摘Zero-knowledge succinct non-interactive arguments of knowledge(zk-SNARKs)are cryptographic protocols that ofer efcient and privacy-preserving means of verifying NP language relations and have drawn considerable atten‑tion for their appealing applications,e.g.,verifable computation and anonymous payment protocol.Compared with the pre-quantum case,the practicability of this primitive in the post-quantum setting is still unsatisfactory,espe‑cially for the space complexity.To tackle this issue,this work seeks to enhance the efciency and compactness of lat‑tice-based zk-SNARKs,including proof length and common reference string(CRS)length.In this paper,we develop the framework of square span program-based SNARKs and design new zk-SNARKs over cyclotomic rings.Compared with previous works,our construction is without parallel repetition and achieves shorter proof and CRS lengths than previous lattice-based zk-SNARK schemes.Particularly,the proof length of our scheme is around 23.3%smaller than the recent shortest lattice-based zk-SNARKs by Ishai et al.(in:Proceedings of the 2021 ACM SIGSAC conference on computer and communications security,pp 212-234,2021),and the CRS length is 3.6×smaller.Our constructions follow the framework of Gennaro et al.(in:Proceedings of the 2018 ACM SIGSAC conference on computer and com‑munications security,pp 556-573,2018),and adapt it to the ring setting by slightly modifying the knowledge assumptions.We develop concretely small constructions by using module-switching and key-switching procedures in a novel way.
文摘Power systems are moving toward a low-carbon or carbon-neutral future where high penetration of renewables is expected.With conventional fossil-fueled synchronous generators in the transmission network being replaced by renewable energy generation which is highly distributed across the entire grid,new challenges are emerging to the control and stability of large-scale power systems.New analysis and control methods are needed for power systems to cope with the ongoing transformation.In the CSEE JPES forum,six leading experts were invited to deliver keynote speeches,and the participating researchers and professionals had extensive exchanges and discussions on the control and stability of power systems.Specifically,potential changes and challenges of power systems with high penetration of renewable energy generation were introduced and explained,and advanced control methods were proposed and analyzed for the transient stability enhancement of power grids.
