Abstract: A local buffer is integrated with a witness generator and a proof generator on a cryptographic processor and is separate from host memory accessed by a host processor operating with the cryptographic processor in a proving computing system. The witness generator: receives, from software program running on the host processor, compiled code of a zero-knowledge-proof (ZKP) program and specific input to the ZKP program; executes the ZKP program by way of executing the compiled code; records specific output generated from the ZKP program with the specific input, intermediate variable values, and the specific input, as a specific witness of executing the ZKP program; stores the specific witness in the local buffer. The proof generator: receives, from the software program running on the host processor, a proving key; accesses the specific witness in the local buffer; generates a specific zero-knowledge proof for executing the ZKP program with the specific input.

Abstract: A local buffer is integrated with a witness generator and a proof generator on a cryptographic processor and is separate from host memory accessed by a host processor operating with the cryptographic processor in a proving computing system. The witness generator: receives, from software program running on the host processor, compiled code of a zero-knowledge-proof (ZKP) program and specific input to the ZKP program; executes the ZKP program by way of executing the compiled code; records specific output generated from the ZKP program with the specific input, intermediate variable values, and the specific input, as a specific witness of executing the ZKP program; stores the specific witness in the local buffer. The proof generator: receives, from the software program running on the host processor, a proving key; accesses the specific witness in the local buffer; generates a specific zero-knowledge proof for executing the ZKP program with the specific input.

Abstract: A local buffer is integrated with a witness generator and a proof generator on a cryptographic processor and is separate from host memory accessed by a host processor operating with the cryptographic processor in a proving computing system. The witness generator: receives, from software program running on the host processor, compiled code of a zero-knowledge-proof (ZKP) program and specific input to the ZKP program; executes the ZKP program by way of executing the compiled code; records specific output generated from the ZKP program with the specific input, intermediate variable values, and the specific input, as a specific witness of executing the ZKP program; stores the specific witness in the local buffer. The proof generator: receives, from the software program running on the host processor, a proving key; accesses the specific witness in the local buffer; generates a specific zero-knowledge proof for executing the ZKP program with the specific input.

Abstract: A local buffer is integrated with a witness generator and a proof generator on a cryptographic processor and is separate from host memory accessed by a host processor operating with the cryptographic processor in a proving computing system. The witness generator: receives, from software program running on the host processor, compiled code of a zero-knowledge-proof (ZKP) program and specific input to the ZKP program; executes the ZKP program by way of executing the compiled code; records specific output generated from the ZKP program with the specific input, intermediate variable values, and the specific input, as a specific witness of executing the ZKP program; stores the specific witness in the local buffer. The proof generator: receives, from the software program running on the host processor, a proving key; accesses the specific witness in the local buffer; generates a specific zero-knowledge proof for executing the ZKP program with the specific input.

Abstract: The invention relates to the treatment of water, including for example treatment in connection with hydrocarbon production operations. Silica in water produces undesirable scaling in processing equipment, which causes excess energy usage and maintenance problems. Electrocoagulation (EC) at relatively high water temperature may be combined with a process of ceramic ultra-filtration (UF filtration) employed to treat water, and optionally followed by any of membrane distillation or forward osmosis (FO). Water to be treated may be produced water that has been pumped from a subterranean reservoir. The treated water may be employed to generate steam. The treatment units (e.g., EC, forward osmosis, UF filtration, etc) can be configured into one system as an on-site installation or a mobile unit for on-site or off-site water treatment.

Abstract: A process and method for separating CO2 from a gaseous stream such as natural gas. An ionic liquid comprising an anion having a carboxylate function and an effective amount of water is used as an adsorbent to selectively complex the CO2 yielding a gaseous stream with a greatly reduced CO2 content. The ionic liquid can then be readily be regenerated and recycled.

Abstract: A mixed matrix membrane for separating gas components from a mixture of gas components is disclosed. The membrane comprises a continuous phase polymer with inorganic porous particles, preferably molecular sieves, interspersed in the polymer. The polymer has a CO2/CH4 selectivity of at least 20 and the porous particles have a mesoporosity of at least 0.1 cc STP/g. The mixed matrix membrane exhibits an increase in permeability of least 30% with any decrease in selectivity being no more than 10% relative to a membrane made of the neat polymer. The porous particles may include, but are not limited to, molecular sieves such as CVX-7 and SSZ-13, and/or other molecular sieves having the required mesoporosity. A method for making the mixed matrix membrane is also described. Further, a method is disclosed for separating gas components from a mixture of gas components using the mixed matrix membrane with mesoporous particles.

Abstract: A method and a search engine are described. A unique key is received. A hash is searched for a match to the unique key. Concurrently with searching the hash, a cache is searched for the match to the unique key. And information regarding the unique key is obtained.

Abstract: A mixed matrix membrane is provided which comprises a continuous phase organic polymer and small pore alumina containing molecular sieves dispersed therein. The molecular sieves have a silica-to-alumina molar ratio of less than 1.0, more preferably, less than 0.3, and most preferably less than 0.1. In some cases, the molecular sieves have no appreciable amounts of silica. Exemplary compositions include aluminophosphates (AIPO) and silicoaluminophosphates (SAPO). When these molecular sieves are properly interspersed with a continuous phase polymer, the membrane will exhibit a mixed matrix membrane effect, i.e., a selectivity increase of at least 10% relative to a neat membrane containing no molecular sieves. The molecular sieves have pores with a largest minor crystallographic free diameter of 4.0 Angstroms or less. The molecular sieves may be selected from the group having IZA structure types including AEI, CHA, ERI, LEV, AFX, AFT, and GIS.

Abstract: A mixed matrix membrane is provided which comprises a continuous phase organic polymer and small pore molecular sieves dispersed therein. The molecular sieves have a largest minor crystallographic free diameter of 3.6 Angstroms or less. When these molecular sieves are properly interspersed with a continuous phase polymer, the membrane will exhibit a mixed matrix membrane effect, i.e., a selectivity increase of at least 10% relative to a neat membrane containing no molecular sieves. Finally, methods for making and using such mixed matrix membranes to separate gases from a mixture containing two or more gases are also disclosed.

Abstract: A process and method for separating CO2 from a gaseous stream such as natural gas. An ionic liquid comprising an anion having a carboxylate function is used as an adsorbent to selectively complex the CO2 yielding a gaseous stream with a greatly reduced CO2 content. The ionic liquid can then be readily be regenerated and recycled.