In this work, we introduce a new concept of the stream function and derive the equation for the stream function in the three-dimensional case.To construct a basis in the space of solutions of the NavierStokes system, we solve an auxiliary spectral problem for the bi-Laplacian with Dirichlet conditions on the boundary.Then, using the formulas employ
Traditional chemical methods for testing the fat content of millet, a widely consumed grain, are time-consuming and costly.In this study, we developed a low-cost and rapid method for fat detection and quantification in millet.A miniature NIR spectrometer connected to a smartphone was used to collect spectral data from millet samples of different or
Among the zero-knowledge succinct non-interactive arguments of knowledge (zk-SNARK), the simulation-extractable zk-SNARK (SE-SNARK) introduces a security notion of non-malleability.The existing pairing-based zk-SNARKs designed from linear encoding are known to be vulnerable to algebraic manipulation of the proof.The latest SE-SNARKs check the MONTH