Tags: EspressoSystems/jellyfish
Tags
feat(merkle-tree): proof extraction helper (#880) * lint * add helper to collect all leaves proofs Co-authored-by: Copilot <copilot@github.com> * changelog * nits * preallocation to avoid another heap allocation Co-authored-by: Copilot <copilot@github.com> * test edge cases for collect_leaves_with_proof * Update merkle_tree/src/append_only.rs Co-authored-by: Phil <philippe@espressosys.com> * Update merkle_tree/src/append_only.rs Co-authored-by: Phil <philippe@espressosys.com> * Update merkle_tree/src/append_only.rs Co-authored-by: Phil <philippe@espressosys.com> * Update merkle_tree/src/internal.rs Co-authored-by: Phil <philippe@espressosys.com> * Update merkle_tree/src/append_only.rs Co-authored-by: Phil <philippe@espressosys.com> * cleanup renaming --------- Co-authored-by: Copilot <copilot@github.com> Co-authored-by: Philippe Camacho <philippe@espressosys.com>
fix: correct fiat shamir for UltraPlonk (#867) * fix fiat shamir * version & changelog * changelog
fix: correct fiat shamir for UltraPlonk (#867) * fix fiat shamir * version & changelog * changelog
feat: signature verification without key validity check (#868) * signature verification without key validity check * fmt * Update signature/src/bls_over_bn254.rs Co-authored-by: gemini-code-assist[bot] <176961590+gemini-code-assist[bot]@users.noreply.github.com> --------- Co-authored-by: gemini-code-assist[bot] <176961590+gemini-code-assist[bot]@users.noreply.github.com>
feat(Merkle Tree): range proof for append only merkle tree (#853) * range_lookup impl * changelog and version bump * comments * singleton proof test case * fmt
chore!: revert the `spongefish` migration for `jf-rescue` (#839) * revert the circuit * revert rescue * fmt & audit advisories * version & changelog * changelog
PreviousNext