Here is a list of all documented files with brief descriptions:
[detail level 1234]
| lib | |
| algebra | |
| blas.h | |
| bogorng.h | |
| compare.h | |
| convolution.h | |
| fft.h | |
| fft_interpolation.h | |
| fp.h | |
| fp2.h | |
| fp_generic.h | |
| fp_p128.h | |
| fp_p256.h | |
| hash.h | |
| interpolation.h | |
| limb.h | |
| nat.h | |
| permutations.h | |
| poly.h | |
| reed_solomon.h | |
| rfft.h | |
| static_string.h | |
| sysdep.h | |
| twiddle.h | |
| utility.h | |
| arrays | |
| affine.h | |
| dense.h | |
| eq.h | |
| eqs.h | |
| sparse.h | |
| cbor | |
| host_decoder.h | |
| circuits | |
| anoncred | |
| ptrcred.h | |
| small.h | |
| small_examples.h | |
| small_io.h | |
| small_witness.h | |
| base64 | |
| decode.h | |
| decode_util.h | |
| cbor_parser | |
| cbor.h | |
| cbor_byte_decoder.h | |
| cbor_constants.h | |
| cbor_pluck.h | |
| cbor_testing.h | |
| cbor_witness.h | |
| scan.h | |
| compiler | |
| circuit_dump.h | |
| compiler.h | |
| node.h | |
| pdqhash.h | |
| schedule.h | |
| ecdsa | |
| verify_circuit.h | |
| verify_witness.h | |
| jwt | |
| jwt.h | |
| jwt_constants.h | |
| jwt_witness.h | |
| logic | |
| bit_adder.h | |
| bit_plucker.h | |
| bit_plucker_constants.h | |
| bit_plucker_encoder.h | |
| compiler_backend.h | |
| counter.h | |
| evaluation_backend.h | |
| logic.h | |
| memcmp.h | |
| polynomial.h | |
| routing.h | |
| mac | |
| mac_circuit.h | |
| mac_reference.h | |
| mac_witness.h | |
| mdoc | |
| circuits | |
| mdoc_1f.h | |
| mdoc_1f_io.h | |
| mdoc_1f_witness.h | |
| mdoc_attribute_ids.h | |
| mdoc_constants.h | |
| mdoc_decompress.h | |
| mdoc_examples.h | |
| mdoc_hash.h | |
| mdoc_revocation.h | |
| mdoc_revocation_constants.h | |
| mdoc_revocation_witness.h | |
| mdoc_signature.h | |
| mdoc_test_attributes.h | |
| mdoc_witness.h | |
| mdoc_zk.h | |
| sha | |
| flatsha256_circuit.h | |
| flatsha256_io.h | |
| flatsha256_witness.h | |
| sha256_constants.h | |
| sha256_test_values.h | |
| sha3 | |
| sha3_circuit.h | |
| sha3_reference.h | |
| sha3_round_constants.h | |
| ec | |
| elliptic_curve.h | |
| p256.h | |
| gf2k | |
| gf2_128.h | |
| gf2poly.h | |
| lch14.h | |
| lch14_reed_solomon.h | |
| sysdep.h | |
| ligero | |
| ligero_param.h | |
| ligero_prover.h | |
| ligero_transcript.h | |
| ligero_verifier.h | |
| merkle | |
| merkle_commitment.h | |
| merkle_tree.h | |
| proto | |
| circuit.h | |
| random | |
| random.h | |
| secure_random_engine.h | |
| transcript.h | |
| sumcheck | |
| circuit.h | |
| circuit_id.h | |
| prover.h | |
| prover_layers.h | |
| quad.h | |
| testing.h | |
| transcript_sumcheck.h | |
| verifier.h | |
| verifier_layers.h | |
| util | |
| ceildiv.h | |
| crc64.h | |
| crypto.h | |
| log.h | |
| panic.h | |
| readbuffer.h | |
| serialization.h | |
| zk | |
| zk_common.h | |
| zk_proof.h | |
| zk_prover.h | |
| zk_testing.h | |
| zk_verifier.h | |