Refactor type-checking for Extended Proxy-Assisted ABE scheme.

JHUISI / charm

Charm: A Framework for Rapidly Prototyping Cryptosystems

http://charm-crypto.io

GNU Lesser General Public License v3.0

542 stars 166 forks source link

Closed doughgle closed 5 years ago

doughgle commented 5 years ago

Still can't figure out how to define nested types like a dict of Element tuples though.

doughgle commented 5 years ago

@jakinyele, please review