zkSNARK is a technique composed with the following features:
- zk: zero-knowledge
- S: Succinct
- N: Non-interactive
- ARK: ARgument of Knowledge
Everywhere I look on the web for material on cryptographic arguments of knowledge I find techniques that mush these four features together. I am only interested in feature 4, that is a technique with no conditions on features 1, 2, or 3, for Alice to prove to Bob that she correctly performed a computation without Bob needing to perform the computation. Could I find literature under a more commonly used name for this technique than 'argument of knowledge'? Can you please point me to some literature on this technique?
I am curious which of the 4 features are at the core of the research in this area. Is it feature 1 that makes these cryptographic techniques so hard? or features 2 or 3? If the difficulty of current research is in solving a combination of features 1, 2, and 3, then shouldn't there exist simpler, more successful techniques that only need to solve feature 4? If so, I'd like to learn about these techniques. Ideally I'd get a response like "sure, if you don't need features 1, 2, or 3, simply ...".