Anoma
v0.32.0
GUIDES
Modules
Mix
Tasks
API Reference
Modules
Mix Tasks
Anoma
Docs
Following Development
Running pre-built binaries
Compilation from sources
Docker images
Contributing
Known Issues
Analysis
Index
Analysis
Contributing
Index
Contributing
Jam Format
Index
Jam and Cue: Serialization for Nouns
Jam Produces Atoms
Preliminary Byte and Bit Preparation
Jam Format Specification
Implementation Notes
Why is our jam better?
TOC
Index
TOC
Contributors Guide
Examples over Testing
Index
Intro
What are Examples
Downsides of testing in Elixir
How would Examples work in Elixir?
Examplifying non Actors
Examplifying stateful code
Temporary Setbacks
Addressing testing issues
Outstanding questions
Git
Index
Git
Terminology
Naming conventions
General Principles
Do not include unrelated changes into your commits
Make topics early and often!
Base topics on base
Merge other people's topics into yours
Base bug fixes on the commit that introduced the bug
IEx
Index
Running multiple IEX's in the same Image/Environments
Mnesia Vs Actor State
Index
Where should state be stored
Mnesia Storage
Actor Storage
Observer
Index
How To use Observer
Viewing Anoma
Looking at Mnesia Tables
Style Guide
Index
Structural Rules
Module Documentation
Type Documentation
Function Documentation
Testing
Index
Testing
Running Tests
Index
Intent
Setting up IEX
Running Individual Modules For the First Time
ReRunning Tests
Running individual tests
Conclusion
Writing Tests
Index
Conventions
Make sure names from the test matches setup_all
Write setup_all to not crash on reevaluation
Try to make tests idempotent
Try to Name Values
Understanding any code in Anoma
Index
Figuring out what a module does
Writing Documents
Index
The writing from within Anoma
Making a new document
Connect to Anoma
Making diagrams
Generating the index
Controlling the index sections
Visualizing Anoma
Visualizing Anoma
Index
Note on this section
The Actors
Index
An overview of Anoma
Mempool
Nock Environment
Hoon
Index
About This Guide
Calling
Index
Calling Conventions
Basic Nock Calls
Hoon Gates: What are they really?
Evaluating Calls in The Anoma Context
What a Hoon function call actually does
Paramarterized Modules: Or How Gates are just Cores
Dumping
Index
Dumping Nock
Dumping Functions
Casting to Nock, a useful tool
Dumping Types
Dump Modules
Dumping Hoon for Elixir
Dumping Indexing Offsets
How Index of Layers Change
Setting up Hoon
Index
Getting a Good Hoon environment
Anoma.CairoResource.Action
Summary
Types
t/0
Functions
from_noun/1
new/4
verify/1
Anoma.CairoResource.ComplianceInstance
Summary
Types
t/0
Functions
from_public_input/1
Anoma.CairoResource.ComplianceWitness
Summary
Types
t/0
Functions
to_json_string/1
Anoma.CairoResource.LogicInstance
Summary
Types
t/0
Functions
decrypt/2
from_public_input/1
get_app_data_pair/1
get_root/1
get_tag/1
Anoma.CairoResource.ProofRecord
Summary
Types
t/0
Functions
from_noun/1
generate_compliance_proof/1
get_cairo_program_hash/1
padding_resource_logic_proving_key/0
prove/3
verify/1
Anoma.CairoResource.Transaction
Summary
Types
t/0
Functions
cm_tree/0
commitments/1
compose/2
create_from_compliance_units/5
from_noun/1
get_cipher_texts/1
nullifiers/1
prove_delta/1
verify/1
Anoma.CairoResource.Tree
Summary
Types
t/0
Functions
construct/2
prove/2
set_path/3
Anoma.CairoResource.Utils
Summary
Functions
binary_to_hex/1
check_list/1
hex_to_n_byte_binary/2
integer_or_hex_to_n_byte_binary/2
json_object_has_empty_key/2
json_object_has_key/2
json_object_has_nonempty_key/2
parse_json_field_to_binary32/2
parse_json_field_to_boolean/2
parse_json_optional_field_to_binary32/3
Anoma.CairoResource.Workflow
Summary
Functions
create_action/5
create_compliance_inputs/3
create_merkle_tree_paths/2
create_private_keys/1
generate_compliance_proofs/1
generate_resource_logic_proofs/2
get_input_resources/3
get_output_resources/3
hash_resource_logic/1
update_witnesses/5
Anoma.Constants
Summary
Functions
cairo_compliance_program_hash/0
cairo_trivial_resource_logic_hash/0
default_cairo_nullifier_key/0
default_cairo_rm_root/0
felt_one/0
felt_zero/0
prf_expand_personalization_felt/0
Anoma.Protobuf.ErrorHandler
Summary
Functions
raise_grpc_error!/1
validate_request!/1
Anoma.Supervisor
Summary
Functions
child_spec/1
start_link/1
start_node/1
stop_node/1
Anoma.System.Directories
Summary
Functions
configuration/2
data/2
Glossary
Summary
Functions
anoma/0
transaction_candidate/0
GlossaryBuilder
Sections
Usage
Summary
Types
ast_node/0
Functions
__using__/1
define/2
IdentityMap
Summary
Types
t/2
Functions
get/2
new/3
put/3
update/3
Livebook
Sections
API
Summary
Types
sort/0
Functions
add_heading_num/1
change_header/4
count_depth/1
dir_from_path/1
example_toc/0
generate_heading/4
generate_toc/2
get_all_livemd_documents/0
get_livemd_documents/1
inject_toc/2
sort_order/0
toc_toplevel/0
MapSetMap
Summary
Types
t/2
Functions
add/3
empty_map_p/1
get/2
new/0
remove/3
Validate
Summary
Types
error_map/0
invalid_error/0
nil_error/0
t/0
Functions
valid?/1
Validate.Helpers
Summary
Functions
constraints/2
validate/2
Resource Machine
Anoma.CairoResource.Resource
Summary
Types
t/0
Functions
a_padding_resource/0
commitment/1
from_json_object/1
from_noun/1
get_nk_commitment/1
nullifier/2
random/1
set_nonce/2
to_bytes/1
to_json_object/1
Anoma.RM.DumbIntent
Summary
Types
t/0
Anoma.RM.Intent
Summary
Types
t/0
Functions
commitments/1
compose/2
nullifiers/1
verify/1
Anoma.RM.Transparent.Action
Summary
Types
t/0
Functions
%Anoma.RM.Transparent.Action{}
app_data/1
consumed_logic_check/1
create/3
created_logic_check/1
cu_check/1
cu_precis/1
delta/1
from_noun/1
partition_check/1
roots/1
verify/1
Anoma.RM.Transparent.ComplianceUnit
Summary
Types
t/0
Functions
consumed/1
create/3
created/1
delta/1
from_noun/1
roots/1
verify/1
Anoma.RM.Transparent.Primitive.CommitmentAccumulator
Summary
Functions
add/2
value/1
verify/3
witness/2
Anoma.RM.Transparent.Primitive.DeltaHash
Summary
Functions
decode/1
delta_add/2
delta_sub/2
hash/1
Anoma.RM.Transparent.Primitive.FixedSize
Summary
Functions
field_size/1
Anoma.RM.Transparent.ProvingSystem.CPS
Summary
Types
cps_key/0
t/0
Functions
check_nullified_has_been_created/2
from_noun/1
key/0
prove/3
verify/3
verify_cms_compliance/1
verify_delta/3
verify_jet/3
verify_nulfs_compliance/1
Anoma.RM.Transparent.ProvingSystem.CPS.Instance
Summary
Types
t/0
Functions
from_noun/1
Anoma.RM.Transparent.ProvingSystem.DPS
Summary
Types
dps_key/0
t/0
Functions
aggregate/2
from_noun/1
key/0
prove/3
verify/3
verify_jet/2
Anoma.RM.Transparent.ProvingSystem.DPS.Instance
Summary
Types
t/0
Functions
from_noun/1
Anoma.RM.Transparent.ProvingSystem.RLPS
Summary
Types
t/0
Functions
from_noun/1
match_resource/2
prove/3
to_noun_rl_args/1
verify/3
Anoma.RM.Transparent.ProvingSystem.RLPS.Instance
Summary
Types
t/0
Functions
from_noun/1
Anoma.RM.Transparent.Resource
Summary
Types
t/0
Functions
commitment_hash/1
commits?/2
delta/1
from_noun/1
kind/1
nullifier_hash/2
nullifies?/2
Anoma.RM.Transparent.Transaction
Summary
Types
t/0
Functions
action_precis/1
actions_check/1
app_data/1
commitments/1
compose/2
create/2
delta/1
disjointness_verification/1
from_noun/1
nullifiers/1
roots/1
verify/1
Anoma Actors
Anoma.Node
Summary
Functions
example_random_id/0
prefix_random_id/1
Intents
Anoma.Node.Intents.IntentPool
Summary
Types
t/0
Functions
child_spec/1
intents/1
new_intent/2
reject_intents/2
remove_intent/2
start_link/1
Anoma.Node.Intents.IntentPool.IntentAddError
Summary
Types
t/0
Anoma.Node.Intents.IntentPool.IntentAddErrorFilter
Summary
Types
t/0
Functions
filter/2
Anoma.Node.Intents.IntentPool.IntentAddSuccess
Summary
Types
t/0
Anoma.Node.Intents.IntentPool.IntentAddSuccessFilter
Summary
Types
t/0
Functions
filter/2
Anoma.Node.Intents.IntentPool.TRMFilter
Summary
Types
t/0
Functions
filter/2
Anoma.Node.Intents.Solver
Summary
Types
t/0
Functions
child_spec/1
do_solve/1
get_unsolved/1
solve/1
start_link/1
submit/2
subsets/1
valid?/1
Anoma.Node.Intents.Supervisor
Summary
Functions
child_spec/1
start_link/1
Transport
Anoma.Node.Transport.GRPC.Endpoint
Anoma.Node.Transport.GRPC.Servers.Executor
Summary
Functions
add/2
service_name/1
Anoma.Node.Transport.GRPC.Servers.Intents
Summary
Functions
add/2
list/2
service_name/1
Anoma.Node.Transport.GRPC.Servers.Mempool
Summary
Functions
add/2
service_name/1
Anoma.Node.Transport.Supervisor
Summary
Functions
child_spec/1
init/1
start_link/1
Examples
Examples.ECairo.EAction
Summary
Functions
an_action/0
an_action_with_intents/0
an_action_with_multiple_compliance_units/0
Examples.ECairo.EComplianceWitness
Summary
Functions
a_compliance_witness/0
a_compliance_witness_for_intents/0
an_invalid_compliance_witness/0
Examples.ECairo.EProofRecord
Summary
Functions
a_compliance_proof/0
a_compliance_proof_with_intents/0
a_resource_logic/2
Examples.ECairo.EResource
Summary
Functions
a_fixed_output_resource/0
a_fixed_output_resource_commitment/0
a_fixed_resource/0
a_resource_commitment/0
a_resource_nullifier/0
a_trivial_input_intent_resource/0
a_trivial_input_intent_resource_nullifier/0
a_trivial_output_intent_resource/0
a_trivial_output_intent_resource_commitment/0
Examples.ECairo.EResourceLogic
Summary
Functions
a_input_resource_logic/0
a_output_resource_logic/0
a_resource_logic_invalid_input/0
a_resource_logic_invalid_proving_key/0
an_input_intent_resource_logic/0
an_output_intent_resource_logic/0
Examples.ECairo.ETransaction
Summary
Functions
a_invalid_shielded_transaction/0
a_shielded_transaction/0
a_shielded_transaction_composition/0
a_shielded_transaction_from_compliance_units/0
a_shielded_transaction_with_intents/0
a_shielded_transaction_with_multiple_actions/0
a_shielded_transaction_with_multiple_compliance_units/0
shielded_transaction_cipher_texts/1
Examples.ECommitmentTree
Summary
Functions
a_merkle_proof/0
babylon_mnesia_ct/1
cairo_poseidon_spec/0
current_tree_mnesia_ct/1
empty_mnesia_backed_ct/1
lots_of_inserts_ct/1
memory_backed_ct/1
memory_backed_ct_with_trivial_cairo_tx/2
memory_backed_ct_with_trivial_swap/1
sha256_32_spec/0
Examples.ECrypto
Summary
Functions
alice/0
alice_rsa/0
bertha/0
blood_l_signed/0
blood_l_signed_detached/0
blood_msg/0
bob_rsa/0
eve/0
londo/0
xcc/0
Examples.EEVentBroker.EFilter
Examples.EEVentBroker.EFilter.AcceptAll
Summary
Types
t/0
Functions
filter/2
Examples.EEVentBroker.EFilter.Error
Summary
Types
t/0
Functions
filter/2
Examples.EEVentBroker.EFilter.RejectAll
Summary
Types
t/0
Functions
filter/2
Examples.EEVentBroker.WithSub
Summary
Functions
with_existing_subscription/1
with_nested_subscription/1
with_subscription/1
with_subscriptions/1
Examples.EEventBroker.Subscribe
Summary
Functions
assert_subscription/1
refute_subscription/1
subscribe_to_filter/1
subscribe_to_multiple_filters/1
unsubscribe_from_filter/1
unsubscribe_on_down/0
Examples.ENock
Summary
Functions
abs/0
abs_arm/0
action_create_arm/0
action_create_call/3
action_create_test/0
action_delta_arm/0
action_delta_call/1
action_delta_test/0
bex/0
bex_arm/0
by_arm/0
by_call/1
call_split_test/0
cmp/0
cmp_arm/0
commitment_arm/0
commitment_test/1
counter_arm/0
counter_logic/0
cue/0
cue_arm/0
dec/0
dec_arm/0
delta_add_arm/0
delta_add_call/2
delta_add_test/0
delta_sub_arm/0
delta_sub_call/2
delta_sub_test/0
dif/0
dif_arm/0
dif_test/0
dif_with_core/0
dif_with_core_call/2
dor_arm/0
dor_call/2
dor_test/0
dul/0
dul_arm/0
duni_test/0
duni_with_core/0
duni_with_core_call/2
factorial/0
factorial_arm/0
fra/0
fra_arm/0
gor_arm/0
gor_call/2
gor_test/0
got_test/0
got_with_core/0
got_with_core_call/2
has_test/0
has_with_core/0
has_with_core_call/2
in_arm/0
in_call/1
inc/1
incorrectly_ending/0
incorrectly_nested_noun/0
incorrectly_starting/0
increment_counter_val/1
indexed_noun/0
int_test/0
int_with_core/0
int_with_core_call/2
is_commitment_arm/0
is_commitment_test/0
is_nullifier_arm/0
is_nullifier_test/0
jam/0
jam_and_cue/2
jam_arm/0
jamming_and_cueing/0
kind_arm/0
kind_call/1
kind_test/0
lsh0/0
lsh1/0
lsh2/0
lsh/1
lte/0
lte_arm/0
make_commitment_call/1
make_delta_arm/0
make_delta_call/1
make_delta_test/0
make_is_commitment_call/1
make_is_nullifier_call/1
make_nullifier_call/1
mat/0
mat_arm/0
met0/0
met1/0
met2/0
met/1
mix/0
mix_arm/0
mor_arm/0
mor_call/2
mor_test/0
mput_test/0
mput_with_core/0
mput_with_core_call/3
mug_arm/0
mug_call/1
mug_test/0
nesting_noun/0
new/0
new_arm/0
nock_scry_crash/0
nullifier_arm/0
nullifier_test/1
og_arm/0
og_call/1
old/0
old_arm/0
one_two/0
pro/0
pro_arm/0
put_test/0
put_with_core/0
put_with_core_call/2
rad_arm/0
rad_call/2
rad_tests/0
rads_arm/0
rads_call/2
rads_tests/0
raw_27_4/0
raw_arm/0
raw_call/2
raws_arm/0
raws_call/2
raws_test/0
raws_with_core/0
raws_with_core_call/2
raws_with_out_core_test/0
rem/0
rem_arm/0
replacing_terms/0
resource_delta_arm/0
resource_delta_call/1
resource_delta_test/1
rsh0/0
rsh1/0
rsh2/0
rsh/1
shax/0
shax_arm/0
sign/0
sign_arm/0
sign_detatched/0
sign_detatched_arm/0
silt_arm/0
silt_call/1
silt_test/0
split_arm/0
split_call/1
sum/0
sum_arm/0
sun/0
sun_arm/0
syn/0
syn_arm/0
t_compose_arm/0
t_compose_call/2
t_compose_test/0
tap_by_test/0
tap_by_with_core/0
tap_by_with_core_call/1
tap_in_test/0
tap_in_with_core/0
tap_in_with_core_call/1
transparent_core/1
trivial_swap/0
trivial_swap_no_eph/0
uend0/0
uend1/0
uend/1
uni_test/0
uni_with_core/0
uni_with_core_call/2
verify/0
verify_arm/0
verify_detatched/0
verify_detatched_arm/0
wyt_test/0
wyt_with_core/0
wyt_with_core_call/1
zero/1
zero_counter/1
zero_delta_arm/0
zero_delta_call/0
zero_delta_logic/0
zero_delta_test/0
Examples.ETransparent.EAction
Summary
Functions
empty/0
trivial_swap_action/0
trivial_swap_action_with_extra_data/0
trivial_true_2_nullifier_action/0
trivial_true_commit_action/0
trivial_true_commit_delta/0
trivial_true_eph_nullifier_action/0
Examples.ETransparent.ELogicProof
Summary
Functions
trivial_false_proof/0
trivial_true_2_nullifier/0
trivial_true_commitment/0
trivial_true_eph_nullifier/0
trivial_true_swap_proof_commitment/0
trivial_true_swap_proof_nullifier/0
Examples.ETransparent.EResource
Summary
Functions
trivial_false_commitment/0
trivial_false_resource/0
trivial_false_resource_generator/0
trivial_true_commitment/0
trivial_true_nullifier/0
trivial_true_nullifier_2/0
trivial_true_nullifier_eph/0
trivial_true_resource/0
trivial_true_resource_2/0
trivial_true_resource_eph/0
trivial_true_resource_generator/0
Examples.ETransparent.ETransaction
Summary
Functions
commit_intent/0
empty/0
nullify_intent/0
nullify_intent_eph/0
single_swap/0
swap_from_actions/0
swap_from_actions_non_eph_nullifier/0
Cryptographic Primitives
Anoma.Crypto.Encrypt
Summary
Types
box_public/0
box_secret/0
public/0
secret/0
Functions
new_keypair/0
seal/2
unseal/3
Anoma.Crypto.Id
Summary
Types
identities/0
t/0
Functions
external_id/1
new_keypair/0
salt_keys/2
seal/2
truncated_key_string/1
unsalt_keys/2
verify/2
Anoma.Crypto.Id.Extern
Summary
Types
t/0
Anoma.Crypto.Id.Intern
Summary
Types
t/0
Anoma.Crypto.Randomness
Summary
Functions
get_random/1
Anoma.Crypto.Sign
Summary
Types
ed25519_public/0
ed25519_secret/0
public/0
secret/0
Functions
new_keypair/0
sign/2
sign_detached/2
verify/2
verify_detached/3
Anoma.Crypto.Symmetric
Summary
Types
t/0
xchacha/0
xchacha_key/0
xchacha_nonce/0
Functions
decrypt/2
decrypt_raw/2
encrypt/2
encrypt_raw/2
random_xchacha/0
random_xchacha_key/0
random_xchacha_nonce/0
General Engines
Anoma.Node.Event
Summary
Types
t/0
Functions
new_with_body/2
node_filter/1
Anoma.Node.Event.DefEvent
Summary
Functions
defevent/3
Anoma.Node.Event.NodeFilter
Summary
Types
t/0
Functions
filter/2
Anoma.Node.Examples.EEvent
Summary
Functions
block_event/1
block_event/3
consensus_event/2
execution_event/1
execution_event/2
new_block_event/2
new_consensus_event/1
new_execution_event/1
new_order_event/1
new_tx_event/2
order_event/2
send_block_event/2
send_consensus_event/2
send_execution_event/2
send_order_event/2
send_transaction_event/2
transaction_event/1
transaction_event/2
wait_for_event/1
Anoma.Node.Examples.EEvent.EDefEvent
Summary
Functions
create_filter_module/0
create_struct_with_fields/0
enforce_required_fields/0
filtered_event_subscription/1
no_filter_module/0
Anoma.Node.Examples.EEvent.EDefEvent.EventExample
Anoma.Node.Examples.EEvent.EDefEvent.EventExample.BarEvent
Summary
Types
t/0
Anoma.Node.Examples.EEvent.EDefEvent.EventExample.BarFilter
Summary
Types
t/0
Functions
filter/2
Anoma.Node.Examples.EEvent.EDefEvent.EventExample.FooEvent
Summary
Types
t/0
Anoma.Node.Examples.EEvent.EDefEvent.EventExample.FooFilter
Summary
Types
t/0
Functions
filter/2
Anoma.Node.Examples.EGRPC
Summary
Types
t/0
Functions
add_intent/1
add_intent_fail_no_intent/1
add_transaction/1
connect_to_node/1
list_intents/1
list_intents_fail/1
list_intents_invalid_node/1
Anoma.Node.Examples.EIntentPool
Summary
Functions
add_intent/1
add_intent_transaction_nullifier/1
add_intent_with_known_nullifiers/1
add_intent_with_submitted_commitments/1
intents_are_written/1
list_intents/1
new_commitments_event/2
new_nullifiers_event/2
remove_intent/1
remove_intents_with_nulllified_resources/1
Anoma.Node.Examples.ELogging
Summary
Functions
block_event/3
check_block_event/1
check_block_event_leave_one_out/1
check_block_event_multiple/1
check_consensus_event/1
check_consensus_event_multiple/1
check_multiple_tx_events/1
check_tx_event/1
consensus_event/2
replay_consensus/1
replay_consensus_leave_one_out/1
replay_consensus_with_several_txs/1
replay_corrects_result/1
replay_several_consensus/1
replay_several_txs/1
replay_tx/1
tx_event/4
write_consensus/1
Anoma.Node.Examples.ENode
Summary
Types
t/0
Functions
kill_all_nodes/0
start_node/1
stop_node/1
Anoma.Node.Examples.ERegistry
Summary
Types
t/0
Functions
create_address/0
create_address_with_label/0
find_pid_of_process/1
generate_name/0
generate_name_with_label/0
list_engines_for_node/1
process_registered?/2
start_registry/0
Anoma.Node.Examples.EReplay
Summary
Functions
replay_succeeds/1
replay_with_faulty_transaction/1
replay_with_transaction/1
Anoma.Node.Examples.EReplay.StartState
Summary
Functions
mempool_args_added_transaction/1
mempool_args_fresh_node/1
mempool_args_non_block_transaction/1
mempool_args_non_block_transactions/1
mempool_args_non_fresh_node/1
mempool_obsolete_consensi/1
mempool_obsolete_consensus/1
mempool_todo_consensus/1
new_node_has_tables/1
no_node_no_tables/0
ordering_args_fresh_node/1
ordering_args_non_fresh_node/1
partial_state_if_table_deleted/1
storage_args_fresh_node/1
storage_args_non_block_transaction/1
storage_args_non_fresh_node/1
Anoma.Node.Examples.EShieldedTransaction
Summary
Functions
complex_cairo_transaction/0
submit_successful_complex_cairo_tx/1
submit_successful_multiple_cairo_txs/1
submit_successful_trivial_cairo_tx/1
trivial_cairo_intent_transaction/0
trivial_cairo_transaction/0
Anoma.Node.Examples.ESolver
Summary
Functions
solvable_transaction_gets_executed/1
solvable_transaction_via_intent_pool/1
solve_transaction/0
solve_transactions/0
solve_transactions_with_remainder/0
Anoma.Node.Examples.ETransaction
Summary
Types
t/0
Functions
add_append/1
add_rewrites/1
append_then_read/1
append_then_read_same/1
append_then_read_several/1
append_twice_then_read/1
append_twice_then_read_with_commit/1
bluf/0
bluf_transaction_errors/1
bluff_txs_write_nothing/1
complicated_storage/1
complicated_storage_with_commit/1
faulty_transaction/1
inc/1
inc_counter_submit_after_bluff/1
inc_counter_submit_after_zero/1
inc_counter_submit_with_zero/1
ord_order_first/1
ord_read_future_then_write/1
ord_write_then_read/1
random_transaction_id/0
read_future_then_write/1
read_other_future_then_write/1
read_txs_actually_read/1
read_txs_read_recent/1
read_txs_write_nothing/1
recieve_round_event/2
resubmit_trivial_swap/1
simple_transaction/1
start_ordering/1
start_storage/1
start_tx_module/1
submit_failed_trivial_swap/1
submit_successful_trivial_swap/1
trivial_transparent_transaction/0
trivial_transparent_transaction_no_eph/0
write_future_multiple_then_write_present/1
write_future_then_write_present/1
write_multiple_then_read/1
write_then_read/1
write_then_read_other/1
zero/1
zero_counter_submit/1
Anoma.Node.Examples.ETransport
Anoma.Node.Examples.Mempool
Summary
Functions
add_error_transaction/1
add_error_transaction/2
add_multiple_transactions/1
add_multiple_transactions/2
add_transaction/1
add_transaction/2
complete_ten_transactions/1
complete_ten_transactions/2
complete_transaction/2
complete_transaction/3
execute_multiple_transactions/1
execute_multiple_transactions/2
execute_transaction/1
execute_transaction/2
make_block/1
make_block/2
wait_for_consensus_write/2
wait_for_transaction_in_table/2
wait_for_transaction_removed/2
Anoma.Node.Logging
Summary
Types
flag/0
t/0
Functions
blocks_filter/0
child_spec/1
init/1
log_event/3
logging_filter/0
replay_args/1
replay_setup/2
replay_table_clone/3
restart_with_replay/1
start_link/1
try_launch/2
Anoma.Node.Logging.BlocksFilter
Summary
Types
t/0
Functions
filter/2
Anoma.Node.Logging.LoggingEvent
Summary
Types
t/0
Anoma.Node.Logging.LoggingFilter
Summary
Types
t/0
Functions
filter/2
Anoma.Node.Registry
Summary
Functions
address/3
dump_register/0
engines_for/1
local_node_id/0
register/3
via/3
whereis/3
Anoma.Node.Registry.Address
Summary
Types
t/0
Anoma.Node.Replay
Summary
Types
block_info/0
consensi/0
mempool_args/0
ordering_args/0
replay_data/0
round/0
storage_args/0
transactions/0
Functions
init_tables_node/2
replay_for/1
temporary_node_id/0
wait_for_confirm/2
Anoma.Node.Replay.State
Summary
Types
block_table_summary/0
events_table_summary/0
mempool_args/0
ordering_args/0
startup_args/0
storage_args/0
Functions
block_table_summary/1
events_table_summary/1
initialize_storage/1
mempool_arguments/1
ordering_arguments/1
startup_arguments/1
startup_arguments_or_default/1
storage_arguments/1
Anoma.Node.Supervisor
Summary
Types
args_t/0
Functions
child_spec/1
start_link/1
Anoma.Node.Tables
Summary
Types
table_spec/0
table_specs/0
Functions
clear_table/1
copy_table_rows/3
create_local_schema/0
create_table/2
create_tables/1
duplicate_table/2
has_data?/1
initialize_storage/0
initialize_tables_for_node/1
node_table_name/2
table_blocks/1
table_commitment_tree/1
table_events/1
table_exists?/1
table_intents/1
table_updates/1
table_values/1
tables_exist?/1
Anoma.Node.Transaction.Backends
Summary
Types
backend/0
transaction/0
Functions
add/2
blob_store/3
execute/3
nullifier_existence_check/3
root_existence_check/3
store_value/3
value/1
verify/3
witness/2
Anoma.Node.Transaction.Backends.CompleteEvent
Summary
Types
t/0
Anoma.Node.Transaction.Backends.CompleteFilter
Summary
Types
t/0
Functions
filter/2
Anoma.Node.Transaction.Backends.ForMempoolExecutionFilter
Summary
Types
t/0
Functions
filter/2
Anoma.Node.Transaction.Backends.ForMempoolFilter
Summary
Types
t/0
Functions
filter/2
Anoma.Node.Transaction.Backends.ResultEvent
Summary
Types
t/0
Anoma.Node.Transaction.Backends.SRMEvent
Summary
Types
t/0
Anoma.Node.Transaction.Backends.TRMEvent
Summary
Types
t/0
Anoma.Node.Transaction.Executor
Summary
Types
t/0
Functions
child_spec/1
complete_filter/0
execute/2
init/1
launch/3
start_link/1
Anoma.Node.Transaction.Executor.ExecutionEvent
Summary
Types
t/0
Anoma.Node.Transaction.Executor.TaskCrash
Summary
Types
t/0
Anoma.Node.Transaction.Mempool
Summary
Types
args_t/0
t/0
tx_result/0
vm_result/0
Functions
child_spec/1
execute/2
filter_for_mempool/0
filter_for_mempool_execution_events/0
init/1
start_link/1
tx/2
tx/3
tx_dump/1
worker_module_filter/0
Anoma.Node.Transaction.Mempool.BlockEvent
Summary
Types
t/0
Anoma.Node.Transaction.Mempool.BlockFilter
Summary
Types
t/0
Functions
filter/2
Anoma.Node.Transaction.Mempool.ConsensusEvent
Summary
Types
t/0
Anoma.Node.Transaction.Mempool.ConsensusFilter
Summary
Types
t/0
Functions
filter/2
Anoma.Node.Transaction.Mempool.Tx
Summary
Types
t/0
Anoma.Node.Transaction.Mempool.TxEvent
Summary
Types
t/0
Anoma.Node.Transaction.Mempool.TxFilter
Summary
Types
t/0
Functions
filter/2
Anoma.Node.Transaction.Ordering
Summary
Types
args_t/0
t/0
Functions
add/2
append/2
child_spec/1
init/1
order/2
read/2
start_link/1
tx_id_filter/1
write/2
Anoma.Node.Transaction.Ordering.OrderEvent
Summary
Types
t/0
Anoma.Node.Transaction.Ordering.TxIdFilter
Summary
Types
t/0
Functions
filter/2
Anoma.Node.Transaction.Storage
Summary
Types
args_t/0
bare_key/0
qualified_key/0
t/0
write_opts/0
Functions
add/2
append/2
blocks_table/1
child_spec/1
commit/3
current_time/1
height_filter/1
init/1
read/2
start_link/1
updates_table/1
values_table/1
write/2
Anoma.Node.Transaction.Storage.HeightFilter
Summary
Types
t/0
Functions
filter/2
Anoma.Node.Transaction.Storage.WriteEvent
Summary
Types
t/0
Anoma.Node.Transaction.Supervisor
Summary
Types
args_t/0
Functions
child_spec/1
start_link/1
CLI Engine
Anoma.Client
Summary
Types
t/0
Functions
add_intent/1
connect/4
disconnect/1
list_intents/0
run_nock/2
Anoma.Client.Api.Endpoint
Anoma.Client.Api.ReflectionServer
Summary
Functions
get_by_extension/1
get_by_filename/1
get_by_symbol/1
get_extension_numbers_by_type/1
list_services/0
put_services/1
server_reflection_info/2
service_name/1
Anoma.Client.Api.Servers.Executor
Summary
Functions
add/2
service_name/1
Anoma.Client.Api.Servers.Intents
Summary
Functions
add/2
compose/2
list/2
service_name/1
verify/2
Anoma.Client.Api.Servers.Mempool
Summary
Functions
add/2
service_name/1
Anoma.Client.Api.Servers.Nock
Summary
Functions
prove/2
run/2
service_name/1
Anoma.Client.Application
Anoma.Client.CLI
Sections
Usage
Running a node
Building
Summary
Functions
main/1
parse_args/1
start_node/1
validate_args/1
Anoma.Client.Connection.GRPCProxy
Summary
Types
t/0
Functions
add_intent/1
add_read_only_transaction/1
add_transaction/2
child_spec/1
list_intents/0
start_link/1
Anoma.Client.Connection.Supervisor
Summary
Functions
child_spec/1
init/1
start_link/1
Anoma.Client.Examples.EClient
Summary
Types
t/0
Functions
add_intent/1
create_example_client/1
create_example_connection/1
create_single_example_node/0
jammed_input/1
jammed_program_example/0
jammed_program_juvix_squared/0
jammed_program_minisquare/0
jammed_program_tracing/0
kill_existing_client/0
list_intents/1
noun_program_example/0
noun_program_juvix_squared/0
noun_program_minisquare/0
noun_program_tracing/0
prove_juvix_factorial_no_arguments/1
prove_something_jammed/1
prove_something_text/1
prove_with_external_scry_call/1
prove_with_external_scry_call_nounify/1
prove_with_internal_scry_call/1
run_juvix_factorial/1
run_juvix_factorial_no_arguments/1
run_juvix_with_hints/1
setup/0
text_input/1
text_program_example/0
text_program_minisquare/0
text_program_tracing/0
Anoma.Client.Examples.EClient.EConnection
Summary
Types
t/0
Anoma.Client.Examples.EProve
Summary
Functions
prove_squared/0
prove_squared_small/0
prove_with_cell_hint/0
prove_with_hint/0
prove_with_hints/0
squared_without_arguments/0
Anoma.Client.Examples.EProxy
Summary
Functions
add_intent/1
add_transaction/1
list_intents/1
setup/0
Anoma.Client.Examples.EStorage
Summary
Types
storage_result/0
Functions
overwrite_value/2
read_absent/1
read_absent_with_new_id/2
read_in_future_and_fail/1
read_overwritten_value/2
read_value/2
read_value_with_new_id/3
read_value_with_old_id/3
setup/0
write_value/2
Anoma.Client.Runner
Summary
Functions
client_scry/1
close_io_sink/1
open_io_sink/0
prove/2
ro_tx_candidate/1
to_improper_list/1
Anoma.Client.Storage
Summary
Functions
read/1
read_with_id/1
write/1
Nock
Nock
Summary
Types
t/0
Functions
cons/2
decrement_arm/0
decrement_core/0
gas_limit/3
gas_meter/0
gas_meter/1
get_jet/1
metered_nock/2
metered_nock/3
naive_nock/2
naive_nock/3
nock/2
nock/3
nock_0/1
nock_1/1
nock_2/2
nock_3/1
nock_4/1
nock_5/2
nock_6/3
nock_7/2
nock_8/2
nock_9/2
nock_10/3
nock_11/2
nock_11/3
process_hint/1
process_hint/3
put_jet/2
scry_forbidden/1
Nock.Cli
Summary
Functions
argument_option/0
main/1
Nock.Jets
Summary
Functions
abs/1
action_create/1
action_delta/1
add/1
bex/1
cairo_compose/1
cairo_create_from_cus/1
cairo_prove_delta/1
calculate_core/2
calculate_core_param/3
calculate_layer/1
calculate_mug_of_core/2
calculate_mug_of_layer/1
calculate_mug_of_param_core/3
calculate_mug_of_param_layer/2
calculate_param_layer/2
cmp/1
compliance_delta/1
cue/1
dec/1
delta_add/1
delta_sub/1
dif/1
div/1
dor/1
dul/1
duni/1
fra/1
gor/1
got/1
gte/1
gth/1
has/1
int/1
jam/1
kind/1
lsh/1
lte/1
lth/1
make_delta/1
met/1
mix/1
mod/1
mor/1
mput/1
mul/1
nend/1
nmug/1
pro/1
put/1
rem/1
resource_delta/1
rsh/1
sample/1
sdif/1
shax/1
sign/1
sign_detatched/1
silt/1
sub/1
sum/1
sun/1
syn/1
t_compose/1
trm_compliance_key/1
trm_delta_key/1
uni/1
verify/1
verify_detatched/1
Nock.Jets.Mugs
Summary
Functions
jet_registry/0
Nock.Lib
Summary
Functions
logics_core/0
rm_core/0
stdlib_core/0
stdlib_layers/0
Noun
Summary
Types
noun_atom/0
noun_cell/0
t/0
Functions
abnormalize_noun/1
atom_binary_to_integer/1
atom_binary_to_signed_integer/1
atom_integer_to_binary/1
atom_integer_to_binary/2
axis/2
bool_to_noun/1
condensed_print/1
decode_signed/1
encode_signed/1
equal?/2
index_to_offset/1
is_noun_atom/1
is_noun_cell/1
is_noun_zero/1
list_nock_to_erlang/1
list_nock_to_erlang_safe/1
mug/1
mum/3
mum_rec/4
normalize_noun/1
pad_trailing/2
replace/3
to_normalized_noun/1
zero?/1
Noun.Bits
Summary
Functions
bit_list_to_integer/1
byte_order_big_to_little/1
byte_order_little_to_big/1
integer_to_bits/1
num_bits/2
Noun.Format
Summary
Types
parse_result/0
Functions
parse/1
parse_always/1
parse_cell/1
parse_inner/1
parse_tail/1
print/1
print_tail/1
Noun.Jam
Summary
Types
cue_cache/0
jam_cache/0
Functions
cue/1
cue!/1
jam/1
Noun.Jam.CueError
Noun.Jam.JamError
Noun.Nounable
Summary
Types
t/0
Functions
to_noun/1
Noun.Nounable.Kind
Summary
Callbacks
from_noun/1
Noun.Order
Summary
Functions
dor/2
gor/2
mor/2
CommitmentTree
CommitmentTree
Summary
Types
t/0
Functions
add/2
init_storage/1
new/2
prove/2
CommitmentTree.Node
Summary
Types
t/0
Functions
new/2
new_empty/1
prove/3
CommitmentTree.Proof
Summary
Types
t/0
Functions
new/2
verify/4
verifyx/5
CommitmentTree.Spec
Summary
Types
t/0
Functions
cairo_poseidon_cm_tree_spec/0
cairo_poseidon_resource_tree_spec/0
cm_tree_spec/0
new/4
EventBroker
EventBroker
Sections
Overview
Summary
Types
filter_spec_list/0
Functions
event/2
my_subscriptions/0
subscribe/3
subscribe_me/2
subscriptions/1
unsubscribe/3
unsubscribe_me/2
EventBroker.Broker
Summary
Types
t/0
Functions
child_spec/1
start_link/1
EventBroker.DefFilter
Summary
Functions
deffilter/3
EventBroker.Event
Summary
Types
t/0
Functions
new_with_body/1
EventBroker.Filter
Summary
Callbacks
filter/2
EventBroker.FilterAgent
Summary
Types
t/0
Functions
child_spec/1
start_link/1
EventBroker.Filters
EventBroker.Filters.LessTrivial
Summary
Types
t/0
Functions
filter/2
EventBroker.Filters.ManyFields
Summary
Types
t/0
Functions
filter/2
EventBroker.Filters.SourceModule
Summary
Types
t/0
Functions
filter/2
EventBroker.Filters.Trivial
Summary
Types
t/0
Functions
filter/2
EventBroker.Registry
Sections
Subscriptions
Registered Filters
Summary
Types
registered_filters/0
registered_subscribers/0
t/0
Functions
%EventBroker.Registry{}
child_spec/1
start_link/1
EventBroker.Supervisor
Summary
Functions
child_spec/1
start_link/1
EventBroker.WithSubscription
Summary
Functions
with_subscription/2
Utilities
Anoma.Utility
Summary
Functions
defbug/2
docp/1
message_label/1
Test Helpers
TestHelper.GenerateExampleTests
TestHelper.TestMacro
Summary
Functions
assert/2
assert_receive/3
assertion_abstract/3
assertion_alias/2
call_assert/2
message_parse/3
quote_try/2
refute/2
refute_receive/3
try_assert/2
mix compile.protoc
mix format_protoc
Summary
Functions
format_files/1
mix toc
Search documentation of Anoma
Settings
mix format_protoc
(Anoma v0.32.0)
Summary
Functions
format_files(file_paths)
Functions
Link to this function
format_files(file_paths)
@spec
format_files([
String.t
()]) :: :ok
×