This paper concerns with the Cauchy problem for the nonlinear double dispersive wave equation. By the priori estimates and the method in [9], It proves that the Cauchy problem admits a unique global classical solution...This paper concerns with the Cauchy problem for the nonlinear double dispersive wave equation. By the priori estimates and the method in [9], It proves that the Cauchy problem admits a unique global classical solution. And by the concave method, we give sufficient conditions on the blowup of the global solution for the Cauchy problem.展开更多
Due to limited computing and storage resources,light clients and full nodes coexist in a typical blockchain system.Any query from light clients must be forwarded to full nodes for execution,and light clients verify th...Due to limited computing and storage resources,light clients and full nodes coexist in a typical blockchain system.Any query from light clients must be forwarded to full nodes for execution,and light clients verify the integrity of query results returned.Since existing verifiable queries based on an authenticated data structure(ADS)suffer from significant network,storage and computing overheads by virtue of verification objects(VOs),an alternative way turns to the trusted execution environment(TEE),with which light clients do not need to receive or verify any VO.However,state-of-the-art TEEs cannot deal with large-scale applications conveniently due to the limited secure memory space(e.g.,the size of the enclave in Intel SGX(software guard extensions),a typical TEE product,is only 128 MB).Hence,we organize data hierarchically in trusted(enclave)and untrusted memory,along with hot data buffered in the enclave to reduce page swapping overhead between two kinds of memory.The cost analysis and empirical study validate the effectiveness of our proposed scheme.The VO size of our scheme is reduced by one to two orders of magnitude compared with that of the traditional scheme.展开更多
基金the Natural Science Foundation of Henan Province(0611050500)
文摘This paper concerns with the Cauchy problem for the nonlinear double dispersive wave equation. By the priori estimates and the method in [9], It proves that the Cauchy problem admits a unique global classical solution. And by the concave method, we give sufficient conditions on the blowup of the global solution for the Cauchy problem.
基金supported by the National Key Research and Development Program of China under Grant No.2021YFB-2700100the National Natural Science Foundation of China under Grant Nos.U1911203,U1811264 and 61972152.
文摘Due to limited computing and storage resources,light clients and full nodes coexist in a typical blockchain system.Any query from light clients must be forwarded to full nodes for execution,and light clients verify the integrity of query results returned.Since existing verifiable queries based on an authenticated data structure(ADS)suffer from significant network,storage and computing overheads by virtue of verification objects(VOs),an alternative way turns to the trusted execution environment(TEE),with which light clients do not need to receive or verify any VO.However,state-of-the-art TEEs cannot deal with large-scale applications conveniently due to the limited secure memory space(e.g.,the size of the enclave in Intel SGX(software guard extensions),a typical TEE product,is only 128 MB).Hence,we organize data hierarchically in trusted(enclave)and untrusted memory,along with hot data buffered in the enclave to reduce page swapping overhead between two kinds of memory.The cost analysis and empirical study validate the effectiveness of our proposed scheme.The VO size of our scheme is reduced by one to two orders of magnitude compared with that of the traditional scheme.
