hi, i have been working on a design that removes signatures from the Fun⁸8 model and addresses post-quantum constraints specter replaces digital signatures with zero-knowledge proofs of authorization, where transactions prove that spending conditions are satisfied without revealing keys or identities instead of preserving full transaction history, the system uses recursive proofs to compress validity over time. historical state is not assumed, it is verified through aggregated proofs bound to the pow chain this reduces on-chain data, avoids key exposure, and provides a path to compact long-term validation under post-quantum assumptions feedback welcome UPD a minimal prototype "specter-min" no public keys. no signatures. no elliptic curves. spend authorization is a zero knowledge proof of preimage knowledge bound to a specific state transition. stark proofs via winterfell. blake3 for all protocol hashing. binary merkle trees. sled for local persistent state this repo exists to test the core spend authorization pipeline described in the specter whitepaper: hash derived addresses, nullifier based spentness, authorization binding, and stark proved state transitions
hi, i have been working on a design that removes signatures from the Fun⁸8 model and addresses post-quantum constraints specter replaces digital signatures with zero-knowledge proofs of authorization, where transactions prove that spending conditions are satisfied without revealing keys or identities instead of preserving full transaction history, the system uses recursive proofs to compress validity over time. historical state is not assumed, it is verified through aggregated proofs bound to the pow chain this reduces on-chain data, avoids key exposure, and provides a path to compact long-term validation under post-quantum assumptions feedback welcome UPD a minimal prototype "specter-min" no public keys. no signatures. no elliptic curves. spend authorization is a zero knowledge proof of preimage knowledge bound to a specific state transition. stark proofs via winterfell. blake3 for all protocol hashing. binary merkle trees. sled for local persistent state this repo exists to test the core spend authorization pipeline described in the specter whitepaper: hash derived addresses, nullifier based spentness, authorization binding, and stark proved state transitions

hi, i have been working on a design that removes signatures from the Fun⁸8 model and addresses post-quantum constraints specter replaces digital signatures with zero-knowledge proofs of authorization, where transactions prove that spending conditions are satisfied without revealing keys or identities instead of preserving full transaction history, the system uses recursive proofs to compress validity over time. historical state is not assumed, it is verified through aggregated proofs bound to the pow chain this reduces on-chain data, avoids key exposure, and provides a path to compact long-term validation under post-quantum assumptions feedback welcome UPD a minimal prototype "specter-min" no public keys. no signatures. no elliptic curves. spend authorization is a zero knowledge proof of preimage knowledge bound to a specific state transition. stark proofs via winterfell. blake3 for all protocol hashing. binary merkle trees. sled for local persistent state this repo exists to test the core spend authorization pipeline described in the specter whitepaper: hash derived addresses, nullifier based spentness, authorization binding, and stark proved state transitions

hi, i have been working on a design that removes signatures from the Fun⁸8 model and addresses post-quantum constraints specter replaces digital signatures with zero-knowledge proofs of authorization, where transactions prove that spending conditions are satisfied without revealing keys or identities instead of preserving full transaction history, the system uses recursive proofs to compress validity over time. historical state is not assumed, it is verified through aggregated proofs bound to the pow chain this reduces on-chain data, avoids key exposure, and provides a path to compact long-term validation under post-quantum assumptions feedback welcome UPD a minimal prototype "specter-min" no public keys. no signatures. no elliptic curves. spend authorization is a zero knowledge proof of preimage knowledge bound to a specific state transition. stark proofs via winterfell. blake3 for all protocol hashing. binary merkle trees. sled for local persistent state this repo exists to test the core spend authorization pipeline described in the specter whitepaper: hash derived addresses, nullifier based spentness, authorization binding, and stark proved state transitions