Index - S
| ScalarMul | Circuit.Affine |
| SetupProof | |
| 1 (Type/Class) | Circuit.Bulletproofs |
| 2 (Data Constructor) | Circuit.Bulletproofs |
| setupProof | Circuit.Bulletproofs |
| Split | Circuit.Arithmetic, Circuit |
| splitInput | Circuit.Arithmetic, Circuit |
| splitOutputs | Circuit.Arithmetic, Circuit |
| sub | Circuit.Lang, Circuit |
| sumQapSet | QAP |
| sumQapSetCnstInp | QAP |
| sumQapSetMidOut | QAP |