Lattice-Based Functional Commitments: Fast Verification and Cryptanalysis.
Hoeteck WeeDavid J. WuPublished in: IACR Cryptol. ePrint Arch. (2024)
Keyphrases
- functional verification
- model checking
- concurrent systems
- scatter search
- databases
- concept lattice
- false acceptance rate
- face verification
- multi agent
- genetic algorithm
- information retrieval
- multiagent systems
- programming language
- hash functions
- bayesian networks
- formal methods
- image sequences
- person identification
- asynchronous circuits
- case study