Path	Lines of Code
CHANGELOG.md	23
CODE_OF_CONDUCT.md	57
CONTRIBUTING.md	23
README.md	382
air/README.md	59
crypto/README.md	54
examples/Cargo.toml	39
examples/README.md	80
examples/benches/fibonacci.rs	28
examples/benches/rescue.rs	28
examples/src/fibonacci/fib2/air.rs	48
examples/src/fibonacci/fib2/mod.rs	73
examples/src/fibonacci/fib2/prover.rs	41
examples/src/fibonacci/fib2/tests.rs	16
examples/src/fibonacci/fib8/air.rs	57
examples/src/fibonacci/fib8/mod.rs	73
examples/src/fibonacci/fib8/prover.rs	50
examples/src/fibonacci/fib8/tests.rs	16
examples/src/fibonacci/mod.rs	5
examples/src/fibonacci/mulfib2/air.rs	50
examples/src/fibonacci/mulfib2/mod.rs	73
examples/src/fibonacci/mulfib2/prover.rs	34
examples/src/fibonacci/mulfib2/tests.rs	16
examples/src/fibonacci/mulfib8/air.rs	62
examples/src/fibonacci/mulfib8/mod.rs	73
examples/src/fibonacci/mulfib8/prover.rs	46
examples/src/fibonacci/mulfib8/tests.rs	16
examples/src/fibonacci/utils.rs	29
examples/src/lamport/aggregate/air.rs	205
examples/src/lamport/aggregate/mod.rs	117
examples/src/lamport/aggregate/prover.rs	226
examples/src/lamport/mod.rs	6
examples/src/lamport/signature.rs	137
examples/src/lamport/threshold/air.rs	251
examples/src/lamport/threshold/mod.rs	123
examples/src/lamport/threshold/prover.rs	304
examples/src/lamport/threshold/signature.rs	51
examples/src/lib.rs	99
examples/src/main.rs	67
examples/src/merkle/air.rs	95
examples/src/merkle/mod.rs	112
examples/src/merkle/prover.rs	67
examples/src/merkle/tests.rs	24
examples/src/rescue/air.rs	96
examples/src/rescue/mod.rs	95
examples/src/rescue/prover.rs	52
examples/src/rescue/rescue.rs	293
examples/src/rescue/tests.rs	24
examples/src/tests.rs	10
examples/src/utils/mod.rs	66
examples/src/utils/rescue.rs	407
fri/README.md	36
math/README.md	54
prover/README.md	40
sokrates_conventions.json	72
utils/core/README.md	19
utils/rand/README.md	6
verifier/README.md	34
winterfell/README.md	5