Equality (Equals)
Private equality ==
- Nada program
- Test file
src/equality.py
from nada_dsl import *
def nada_main():
party_alice = Party(name="Alice")
party_bob = Party(name="Bob")
party_charlie = Party(name="Charlie")
secret_target = SecretInteger(Input(name="secret_target", party=party_alice))
secret_guess = SecretInteger(Input(name="secret_guess", party=party_bob))
is_same_num = secret_target == secret_guess
return [Output(is_same_num, "is_same_num", party=party_charlie)]
tests/equality_test.yaml
---
program: equality
inputs:
secret_target: 5
secret_guess: 5
expected_outputs:
is_same_num: true
Run and test the equality program
1. Open "Nada by Example"
2. Run the program with inputs
from the test file
nada run equality_test
3. Test the program with inputs
from the test file against the expected_outputs
from the test file
nada test equality_test
Public output equality ==
- Nada program
- Test file
src/equality_public.py
from nada_dsl import *
def nada_main():
party_alice = Party(name="Alice")
party_bob = Party(name="Bob")
party_charlie = Party(name="Charlie")
secret_target = SecretInteger(Input(name="secret_target", party=party_alice))
secret_guess = SecretInteger(Input(name="secret_guess", party=party_bob))
is_same_num = secret_target.public_equals(secret_guess)
return [Output(is_same_num, "is_same_num", party=party_charlie)]
tests/equality_public_test.yaml
---
program: equality_public
inputs:
secret_guess: 3
secret_target: 3
expected_outputs:
is_same_num: true
Run and test the equality_public program
1. Open "Nada by Example"
2. Run the program with inputs
from the test file
nada run equality_public_test
3. Test the program with inputs
from the test file against the expected_outputs
from the test file
nada test equality_public_test