- replace nivc merge with merge_many
- add alloc for circuit types

- define nivc state hasher

visibility

- Rework fold API
- add ECC copy with Engine->Group
- Replace E::TE with own transcript
- placeholder NIFS secondary

- make accumulator fold mutate self
- add engine type constraint
- add `to_native` for converting back to the normal type

- Wrap ECC and EmulatedFieldElement
- Make all structs CurveCycleEquipped
- Specialize R1CS for both curves
- Update Transcript

- remove unused/commented out functions
- revert to 128-bit limb hashing due to security concern
- make ScalarMulAccumulator take ownership of R1CS accumulator
- add ability to generate dummy input proof for circuit
- use sponge for hashing the NIVC instance due to problems with variable-sized hashing
- add test for `from_proof`
- comment out merge-related code
- ensure namespaces have unique names
- remove wrong mersenne prime parameters
- add emulatedbase tests
- add cycle fold circuit
- add inputize_hashed methods in allocated point for cyclefold circuit

- Rework primary IO.
  - Return transcript and state hash
- Use correct Poseidon for sponge
- Impl `eq_native` methods for comparing allocated types
- Add ability to generate dummy proofs as initial input to the circuit
- Fix `AllocatedPoint::enforce_trivial`
- Impl CycleFold circuit
  - Ensure IO matches
  - Add Poseidon hashing of points
- Fix AllocatedBase
  - fix `big_int_to_limbs`
  - fix other limb issues
  - add test
- Fix `enforce_trivial` for `AllocatedBase` elements
- Fix r_bits to r conversion
- add recursive snark verification
- use sponge for hashing state due to variable size