├── README.md ├── SIS_hardness.sage ├── compute_weight.sage ├── jl.py ├── plot_paper.py ├── poly-arith ├── Makefile ├── README.md ├── bench.c ├── bench.h ├── cpucycles.c ├── cpucycles.h ├── fips202.c ├── fips202.h ├── ntt.c ├── ntt.h ├── params.h ├── poly.c ├── poly.h ├── randombytes.c ├── randombytes.h ├── reduce.c ├── reduce.h ├── symmetric-shake.c ├── symmetric.h ├── test_mul ├── test_mul.c ├── util.c └── util.h └── proof_size_estimate.py /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dfaranha/aggregate-falcon/HEAD/README.md -------------------------------------------------------------------------------- /SIS_hardness.sage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dfaranha/aggregate-falcon/HEAD/SIS_hardness.sage -------------------------------------------------------------------------------- /compute_weight.sage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dfaranha/aggregate-falcon/HEAD/compute_weight.sage -------------------------------------------------------------------------------- /jl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dfaranha/aggregate-falcon/HEAD/jl.py -------------------------------------------------------------------------------- /plot_paper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dfaranha/aggregate-falcon/HEAD/plot_paper.py -------------------------------------------------------------------------------- /poly-arith/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dfaranha/aggregate-falcon/HEAD/poly-arith/Makefile -------------------------------------------------------------------------------- /poly-arith/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dfaranha/aggregate-falcon/HEAD/poly-arith/README.md -------------------------------------------------------------------------------- /poly-arith/bench.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dfaranha/aggregate-falcon/HEAD/poly-arith/bench.c -------------------------------------------------------------------------------- /poly-arith/bench.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dfaranha/aggregate-falcon/HEAD/poly-arith/bench.h -------------------------------------------------------------------------------- /poly-arith/cpucycles.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dfaranha/aggregate-falcon/HEAD/poly-arith/cpucycles.c -------------------------------------------------------------------------------- /poly-arith/cpucycles.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dfaranha/aggregate-falcon/HEAD/poly-arith/cpucycles.h -------------------------------------------------------------------------------- /poly-arith/fips202.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dfaranha/aggregate-falcon/HEAD/poly-arith/fips202.c -------------------------------------------------------------------------------- /poly-arith/fips202.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dfaranha/aggregate-falcon/HEAD/poly-arith/fips202.h -------------------------------------------------------------------------------- /poly-arith/ntt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dfaranha/aggregate-falcon/HEAD/poly-arith/ntt.c -------------------------------------------------------------------------------- /poly-arith/ntt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dfaranha/aggregate-falcon/HEAD/poly-arith/ntt.h -------------------------------------------------------------------------------- /poly-arith/params.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dfaranha/aggregate-falcon/HEAD/poly-arith/params.h -------------------------------------------------------------------------------- /poly-arith/poly.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dfaranha/aggregate-falcon/HEAD/poly-arith/poly.c -------------------------------------------------------------------------------- /poly-arith/poly.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dfaranha/aggregate-falcon/HEAD/poly-arith/poly.h -------------------------------------------------------------------------------- /poly-arith/randombytes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dfaranha/aggregate-falcon/HEAD/poly-arith/randombytes.c -------------------------------------------------------------------------------- /poly-arith/randombytes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dfaranha/aggregate-falcon/HEAD/poly-arith/randombytes.h -------------------------------------------------------------------------------- /poly-arith/reduce.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dfaranha/aggregate-falcon/HEAD/poly-arith/reduce.c -------------------------------------------------------------------------------- /poly-arith/reduce.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dfaranha/aggregate-falcon/HEAD/poly-arith/reduce.h -------------------------------------------------------------------------------- /poly-arith/symmetric-shake.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dfaranha/aggregate-falcon/HEAD/poly-arith/symmetric-shake.c -------------------------------------------------------------------------------- /poly-arith/symmetric.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dfaranha/aggregate-falcon/HEAD/poly-arith/symmetric.h -------------------------------------------------------------------------------- /poly-arith/test_mul: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dfaranha/aggregate-falcon/HEAD/poly-arith/test_mul -------------------------------------------------------------------------------- /poly-arith/test_mul.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dfaranha/aggregate-falcon/HEAD/poly-arith/test_mul.c -------------------------------------------------------------------------------- /poly-arith/util.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dfaranha/aggregate-falcon/HEAD/poly-arith/util.c -------------------------------------------------------------------------------- /poly-arith/util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dfaranha/aggregate-falcon/HEAD/poly-arith/util.h -------------------------------------------------------------------------------- /proof_size_estimate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dfaranha/aggregate-falcon/HEAD/proof_size_estimate.py --------------------------------------------------------------------------------