Michele Orrù orru

orru запушил(а) mu/versions в SigmaProtocol/cmz

2 месяцев назад

orru запушил(а) mu/serialization-cleanup в SigmaProtocol/sigma-compiler

  • 77dcc35d47 chore: cargo update and bump revision version
  • 45de450cff chore(core): stop using deprecated serialization from sigma-proofs
  • d4ffcd3a3d Update version to 0.2.0 Depend on the now-published sigma-proofs 0.2.0
  • c273ad1770 Use prove_compact and verify_compact now that they're supported by sigma-proofs
  • adf7102ec6 Add support for THRESH

2 месяцев назад

orru создал новую ветку mu/serialization-cleanup в SigmaProtocol/sigma-compiler

2 месяцев назад

orru запушил(а) mu/versions в SigmaProtocol/cmz

  • 5d48807fcf chore: bump versions
  • 90abbe471e chore(dependencies): allow minor sigma-compiler revisions
  • 63c782ac51 cmz-core: deterministic attribute iteration ordering
  • d7ae7f2662 Don't serialize an 8-byte length header in front of each Scalar and Point
  • 24c3f94e64 Add a "dump" feature that passes down to sigma-compiler

2 месяцев назад

orru создал новую ветку mu/versions в SigmaProtocol/cmz

2 месяцев назад

orru запушил(а) main в SigmaProtocol/sigma-compiler

  • be8adc764c feat: workflow to update the mirror github repository. This adds a new script update-mirror that will run every day and is meant to keep the github repository in sync with the one on crysp.

8 месяцев назад

orru запушил(а) main в SigmaProtocol/cmz

  • de6781d47f feat: workflow to update the mirror github repository. This adds a new script update-mirror that will run every day and is meant to keep the github repository in sync with the one on crysp.

8 месяцев назад

orru запушил(а) main в SigmaProtocol/sigma_compiler

10 месяцев назад

orru удалил ветку feature/ooni в SigmaProtocol/cmz

1 год назад

orru запушил(а) feature/ooni в SigmaProtocol/cmz

1 год назад

orru создал новую ветку feature/ooni в SigmaProtocol/cmz

1 год назад

orru запушил(а) main в SigmaProtocol/sigma_compiler

  • 02cc687d6c feat: integrate sigma-rs protocol implementation This commit adds complete sigma-rs integration to the compiler: - Add sigma-rs dependency and configuration - Create codegen_sigmars.rs module with sigma-rs specific implementation - Extract sigma-rs code generation logic into separate, organized module - Add comprehensive protocol tests for various proof scenarios - Update main implementation to use sigma-rs backend - Add .gitignore for Rust projects - Preserve original codegen.rs for comparison The new architecture clearly separates the original codegen approach from the sigma-rs implementation, making it easy to compare and understand the differences between the two approaches. 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com>

1 год назад

orru запушил(а) feature/sigma-rs в SigmaProtocol/sigma_compiler

  • 3db01cb13f refactor: update sigma_rs name for relations.

1 год назад

orru запушил(а) feature/sigma-rs в SigmaProtocol/sigma_compiler

  • bc91a9e180 rm 'Cargo.lock' for now to sync with main.

1 год назад

orru запушил(а) feature/sigma-rs в SigmaProtocol/sigma_compiler

1 год назад

orru запушил(а) feature/sigma-rs в SigmaProtocol/sigma_compiler

  • 4e2e05b30d chore(deps): update sigma-rs dependency to git path and align structures - chore: change sigma-rs dependency from local to git path for automatic synchronization - refactor: update protocol structures to align with latest sigma-rs version changes
  • a88d2754e1 feat: sigma-rs integration (#1) Co-Authored-By: nougzarm <nougzarm@icloud.com>
  • 0428b975be chore(deps): update sigma-rs dependency to git path and align structures - chore: change sigma-rs dependency from local to git path for automatic synchronization - refactor: update protocol structures to align with latest sigma-rs version changes
  • 41bc24a182 feat: sigma-rs integration (#1)
  • Просмотр сравнение для этих 4 коммитов »

1 год назад

orru запушил(а) feature/sigma-rs в SigmaProtocol/sigma_compiler

  • 0428b975be chore(deps): update sigma-rs dependency to git path and align structures - chore: change sigma-rs dependency from local to git path for automatic synchronization - refactor: update protocol structures to align with latest sigma-rs version changes
  • 41bc24a182 feat: sigma-rs integration (#1)
  • aadd61835b chore(deps): update sigma-rs dependency to git path and align structures - chore: change sigma-rs dependency from local to git path for automatic synchronization - refactor: update protocol structures to align with latest sigma-rs version changes
  • 3602aa75be Apply the substitutions in the main sigma_compiler_core function
  • 2a45909392 Look for, and apply, all of the substitutions specified in leaves of a StatementTree
  • Просмотр сравнение для этих 14 коммитов »

1 год назад

orru запушил(а) feature/sigma-rs в SigmaProtocol/sigma_compiler

  • aadd61835b chore(deps): update sigma-rs dependency to git path and align structures - chore: change sigma-rs dependency from local to git path for automatic synchronization - refactor: update protocol structures to align with latest sigma-rs version changes

1 год назад

orru запушил(а) feature/sigma-rs в SigmaProtocol/sigma_compiler

  • ea04e3d1c1 feat: sigma-rs integration (#1)
  • d7ba2a9350 Enforce the disjunction invariant A _disjunction node_ is an Or or Thresh node in the StatementTree. The _disjunction invariant_ is that a private variable (which is necessarily a Scalar since there are no private Point variables) that appears in the subtree rooted at a child of a disjunction node cannot also appear outside of that subtree.
  • 7a84a547cf A little more documentation
  • aeff156e4c Touch up docs for syntax module
  • 62f45215e5 A couple more doc touchups in sigma::types

1 год назад

orru создал новую ветку feature/sigma-rs в SigmaProtocol/sigma_compiler

1 год назад