Obtaining simulation extractable NIZKs in the updatable CRS model generically.
Liguan WangYuan LiHaibin KanPublished in: Theor. Comput. Sci. (2024)
Keyphrases
- mathematical model
- analytical model
- probabilistic model
- theoretical framework
- theoretical analysis
- prior knowledge
- formal model
- management system
- simulation model
- hierarchical structure
- computational model
- parameter estimation
- neural network model
- database
- prediction model
- mathematical models
- agent model
- simulation platform
- queuing network
- experimental data
- statistical model
- maximum likelihood
- supply chain
- probability distribution
- mobile robot
- artificial neural networks
- high level
- image segmentation
- data mining
- data sets