Abstract: Security-enhancing devices, systems, methods, and non-transitory computer-readable media for performing non-interactive zero knowledge proof (NIZKP) authentication. In one embodiment, a computing device includes a memory and an electronic processor. The memory stores a NIZKP authentication program and a plurality of unique passwords. The electronic processor is configured to receive a first random value from an electronic source, generate a second random value by performing an exclusive disjunction operation on the first random value with a first password of the plurality of unique passwords, perform an extraction operation on the second random value, determine whether the extraction operation performed on the second random value extracted a non-random value from the second random value, and responsive to determining that the extraction operation performed on the second random value extracted the non-random value from the second random value, authenticate communications with the electronic source.

Abstract: Security-enhancing devices, systems, methods, and non-transitory computer-readable media for performing non-interactive zero knowledge proof (NIZKP) authentication. In one embodiment, a computing device includes a memory and an electronic processor. The memory stores a NIZKP authentication program and a plurality of unique passwords. The electronic processor is configured to receive a first random value from an electronic source, generate a second random value by performing an exclusive disjunction operation on the first random value with a first password of the plurality of unique passwords, perform an extraction operation on the second random value, determine whether the extraction operation performed on the second random value extracted a non-random value from the second random value, and responsive to determining that the extraction operation performed on the second random value extracted the non-random value from the second random value, authenticate communications with the electronic source.

Abstract: Disclosed are intermediates and methods of synthesizing Compound 1.

Abstract: Some embodiments include a method for indexing a data item. The method comprises identifying a plurality of characteristics of the data item; for at least one characteristic of the plurality of characteristics of the data item: generating an index based on the at least one characteristic; retrieving, from a data storage, a data structure corresponding to the index; storing a selected value at a location in the data structure, wherein the location in the data structure corresponds to the data item; and storing the data structure back to the data storage. Some embodiments include a method for searching a data collection comprising a plurality of data items based on the data structure.

Abstract: Disclosed are intermediates and methods of synthesizing Compound 1.

Abstract: The present invention relates to a compound of formula (I): wherein the substituents are as defined herein, and wherein the compound of formula (I) is optionally present as an agrochemically acceptable salt thereof. These compounds are thought to be suitable for use as herbicides. The invention therefore also relates to a method of controlling weeds, especially grassy monocotyledonous weeds, in crops of useful plants, comprising applying a compound of formula (I), or a herbicidal composition comprising such a compound, to the plants or to the locus thereof.

Abstract: The present invention relates to a compound of formula (I): wherein the substituents are as defined herein, and wherein the compound of formula (I) is optionally present as an agrochemically acceptable salt thereof. These compounds are thought to be suitable for use as herbicides. The invention therefore also relates to a method of controlling weeds, especially grassy monocotyledonous weeds, in crops of useful plants, comprising applying a compound of formula (I), or a herbicidal composition comprising such a compound, to the plants or to the locus thereof.