Viaduct

Viaduct is an extensible, optimizing compiler that automatically employs cryptography to enforce high-level security specifications. Viaduct can generate code that uses:

• secure multiparty computation (ABY),
• zero-knowledge proofs (libsnark),
• commitments,
• replication.

Checkout the guide to get started!

References

[ARGMS21] Coşku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, Elaine Shi. Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI).