ssmiler

Using (aka selling) transactions history is one

You've switched the roles here. Government proposes solutions and public accepts or denies them.

And why the hell the government will keep the fingerprints? So that once in 10 years I save 1h. The benefit is minor compared to bad things that can be done with a fingerprints DB (mass surveillance..)

Did same before. Now I generate emails with 33mail.com

Other threads on HE compilers:

Microsoft/EVA - https://news.ycombinator.com/item?id=25193863

Alchemy - https://news.ycombinator.com/item?id=18265948

Cingulata - https://news.ycombinator.com/item?id=23437737

And a good overview of HE compilers/libraries https://arxiv.org/pdf/2101.07078.pdf

I meant the opposite, without competition they will make more profit.

7. Wal-Mart increase its margins.

An idea will be to give you standardized container (and pay less like for utensils) when you pick up.

A union is like a democracy, it can be elective where you can naively hope that the elected people will be honest and incorruptible or it can be participative where you must participate in the union in order for it to succeed.

A lot of ex-IBM famous crypto researchers (Craig Gentry, Shai Halevi ...) are with Algorand foundation now, which I found suprising considering their scientific career.

IBM should be an important stakeholder in Algorand foundation...

Also sellers must declare to tax administration to whom they sold TV sets. The administration sets the checkbox for you automatically ;)

Maybe in batched HE schemes. In https://github.com/tfhe/tfhe the ratio is much smaller, 2.5kB per plaintext bit.

2nd option exists and is called rolling highway ;)

The idea behind verifiable computation is that the verification phase should be less expensive than the computation phase itself.

Cingulata automatically chooses secure parameters using https://github.com/CEA-LIST/CinguParam module.

It's a separate project because our intention is to provide an easier/faster way to chose HE parameters than lwe-estimator. You need to provide only the multiplicative depth (or the circuit describing the computation for example) and CinguParam will automatically generate the code snippet/parameter file for the HE scheme you want. Also as CinguParam contains a database of HE parameters the actual parameter generation is really faster than using lwe-estimator. There is a lot of work to be done on this project in order to automatize parameter database update, generate HE parameters more precisely using circuit representation instead of multiplicative depth, take into account HE libraries implementation details (RNS, NTT), etc.

You can refer to https://homomorphicencryption.org for more details about security, libraries and standardization. Although for the moment it's in early stages of standardization.

Research paper https://eprint.iacr.org/2018/758 introduces an unified view for HE plaintext spaces. It allows switching between integral, approximate numbers and bit level representations (different HE schemes). But I'm not aware of a HE library implementing this. For the IDASH 2018 competition we have used 2 different libraries (TFHE and CKKS) in the same computation, although the scheme switching procedure was done manually.

Author here. We use the romanian language pronunciation for Cingulata. The first sound from Tchaikovsky is the right way as someone already mentioned in this thread.

I actually experienced the opposite. A native Mac compiled application was running slower than the same application running in a ubuntu docker image.

Something equivalent is done in https://github.com/CEA-LIST/Cingulata The current execution run-time accepts a .blif file (a Boolean circuit) and executes it. For the moment only the BFV homomorphic encryption can be used. Although, supporting TFHE will not be so hard and some work is going on the parallel_bit_exec branch.

Apparently the company have already threatened them https://www.theverge.com/2020/3/17/21184308/coronavirus-ital...

I won't be surprised if original part manufacturer sues these guys, hospitals for IP infringement...

Yeah, but in case of emergency stop the train will roll over...

I suppose that government subventions are split as a function of the number of passengers...

Gazelle paper uses an interactive protocol ("combination of homomorphic encryption and traditional two-party computation techniques") compared to thread paper.

Considering that they need to recycle used car batteries, each car manufacturer will have it's own "energy storage" solution.