Marcella Hastings
Marcella Hastings
> I noticed some mismatch when running the innerprod example for ABY. Occasionally the expected value returned after running `python ~/ABY/src/examples/geninput.py -e innerprod` doesn't match the circuit result from running...
Build currently fails for emp-tool with errors. This cascades to the rest of the container. Check EMP-toolkit docs for changes to syntax? ``` In file included from /root/emp-tool/emp-tool/emp-tool.h:15:0, from /root/emp-tool/test/sha3_256.cpp:1:...
Links: - [paper](https://thomaschneider.de/papers/BDKKS18.pdf) - [software](https://gitlab.com/securityengineering/HyCC) - latest release in March 2020! To do: create build environment, implement sample programs, document.
See branch [add-fresco](https://github.com/MPC-SoK/frameworks/tree/add-fresco). Current status: Sample programs all completed. To do: figure out how to run sample programs, document runtime details, document tables in wiki.
See branch [add-aby3](https://github.com/MPC-SoK/frameworks/tree/add-aby3/). Current status: builds correctly, 2/3 sample programs, partial documentation in wiki. To do: get Tables working in xtabs example, finish filling out tables (documentation).
See branch [add-ezpc](https://github.com/MPC-SoK/frameworks/tree/add-ezpc). Current status: dependencies installed, don't think the framework compiles yet. Still needs: successful build, sample programs, documentation.
add sample code, add wiki page with architecture and extra information, fill out tables.
Some people care about the specific license, beyond just whether it's open source or not. Add this to the tables in the wiki.
Adds relational extension -- including functions for maps, folds, filters, and counting within lists. Tests are in a demo. Demo does not have a browser option.
Add the following happy tests: - [x] close on a channel with all balance to the customer - [ ] close on a channel with all balance to the merchant...