User Guide
The User Guide includes detailed individual subjects covering how to use Cicada effectively.

Absolute Value

Active Adversaries

Bit Decomposition

Communication Patterns

Division

Equality Comparison

Fault Detection and Recovery

Fields, Encodings, Semantics, and Probabilistic Results

Floor

Interactive Programs

Less Than Comparison

Less Than Zero Comparison

Logging

Logical Not

Logical Exclusive Or

Multiple Communicators

Multiplication and Truncation

Multiplicative Inverse

Power

Random Bit Generation

Random Number Generation

Random Seeds

Rectified Linear Unit

Running Cicada Programs

The Self-Conscious Statisticians

Shamir Secret Sharing

Slicing

Socket Communication

Timeouts

Transcripts

Zigmoid