search

rdragos / awesome-mpc

A curated list of multi party computation resources and links.
1.76k stars 254 forks source link

Frameworks mention "Bristol Circuit Format"--what is this? #13

Closed danxinnoble closed 6 years ago

danxinnoble commented 6 years ago

Hello Dragos

I have been looking at some of the frameworks you mention and am very confused by something. A number mention or have links to a "Bristol Circuit format."

I am also somewhat confused by these statements as the main work in MPC that I am aware of at Bristol is the SPDZ/SCALE-MAMBA project. Which as far as I understand is not based on Boolean circuits.

Since you are a PhD student at Bristol, I was wondering if you knew whether, at a certain point in time, there was a somewhat standardized circuit format that was used by Bristol's crypto team and others? Is there still a description of this circuit format, and is it still being used widely?

Best Daniel

rdragos commented 6 years ago

Hi Daniel,

To be honest I've never used the so-called Bristol format as I had started my PhD when Bristol people stopped using them.

What I know is that there is a tool which converts programs into Bristol format: check it here - https://www.seceng.informatik.tu-darmstadt.de/research/software/cbmc-gc/

Disclaimer: I have never used it so I don't know how easy is to navigate within.

If you're still in doubt about the format, I'll ask Nigel about the structure and come with an answer next week.

On Wed, Jun 20, 2018, 18:04 Daniel Noble notifications@github.com wrote:

Hello Dragos

I have been looking at some of the frameworks you mention and am very confused by something. A number mention or have links to a "Bristol Circuit format."

I am also somewhat confused by these statements as the main work in MPC that I am aware of at Bristol is the SPDZ/SCALE-MAMBA project. Which as far as I understand is not based on Boolean circuits.

Since you are a PhD student at Bristol, I was wondering if you knew whether, at a certain point in time, there was a somewhat standardized circuit format that was used by Bristol's crypto team and others? Is there still a description of this circuit format, and is it still being used widely?

Best Daniel

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/rdragos/awesome-mpc/issues/13, or mute the thread https://github.com/notifications/unsubscribe-auth/AArQyVk2tCQ-iJPuqgkKRKNzYaP-6jrEks5t-nJ9gaJpZM4Uvj6b .

GuutBoy commented 6 years ago

The reason many people have been using the Bristol Circuit format is because a number of circuits were published in that format, including classic benchmarks such as the AES circuit. So people who did not want to write the circuit them selves would use those. We have a parser for Bristol style circuits in FRESCO as well, and the documentation for it refers to https://www.cs.bris.ac.uk/Research/CryptographySecurity/MPC/ for details. But apparently, that site has been taken off-line (as you also note). It would be interesting to know if that site has been moved? Meanwhile, it can be accessed here https://web.archive.org/web/20150501085203/https://www.cs.bris.ac.uk/Research/CryptographySecurity/MPC/

GuutBoy commented 6 years ago

The web archive seems to not have archived the actual circuits in Bristol format. If you would like to see some examples, let me know. I could probably dig them out from somewhere.

dd23 commented 6 years ago

The website moved to with Nigel to Leuven: https://homes.esat.kuleuven.be/~nsmart/MPC/