mirror of
https://github.com/luxfi/crypto.git
synced 2026-07-27 01:54:50 +00:00
Hanzo AI
12d6bdd409
The inline ipa/ directory was a vendored copy of go-ipa that collided with the separate luxfi/crypto/ipa module's import path — any downstream that pulled both saw "ambiguous import" errors at the bandersnatch / banderwagon / common/parallel packages. Removed the inline tree and added `require github.com/luxfi/crypto/ipa v1.2.4`. The verkle subpackage switches its banderwagon imports from `luxfi/crypto/banderwagon` (local) to `luxfi/crypto/ipa/banderwagon` (external) so its Point alias matches the type ipa.CreateMultiProof and IPAConfig.Commit return. The local lux/crypto/banderwagon package stays — its MultiExp/Precomp helpers remain available for callers that want the Element-method shape; it just no longer shares a struct identity with the verkle types. Two pre-existing test failures in verkle (TestParseNodeEoA, TestParseNodeSingleSlot) reproduce both with this change AND on the pre-change tree — encoding-tag mismatch and projective-coord hardcoding in the test's expected values. Not blocking; tracked separately.
79 lines
2.7 KiB
Go
79 lines
2.7 KiB
Go
// Copyright (C) 2026, Lux Industries Inc. All rights reserved.
|
|
//
|
|
// Vendored from github.com/ethereum/go-verkle@v0.2.2 (public domain / Unlicense).
|
|
// Re-licensed under the Lux Ecosystem License. The package implements the
|
|
// Verkle trie, its node types (InternalNode, LeafNode, Empty, HashedNode),
|
|
// IPA configuration, multi-proof generation/verification, encoding, and
|
|
// JSON serialization. Algorithmic logic mirrors upstream; downstream callers
|
|
// (luxfi/geth, luxfi/node, luxfi/evm) consume this package directly under
|
|
// the github.com/luxfi/crypto/verkle import path.
|
|
|
|
// This is free and unencumbered software released into the public domain.
|
|
//
|
|
// Anyone is free to copy, modify, publish, use, compile, sell, or
|
|
// distribute this software, either in source code form or as a compiled
|
|
// binary, for any purpose, commercial or non-commercial, and by any
|
|
// means.
|
|
//
|
|
// In jurisdictions that recognize copyright laws, the author or authors
|
|
// of this software dedicate any and all copyright interest in the
|
|
// software to the public domain. We make this dedication for the benefit
|
|
// of the public at large and to the detriment of our heirs and
|
|
// successors. We intend this dedication to be an overt act of
|
|
// relinquishment in perpetuity of all present and future rights to this
|
|
// software under copyright law.
|
|
//
|
|
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
|
|
// EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
|
|
// MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
|
|
// IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR ANY CLAIM, DAMAGES OR
|
|
// OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE,
|
|
// ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
|
|
// OTHER DEALINGS IN THE SOFTWARE.
|
|
//
|
|
// For more information, please refer to <https://unlicense.org>
|
|
|
|
package verkle
|
|
|
|
import (
|
|
"errors"
|
|
|
|
"github.com/luxfi/crypto/ipa/banderwagon"
|
|
)
|
|
|
|
type (
|
|
Fr = banderwagon.Fr
|
|
Point = banderwagon.Element
|
|
SerializedPoint = []byte
|
|
SerializedPointCompressed = []byte
|
|
)
|
|
|
|
func FromLEBytes(fr *Fr, data []byte) error {
|
|
if len(data) > LeafValueSize {
|
|
return errors.New("data is too long")
|
|
}
|
|
var aligned [LeafValueSize]byte
|
|
copy(aligned[:], data)
|
|
fr.SetBytesLE(aligned[:])
|
|
return nil
|
|
}
|
|
|
|
func StemFromLEBytes(fr *Fr, data []byte) error {
|
|
if len(data) != StemSize {
|
|
return errors.New("data length must be StemSize")
|
|
}
|
|
return FromLEBytes(fr, data)
|
|
}
|
|
|
|
func FromBytes(fr *Fr, data []byte) {
|
|
var aligned [32]byte
|
|
copy(aligned[32-len(data):], data)
|
|
fr.SetBytes(aligned[:])
|
|
}
|
|
|
|
func HashPointToBytes(point *Point) [32]byte {
|
|
var hashedPoint Fr
|
|
point.MapToScalarField(&hashedPoint)
|
|
return hashedPoint.BytesLE()
|
|
}
|